Language-Based Technology
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Published
Abstraction and Model Checking in the PEPA Plug-in for Eclipse. / Smith, Michael James Andrew.
In: Proceedings of the 7th International Conference on Quantitative Evaluation of Systems (QEST 2010). IEEE Computer Society Press, 2010. p. 155-156.Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
- Published
Abstraction by Set-Membership : Verifying Security Protocols and Web Services with Databases. / Mödersheim, Sebastian Alexander.
In: Proceedings of the 17th ACM Conference on Computer and Communications Security. New York : Association for Computing Machinery, 2010. p. 351-360.Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
- Published
Active Evaluation Contexts for Reaction Semantics. / Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis.
In: Electronic Notes in Theoretical Computer Science. Vol. 175 Elsevier, 2007. p. 57-70.Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- Published
Adapt or Become Extinct! : The Case for a Unified Framework for Deployment-Time Optimization. / Goumas, Georgios; McKee, Sally A.; Själander, Magnus; Gross, Thomas R.; Karlsson, Sven; Probst, Christian W.; Zhang, Lixin.
In: EXADAPT '11 Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era. University of Strathclyde, 2011.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Advice for Coordination. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis; Yang, Fan.
In: 10th international conference on Coordination Models and Languages (Coordination'08). ed. / Doug Lea; Gianluigi Zavattaro. Germany : Springer, 2008. p. 153-168 (Lecture Notes in Computer Science; No. 5052).Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
- Published
Advice from Belnap Policies. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis.
In: Computer Security Foundations Symposium, IEEE. Vol. 0 2009. p. 234-247.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- Published
A formal analysis for capturing replay attacks in cryptographic protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo; Nielson, Hanne Riis.
In: 12th Asian Computing Science Conference, ASIAN 2007: Lecture Notes in Computer Science. Vol. 4846 Springer, 2007. p. 150-165.Publication: Research › Article in proceedings – Annual report year: 2007
- Published
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo.
In: Lecture Notes in Computer Science. Vol. 5140 Springer, 2008. p. 167-183.Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
- Published
A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.
In: Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg : Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
- Published
A Framework for Constraint-Programming based Configuration. / Queva, Matthieu Stéphane Benoit; Probst, Christian W. (Supervisor).
Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. 227 p. (IMM-PHD-2011; No. 260).Publication: Research › Ph.d. thesis – Annual report year: 2011