Search results for "Martin Fränzle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nils Müllner, Oliver E. Theel, Martin Fränzle	Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.	AINA	2012	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Martin Fränzle, Christian Lengauer	Semantic Independence.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle	Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.	SEFM	2011	DBLP DOI BibTeX RDF
1	Tino Teige, Martin Fränzle	Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.	TACAS	2011	DBLP DOI BibTeX RDF
1	Jan-David Quesel, Martin Fränzle, Werner Damm	Crossing the Bridge between Similar Games.	FORMATS	2011	DBLP DOI BibTeX RDF
1	Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang	Measurability and safety verification for stochastic hybrid systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle	Proof certificates and non-linear arithmetic constraints.	DDECS	2011	DBLP DOI BibTeX RDF
1	Martin Fränzle, Tino Teige, Andreas Eggers	Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.	J. Log. Algebr. Program.	2010	DBLP DOI BibTeX RDF
1	Tino Teige, Martin Fränzle	Resolution for Stochastic Boolean Satisfiability.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
1	Martin Fränzle, Tino Teige, Andreas Eggers	Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.	IFM	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter	Using Guided Simulation to Assess Driver Assistance Systems.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Efficient Model Checking for Duration Calculus?	Int. J. Software and Informatics	2009	DBLP BibTeX RDF
1	Martin Fränzle, Mani Swaminathan	Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige	Analysis of Hybrid Systems Using HySAT.	ICONS	2008	DBLP DOI BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.	SEFM	2008	DBLP DOI BibTeX RDF
1	Andreas Eggers, Martin Fränzle, Christian Herde	SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.	ATVA	2008	DBLP DOI BibTeX RDF
1	Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.	IFIP TCS	2008	DBLP DOI BibTeX RDF
1	Tino Teige, Martin Fränzle	Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.	CPAIOR	2008	DBLP DOI BibTeX RDF
1	Martin Fränzle, Holger Hermanns, Tino Teige	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	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	2007	DBLP BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF
1	Martin Fränzle, Christian Herde	HySAT: An efficient proof engine for bounded model checking of hybrid systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
1	Mani Swaminathan, Martin Fränzle	A Symbolic Decision Procedure for Robust Safety of Timed Systems.	TIME	2007	DBLP DOI BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Deciding an Interval Logic with Accumulated Durations.	TACAS	2007	DBLP DOI BibTeX RDF	metric-time temporal logic, multi-priced timed automata, Real-time systems, model-checking, decidability
1	Martin Fränzle	Verification of Hybrid Systems.	CAV	2007	DBLP DOI BibTeX RDF
1	Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand	An optimal approach to the task allocation problem on hierarchical architectures.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige	Test automation for hybrid systems.	SOQUA	2006	DBLP DOI BibTeX RDF	MCDC coverage, hybrid systems, test case generation, interval analysis
1	Martin Fränzle, Christian Herde	Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	A Robust Interpretation of Duration Calculus.	ICTAC	2005	DBLP DOI BibTeX RDF	Metric-time temporal logic, Robust interpretation, Discrete time vs. dense time
1	Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand	Scheduling Distributed Real-Time Systems by Satisfiability Checking.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Martin Fränzle	Model-checking dense-time Duration Calculus.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Dense-time Duration Calculus, Model-checking, Decidability
1	Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm	A Semantics for Distributed Execution of Statemate.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Distributed systems, Semantics, Statemate
1	Martin Fränzle, Christian Herde	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.	LPAR	2003	DBLP DOI BibTeX RDF	non-clausal propositional logic, zero-one linear constraint systems, Satisfiability, proof search, acceleration techniques
1	Martin Fränzle	Take It NP-Easy: Bounded Model Construction for Duration Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF	Discrete-time Duration Calculus, Bounded model construction, Complexity, Model construction
1	Martin Fränzle, Karsten Lüth	Visual temporal logic as a rapid prototyping tool.	Comput. Lang.	2001	DBLP DOI BibTeX RDF
1	Martin Fränzle	What Will Be Eventually True of Polynomial Hybrid Automata?	TACS	2001	DBLP DOI BibTeX RDF	State recurrence, Progress properties, Verification procedures, Hybrid systems, Decidability
1	Martin Fränzle, Markus Müller-Olm	Compilation and Synthesis for Real-Time Embedded Controllers.	Correct System Design	1999	DBLP DOI BibTeX RDF
1	Martin Fränzle	Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.	CSL	1999	DBLP DOI BibTeX RDF
1	Martin Fränzle, Karsten Lüth	Compiling Graphical Real-Time Specifications into Silicon.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Martin Fränzle	Synthesizing Controllers from Duration Calculus.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Martin Fränzle, Bernhard von Stengel, Arne Wittmüss	A Generalized Notion of Semantic Independence.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
1	Martin Fränzle, Markus Müller-Olm	Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.	CC	1994	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
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	DBLP DOI BibTeX RDF

Publications of "Martin Fränzle" ( http://dblp.L3S.de/Authors/Martin_Fränzle )