The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin Strecker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  11. Verification of the Redecoration Algorithm for Triangular Matrices. [Citation Graph (, )][DBLP]

  12. Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software [Citation Graph (, )][DBLP]

  13. Modeling and Verifying Graph Transformations in Proof Assistants. [Citation Graph (, )][DBLP]

Search in 0.012secs, Finished in 0.013secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002