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: 9.

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

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis (2008):
Integration of a Security Type System into a Program Logic.
402, In: Theoretical Computer Science, (2--3), Elsevier, pp. 172--189, [Article]

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis (2008):
Integration of a security type system into a program logic.
402, In: Theor. Comput. Sci., (2-3), pp. 172-189, DOI: 10.1016/j.tcs.2008.04.033,
[Online-Edition: https://doi.org/10.1016/j.tcs.2008.04.033],
[Article]

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis Montanari, Ugo and Sanella, Don and Bruni, R. (eds.) (2007):
Integration of a Security Type System into a Program Logic.
In: LNCS, 4661, In: Proc. Trustworthy Global Computing, Lucca, Italy, Springer-Verlag, pp. 116--131, [Conference or Workshop Item]

Beckert, Bernhard and Giese, Martin and Hähnle, Reiner and Klebanov, Vladimir and Rümmer, Philipp and Schlager, Steffen and Schmitt, Peter Pfenning, Frank (ed.) (2007):
The KeY System 1.0 (Deduction Component).
In: LNCS, 4603, In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, Springer-Verlag, pp. 379--384, [Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and de Roever, Willem (eds.) (2007):
Verifying Object-Oriented Programs with KeY: a Tutorial.
In: LNCS, 4709, In: Post Conf. Proc. 5th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, pp. 70--101, ISBN 978-3-540-74791-8,
DOI: 10.1007/978-3-540-74792-5_4,
[Conference or Workshop Item]

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis Montanari, Ugo and Sannella, Donald and Bruni, Roberto (eds.) (2006):
Integration of a Security Type System into a Program Logic.
In: Lecture Notes in Computer Science, 4661, Springer, In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, pp. 116-131, DOI: 10.1007/978-3-540-75336-0₈,
[Online-Edition: https://doi.org/10.1007/978-3-540-75336-0_8],
[Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter H. de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P. (eds.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 4709, Springer, In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 70-101, DOI: 10.1007/978-3-540-74792-5₄,
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4],
[Conference or Workshop Item]

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.
98, In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, (1), pp. 17--53, [Article]

This list was generated on Tue Dec 10 02:17:57 2019 CET.