Language-Based Technology

  1. 2011
  2. Published

    Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. / Hahn, Ernst Moritz; Norman, Gethin; Parker, David; Wachter, Björn; Zhang, Lijun.

    2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST). 2011.

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

  3. Published

    Hardware Support for Dynamic Languages. / Schleuniger, Pascal; Karlsson, Sven; Probst, Christian W.

    ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems. 2011.

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

  4. Published

    Hardware Support for Dynamic Languages. / Schleuniger, Pascal; Karlsson, Sven; Probst, Christian W.

    2011. Poster session presented at 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy.

    Publication: Research - peer-reviewPoster – Annual report year: 2011

  5. Published

    Identifying and Mitigating Insider Threats. / Probst, Christian W.

    In: I T - Information Technology, Vol. 53, No. 4, 2011, p. 202-206.

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

  6. Published

    Insiders and Insider Threats : An Overview of Definitions and Mitigation Techniques. / Hunker, Jeffrey; Probst, Christian W.

    In: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Vol. 2, No. 1, 2011, p. 4-27.

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

  7. Published

    Measurability and Safety Verification for Stochastic Hybrid Systems. / Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun.

    Proceedings of the 14th international conference on Hybrid systems: computation and control. Association for Computing Machinery, 2011. p. 43-52.

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

  8. Published

    Modal abstractions of concurrent behavior. / Nielson, Flemming; Nanz, Sebastian; Nielson, Hanne Riis.

    In: A C M Transactions on Computational Logic, Vol. 12, No. 3, 2011, p. 18.

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

  9. Published

    Model Checking Algorithms for CTMDPs. / Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun.

    Computer Aided Verification: 23rd International Conference, CAV 2011 - Snowbird, UT, USA, July 14-20, 2011 - Proceedings. Springer, 2011. p. 225-242 (Lecture Notes in Computer Science; No. 6806).

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

  10. Published

    Modelling Configuration Knowledge in Heterogeneous Product Families. / Queva, Matthieu Stéphane Benoit; Männistö, Tomi; Ricci, Laurent; Probst, Christian W.

    Proceedings of the Workshop on Configuration (ConfWS 2011). 2011. p. 9-18.

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

  11. Published

    On Stabilization in Herman’s Algorithm. / Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 466-477 (Lecture Notes in Computer Science; No. 6756).

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

Previous 12 3 4 5 6 7 8 9 ...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