TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.


Bubel, Richard and Roth, Andreas and Rümmer, Philipp (2008):
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
In: Electr. Notes Theor. Comput. Sci., 199pp. 107-128, DOI: 10.1016/j.entcs.2007.11.015,
[Online-Edition: https://doi.org/10.1016/j.entcs.2007.11.015],

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter (2005):
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, 4 (1), p. 32, DOI: 0.1007/s10270-004-0058-x,
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x],

Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Roth, Andreas and Rümmer, Philipp and Schlager, Steffen (2004):
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, 98 (1), pp. 17--53, [Article]

Conference or Workshop Item

Frischbier, Sebastian and Gesmann, Michael and Mayer, Dirk and Roth, Andreas and Webel, Christian (2012):
Emergence as Competitive Advantage - Engineering Tomorrow's Enterprise Software Systems.
In: Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012), [Conference or Workshop Item]

Master Thesis

Roth, Andreas (2007):
Flexible - Eine erweiterbare {GUI} f{\"u}r den FlexiProvider (Backend).
Technische Universität Darmstadt, [Master Thesis]

This list was generated on Tue Oct 27 00:38:22 2020 CET.