Language-Based Technology

  1. 2011
  2. Published

    Optimizing Key Updates in Sensor Networks. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming; Fruth, Matthias; Kwiatkowska, Marta.

    2011 IEEE Sensors Applications Symposium (SAS). IEEE, 2011. p. 82-87.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  3. Published

    Probabilistic Logical Characterization. / Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun.

    In: Information and Computation, Vol. 209, No. 2, 2011, p. 154-172.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  4. Published

    Probabilistic Reachability for Parametric Markov Models. / Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun.

    In: International Journal on Software Tools for Technology Transfer, Vol. 13, No. 1, 2011, p. 3-19.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  5. Published

    Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks. / Yuksel, Ender; Nielson, Hanne Riis (Supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. 306 p. (IMM-PHD-2011; No. 247).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  6. Published

    Reachability for Finite-State Process Algebras Using Static Analysis. / Skrypnyuk, Nataliya; Nielson, Flemming.

    Reachability Problems: 5th InternationalWorkshop, RP 2011 Genoa, Italy, September 28-30, 2011, Proceedings. Vol. 6945 Springer, 2011. p. 231-244 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  7. Published

    Resilience Analysis of Key Update Strategies for Resource-Constrained Networks. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming.

    2011 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). 2011. (Uden navn).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  8. Published

    Synthesis for PCTL in Parametric Markov Decision Processes. / Hahn, Ernst Moritz; Han, Tingting; Zhang, Lijun.

    NASA Formal Methods: Third International Symposium, NFM 2011 - Pasadena, CA, USA, April 18-20, 2011 - Proceedings. Springer, 2011. p. 146-161 (Lecture Notes in Computer Science; No. 6617).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  9. Published

    The Guided System Development Framework. / Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011. p. 69-72.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  10. Published

    The Logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of FACS 2011. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  11. Published

    Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. / Schoeberl, Martin; Schleuniger, Pascal; Puffitsch, Wolfgang; Brandner, Florian; Probst, Christian W.; Karlsson, Sven; Thorn, Tommy.

    Bringing Theory to Practice: Predictability and Performance in Embedded Systems: PPES’11, March 18, 2011, Grenoble, France. Vol. 18 OASICS, 2011. p. 11-21.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

Previous 1...3 4 5 6 7 8 9 10 ...17 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word