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 ; Roth, Andreas ; Rümmer, Philipp (2008):
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
In: Electr. Notes Theor. Comput. Sci., 199, pp. 107-128. DOI: 10.1016/j.entcs.2007.11.015,

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; 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,

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; 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 ; Gesmann, Michael ; Mayer, Dirk ; Roth, Andreas ; Webel, Christian (2012):
Emergence as Competitive Advantage - Engineering Tomorrow's Enterprise Software Systems.
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 Aug 9 03:25:22 2022 CEST.