 | 2008 |
|---|
| 12 |       | Martin Strecker:
Modeling and Verifying Graph Transformations in Proof Assistants.
Electr. Notes Theor. Comput. Sci. 203(1): 135-148 (2008) |
| 2007 |
|---|
| 11 | | Ralph Matthes,
Martin Strecker:
Verification of the Redecoration Algorithm for Triangular Matrices.
TYPES 2007: 125-141 |
| 2005 |
|---|
| 10 | | Jean-Paul Bodeveix,
David Chemouil,
Mamoun Filali,
Martin Strecker:
Towards formalising AADL in Proof Assistants.
Electr. Notes Theor. Comput. Sci. 141(3): 153-169 (2005) |
| 2004 |
|---|
| 9 |  | Bernhard Schätz,
Jan Romberg,
Oscar Slotosch,
Martin Strecker:
CASE Support and Model-Based Development.
Modellierung 2004: 283-284 |
| 8 | | Gerwin Klein,
Martin Strecker:
Verified bytecode verification and type-certifying compilation.
J. Log. Algebr. Program. 58(1-2): 27-60 (2004) |
| 2003 |
|---|
| 7 | | Stefan Berghofer,
Martin Strecker:
Extracting a formally verified, fully executable compiler from a proof assistant.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 2002 |
|---|
| 6 | | Martin Strecker:
Formal Verification of a Java Compiler in Isabelle.
CADE 2002: 63-77 |
| 5 | | Martin Strecker:
Investigating Type-Certifying Compilation with Isabelle.
LPAR 2002: 403-417 |
| 1997 |
|---|
| 4 | | Martin Strecker,
Maria Sorea:
Integrating an Equality Prover into a Software Development System Based on Type Theory.
KI 1997: 147-158 |
| 3 | | Friedrich W. von Henke,
Marko Luther,
Martin Strecker:
Typelab: An Environment for Modular Program Development.
TAPSOFT 1997: 851-854 |
| 1996 |
|---|
| 2 | | Friedrich W. von Henke,
Marko Luther,
Holger Pfeifer,
Harald Rueß,
Detlef Schwier,
Martin Strecker,
Matthias Wagner:
The TYPELAB Specification and Verification Environment.
AMAST 1996: 604-607 |
| 1991 |
|---|
| 1 | | Udo Bär,
Martin Strecker,
Willi Stoll,
Wolfgang Effelsberg:
Presentation Layer Conformance Testing with TTCN.
PSTV 1991: 283-298 |
