dblp.uni-trier.dewww.uni-trier.de

Martin Fränzle

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
32EEAndreas Eggers, Martin Fränzle, Christian Herde: SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA 2008: 171-185
31EETino Teige, Martin Fränzle: Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. CPAIOR 2008: 248-262
30EEMartin Fränzle, Holger Hermanns, Tino Teige: Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC 2008: 172-186
29EEChristian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201
28EEMani Swaminathan, Martin Fränzle, Joost-Pieter Katoen: The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS 2008: 537-553
27EEMartin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72
2007
26EEMartin Fränzle: Verification of Hybrid Systems. CAV 2007: 38
25EEMartin Fränzle, Michael R. Hansen: Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215
24EEMani Swaminathan, Martin Fränzle: A Symbolic Decision Procedure for Robust Safety of Timed Systems. TIME 2007: 192
23EEMartin 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)
22EEMartin 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)
21EEBernd 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
20EEErika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
19EEAlexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006
18EEBahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige: Test automation for hybrid systems. SOQUA 2006: 14-21
2005
17EEMartin Fränzle, Michael R. Hansen: A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271
16EEAlexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415
15EEMartin Fränzle, Christian Herde: Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. Electr. Notes Theor. Comput. Sci. 133: 119-137 (2005)
2004
14EEMartin Fränzle: Model-checking dense-time Duration Calculus. Formal Asp. Comput. 16(2): 121-139 (2004)
2003
13EEMartin Fränzle, Christian Herde: Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. LPAR 2003: 302-316
12EEMartin 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
11EEMartin Fränzle: Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT 2002: 245-264
2001
10EEMartin 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
7EEMartin Fränzle, Markus Müller-Olm: Compilation and Synthesis for Real-Time Embedded Controllers. Correct System Design 1999: 256-287
1998
6EEMartin 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
4EEMartin 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

Coauthor Index

1Erika Ábrahám (Erika Ábrahám-Mumm) [20]
2Bahareh Badban [18]
3Bernd Becker [20] [21]
4Bettina Buth [1]
5Karl-Heinz Buth [1]
6Werner Damm [12] [21]
7Andreas Eggers [29] [32]
8Michael R. Hansen [2] [17] [25] [27]
9Jifeng He [2]
10Christian Herde [13] [15] [16] [19] [20] [22] [23] [29] [32]
11Holger Hermanns [30]
12C. A. R. Hoare (Tony Hoare) [2]
13Burghard von Karger [1]
14Joost-Pieter Katoen [28]
15Yassine Lakhnech [1]
16Hans Langmaack [1]
17Karsten Lüth [6] [9]
18Alexander Metzner [12] [16] [19]
19Markus Müller-Olm [1] [2] [3] [7]
20Jürgen Niehaus [12]
21Ernst-Rüdiger Olderog [2] [21]
22Jan Peleska [18]
23Andreas Podelski [21]
24Stefan Ratschan [22]
25Anders P. Ravn [2]
26Hans Rischel [2]
27Michael Schenke [2]
28Tobias Schubert [20] [22]
29Bernhard von Stengel [4]
30Ingo Stierand [16] [19]
31Mani Swaminathan [24] [28]
32Tino Teige [18] [22] [29] [30] [31]
33Reinhard Wilhelm [21]
34Arne Wittmüss [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)