Martin Fränzle

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

Coauthor Index

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

Colors in the list of coauthors