Martin Fränzle

	2012
47		Nils Müllner, Oliver E. Theel, Martin Fränzle: Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. AINA 2012: 936-943
	2011
46		Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle: Proof certificates and non-linear arithmetic constraints. DDECS 2011: 429-434
45		Jan-David Quesel, Martin Fränzle, Werner Damm: Crossing the Bridge between Similar Games. FORMATS 2011: 160-176
44		Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang: Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52
43		Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle: Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. SEFM 2011: 172-187
42		Tino Teige, Martin Fränzle: Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. TACAS 2011: 158-172
41		Martin Fränzle, Christian Lengauer: Semantic Independence. Encyclopedia of Parallel Computing 2011: 1803-1810
40		Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011)
	2010
39		Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter: Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT 2010: 195-205
38		Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle: The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. FORMS/FORMAT 2010: 207-215
37		Martin Fränzle, Tino Teige, Andreas Eggers: Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. IFM 2010: 168-182
36		Tino Teige, Martin Fränzle: Resolution for Stochastic Boolean Satisfiability. LPAR (Yogyakarta) 2010: 625-639
35		Martin Fränzle, Tino Teige, Andreas Eggers: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebr. Program. 79(7): 436-466 (2010)
	2009
34		Martin Fränzle, Mani Swaminathan: Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. FORMATS 2009: 149-163
33		Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus? Int. J. Software and Informatics 3(2-3): 171-196 (2009)
	2008
32		Andreas Eggers, Martin Fränzle, Christian Herde: SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA 2008: 171-185
31		Tino Teige, Martin Fränzle: Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. CPAIOR 2008: 248-262
30		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		Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201
28		Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen: The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS 2008: 537-553
27		Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72
	2007
26		Martin Fränzle: Verification of Hybrid Systems. CAV 2007: 38
25		Martin Fränzle, Michael R. Hansen: Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215
24		Mani Swaminathan, Martin Fränzle: A Symbolic Decision Procedure for Robust Safety of Timed Systems. TIME 2007: 192
23		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		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		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		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		Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006
18		Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige: Test automation for hybrid systems. SOQUA 2006: 14-21
	2005
17		Martin Fränzle, Michael R. Hansen: A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271
16		Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415
15		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		Martin Fränzle: Model-checking dense-time Duration Calculus. Formal Asp. Comput. 16(2): 121-139 (2004)
	2003
13		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		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		Martin Fränzle: Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT 2002: 245-264
	2001
10		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		Martin Fränzle, Markus Müller-Olm: Compilation and Synthesis for Real-Time Embedded Controllers. Correct System Design 1999: 256-287
	1998
6		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		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] [40]
2	Bahareh Badban	[18]
3	Bernd Becker	[20] [21] [40] [46]
4	Bettina Buth	[1]
5	Karl-Heinz Buth	[1]
6	Werner Damm	[12] [21] [45]
7	Andreas Eggers	[29] [32] [35] [37] [43]
8	Jan Gacnik	[38]
9	Tayfun Gezgin	[39]
10	Ernst Moritz Hahn	[44]
11	Michael R. Hansen (Michael Rygaard Hansen)	[2] [17] [25] [27] [33]
12	Jifeng He	[2]
13	Christian Herde	[13] [15] [16] [19] [20] [22] [23] [29] [32] [40]
14	Holger Hermanns	[30] [44]
15	C. A. R. Hoare (Tony Hoare)	[2]
16	Hardi Hungar	[39]
17	Henning Jost	[38]
18	Burghard von Karger	[1]
19	Joost-Pieter Katoen	[28]
20	Frank Köster	[38]
21	Stefan Kupferschmid	[46]
22	Yassine Lakhnech	[1]
23	Hans Langmaack	[1]
24	Christian Lengauer	[41]
25	Karsten Lüth	[6] [9]
26	Alexander Metzner	[12] [16] [19]
27	Markus Müller-Olm	[1] [2] [3] [7]
28	Nils Müllner	[47]
29	Nedialko Nedialkov	[43]
30	Jürgen Niehaus	[12]
31	Ernst-Rüdiger Olderog	[2] [21]
32	Jan Peleska	[18]
33	Andreas Podelski	[21]
34	Stefan Puch	[39]
35	Jan-David Quesel	[45]
36	Nacim Ramdani	[43]
37	Stefan Ratschan	[22]
38	Anders P. Ravn	[2]
39	Hans Rischel	[2]
40	Gerald Sauter	[39]
41	Michael Schenke	[2]
42	Tobias Schubert	[20] [22] [40]
43	Bernhard von Stengel	[4]
44	Ingo Stierand	[16] [19]
45	Mani Swaminathan	[24] [28] [34]
46	Tino Teige	[18] [22] [29] [30] [31] [35] [36] [37] [42] [46]
47	Oliver E. Theel	[47]
48	Reinhard Wilhelm	[21]
49	Arne Wittmüss	[4]
50	Nicolás Wolovick	[44]
51	Lijun Zhang	[44]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page