2008 |
32 | EE | Andreas Eggers,
Martin Fränzle,
Christian Herde:
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.
ATVA 2008: 171-185 |
31 | EE | Tino Teige,
Martin Fränzle:
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.
CPAIOR 2008: 248-262 |
30 | EE | Martin Fränzle,
Holger Hermanns,
Tino Teige:
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.
HSCC 2008: 172-186 |
29 | EE | Christian Herde,
Andreas Eggers,
Martin Fränzle,
Tino Teige:
Analysis of Hybrid Systems Using HySAT.
ICONS 2008: 196-201 |
28 | EE | Mani Swaminathan,
Martin Fränzle,
Joost-Pieter Katoen:
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
IFIP TCS 2008: 537-553 |
27 | EE | Martin Fränzle,
Michael R. Hansen:
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.
SEFM 2008: 63-72 |
2007 |
26 | EE | Martin Fränzle:
Verification of Hybrid Systems.
CAV 2007: 38 |
25 | EE | Martin Fränzle,
Michael R. Hansen:
Deciding an Interval Logic with Accumulated Durations.
TACAS 2007: 201-215 |
24 | EE | Mani Swaminathan,
Martin Fränzle:
A Symbolic Decision Procedure for Robust Safety of Timed Systems.
TIME 2007: 192 |
23 | EE | Martin Fränzle,
Christian Herde:
HySAT: An efficient proof engine for bounded model checking of hybrid systems.
Formal Methods in System Design 30(3): 179-198 (2007) |
22 | EE | Martin Fränzle,
Christian Herde,
Tino Teige,
Stefan Ratschan,
Tobias Schubert:
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
JSAT 1(3-4): 209-236 (2007) |
21 | EE | 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).
it - Information Technology 49(2): 118- (2007) |
2006 |
20 | EE | Erika Ábrahám,
Tobias Schubert,
Bernd Becker,
Martin Fränzle,
Christian Herde:
Parallel SAT Solving in Bounded Model Checking.
FMICS/PDMC 2006: 301-315 |
19 | EE | Alexander Metzner,
Martin Fränzle,
Christian Herde,
Ingo Stierand:
An optimal approach to the task allocation problem on hierarchical architectures.
IPDPS 2006 |
18 | EE | Bahareh Badban,
Martin Fränzle,
Jan Peleska,
Tino Teige:
Test automation for hybrid systems.
SOQUA 2006: 14-21 |
2005 |
17 | EE | Martin Fränzle,
Michael R. Hansen:
A Robust Interpretation of Duration Calculus.
ICTAC 2005: 257-271 |
16 | EE | Alexander Metzner,
Martin Fränzle,
Christian Herde,
Ingo Stierand:
Scheduling Distributed Real-Time Systems by Satisfiability Checking.
RTCSA 2005: 409-415 |
15 | EE | Martin Fränzle,
Christian Herde:
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.
Electr. Notes Theor. Comput. Sci. 133: 119-137 (2005) |
2004 |
14 | EE | Martin Fränzle:
Model-checking dense-time Duration Calculus.
Formal Asp. Comput. 16(2): 121-139 (2004) |
2003 |
13 | EE | Martin Fränzle,
Christian Herde:
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.
LPAR 2003: 302-316 |
12 | EE | Martin Fränzle,
Jürgen Niehaus,
Alexander Metzner,
Werner Damm:
A Semantics for Distributed Execution of Statemate.
Formal Asp. Comput. 15(4): 390-405 (2003) |
2002 |
11 | EE | Martin Fränzle:
Take It NP-Easy: Bounded Model Construction for Duration Calculus.
FTRTFT 2002: 245-264 |
2001 |
10 | EE | Martin Fränzle:
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS 2001: 340-359 |
9 | | Martin Fränzle,
Karsten Lüth:
Visual temporal logic as a rapid prototyping tool.
Comput. Lang. 27(1/3): 93-113 (2001) |
1999 |
8 | | Martin Fränzle:
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.
CSL 1999: 126-140 |
7 | EE | Martin Fränzle,
Markus Müller-Olm:
Compilation and Synthesis for Real-Time Embedded Controllers.
Correct System Design 1999: 256-287 |
1998 |
6 | EE | Martin Fränzle,
Karsten Lüth:
Compiling Graphical Real-Time Specifications into Silicon.
FTRTFT 1998: 272-281 |
1996 |
5 | | Martin Fränzle:
Synthesizing Controllers from Duration Calculus.
FTRTFT 1996: 168-187 |
1995 |
4 | EE | Martin Fränzle,
Bernhard von Stengel,
Arne Wittmüss:
A Generalized Notion of Semantic Independence.
Inf. Process. Lett. 53(1): 5-9 (1995) |
1994 |
3 | | Martin Fränzle,
Markus Müller-Olm:
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.
CC 1994: 294-308 |
2 | | 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.
FTRTFT 1994: 288-335 |
1992 |
1 | | 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.
CC 1992: 141-155 |