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

Aderhold, Markus and Kochtchi, Artjom (2013):
Tailoring PMD to Secure Coding.
(TUD-CS-2013-0245), [Report]

Aderhold, Markus and Gebhardt, Alexander and Mantel, Heiko (2013):
Choosing a Formalism for Secure Coding: FSM vs. LTL.
[Report]

Aderhold, Markus Giesl, J. and Hähnle, R. (eds.) (2010):
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
In: LNAI 6173, In: 5th International Joint Conference on Automated Reasoning (IJCAR-5), Springer, pp. 263--277, [Conference or Workshop Item]

Aderhold, Markus Esparza, J. and Majumdar, R. (eds.) (2010):
Automated Termination Analysis for Programs with Second-Order Recursion.
In: LNCS 6015, In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16), Springer, pp. 221--235, [Conference or Workshop Item]

Aderhold, Markus Esparza, Javier and Majumdar, Rupak (eds.) (2010):
Automated Termination Analysis for Programs with Second-Order Recursion.
In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16), Springer, [Conference or Workshop Item]

Aderhold, Markus and Cuéllar, Jorge and Mantel, Heiko and Sudbrock, Henning (2010):
Exemplary Formalization of Secure Coding Guidelines.
In: aderhold.ea:exemplary:2010a, Germany, [Report]

Schlosser, A. and Walther, Christoph and Gonder, M. and Aderhold, Markus (2007):
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science, (7), 174. pp. 61-78, ISSN 1571-0661,
DOI: 10.1016/j.entcs.2006.10.038,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S157106610...],
[Article]

Aderhold, Markus (2007):
Improvements in Formula Generalization.
In: Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings / Frank Pfenning (ed.). - Berlin [u.a.] : Springer, 2007, S. 231-246 (Lecture notes in computer science ; 4603 : Lectur, Berlin [u.a.], Springer, [Conference or Workshop Item]

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus (2006):
Axiomatic specification in VeriFun.
In: IJCAR’06-Workshop Verification Workshop (VERIFY-06), Seattle, USA, August 2006, pp. 146-163, [Online-Edition: https://www.researchgate.net/publication/252264225_Axiomatic...],
[Conference or Workshop Item]

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and Aderhold, Markus (2006):
Context Dependent Procedures and Computed Types in VeriFun.
In: IJCAR 2006-Workshop Programming Languages meets Program Verification (PLPV 2006), Seattle, USA, 21.08.2006, [Online-Edition: http://homepage.divms.uiowa.edu/~astump/plpv/plpv06/],
[Conference or Workshop Item]

Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas (2006):
A Fast Disprover for VeriFun.
In: IJCAR’06-Workshop DISPROVING’06: Non-Theorems, Non-Validity ,Non-Provability, Seattle, USA, 10. - 22.08.2006, pp. 59-69, [Online-Edition: https://www.researchgate.net/publication/249902075_A_Fast_Di...],
[Conference or Workshop Item]

Walther, Christoph and Aderhold, Markus and Schlosser, Andreas (2006):
The L 1.0 Primer.
VFR06/01TU Darmstadt, [Online-Edition: https://www.researchgate.net/publication/267848794_The_L_10_...],
[Report]

This list was generated on Tue Oct 20 00:53:02 2020 CEST.