The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Fränzle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Fränzle, Markus Müller-Olm
    Compilation and Synthesis for Real-Time Embedded Controllers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:256-287 [Conf]
  2. Martin Fränzle, Markus Müller-Olm
    Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. [Citation Graph (0, 0)][DBLP]
    CC, 1994, pp:294-308 [Conf]
  3. Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
    Provably Correct Compiler Development and Implementation. [Citation Graph (0, 0)][DBLP]
    CC, 1992, pp:141-155 [Conf]
  4. Martin Fränzle
    Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:126-140 [Conf]
  5. Martin Fränzle
    Synthesizing Controllers from Duration Calculus. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:168-187 [Conf]
  6. Martin Fränzle
    Take It NP-Easy: Bounded Model Construction for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:245-264 [Conf]
  7. Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
    Provably Correct Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:288-335 [Conf]
  8. Martin Fränzle, Karsten Lüth
    Compiling Graphical Real-Time Specifications into Silicon. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:272-281 [Conf]
  9. Martin Fränzle, Michael R. Hansen
    A Robust Interpretation of Duration Calculus. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:257-271 [Conf]
  10. Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
    An optimal approach to the task allocation problem on hierarchical architectures. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  11. Martin Fränzle, Christian Herde
    Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:302-316 [Conf]
  12. Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
    Scheduling Distributed Real-Time Systems by Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:409-415 [Conf]
  13. Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
    Test automation for hybrid systems. [Citation Graph (0, 0)][DBLP]
    SOQUA, 2006, pp:14-21 [Conf]
  14. Martin Fränzle
    What Will Be Eventually True of Polynomial Hybrid Automata? [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:340-359 [Conf]
  15. Martin Fränzle, Karsten Lüth
    Visual temporal logic as a rapid prototyping tool. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2001, v:27, n:1/3, pp:93-113 [Journal]
  16. Martin Fränzle, Christian Herde
    Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:119-137 [Journal]
  17. Martin Fränzle
    Model-checking dense-time Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:121-139 [Journal]
  18. Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
    A Semantics for Distributed Execution of Statemate. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:390-405 [Journal]
  19. Martin Fränzle, Bernhard von Stengel, Arne Wittmüss
    A Generalized Notion of Semantic Independence. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:1, pp:5-9 [Journal]
  20. Martin Fränzle
    Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:38- [Conf]
  21. Martin Fränzle, Michael R. Hansen
    Deciding an Interval Logic with Accumulated Durations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:201-215 [Conf]
  22. Mani Swaminathan, Martin Fränzle
    A Symbolic Decision Procedure for Robust Safety of Timed Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:192- [Conf]
  23. Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
    Parallel SAT Solving in Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:301-315 [Conf]
  24. Martin Fränzle, Christian Herde
    HySAT: An efficient proof engine for bounded model checking of hybrid systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:30, n:3, pp:179-198 [Journal]
  25. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
    SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2007, v:49, n:2, pp:118-0 [Journal]

  26. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. [Citation Graph (, )][DBLP]


  27. Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. [Citation Graph (, )][DBLP]


  28. Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. [Citation Graph (, )][DBLP]


  29. Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. [Citation Graph (, )][DBLP]


  30. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. [Citation Graph (, )][DBLP]


  31. Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. [Citation Graph (, )][DBLP]


  32. Analysis of Hybrid Systems Using HySAT. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002