fetching results... please wait


Ergebnisse der Suche:

[Ellen et al., 2014]
Christian Ellen, Sebastian Gerwinn, and Martin Fränzle. Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. International Journal on Software Tools for Technology Transfer, pages 1-20, 2014.
Abstract (click to open/close)

Keywords: Statistical model checking; Stochastic hybrid systems; Non-determinism; SSMT
Subproject(s): H1/2

Bibtex

PDF
restricted

[Müllner et al., 2013]
Nils Müllner, Oliver Theel, and Martin Fränzle. Combining decomposition and reduction for state space analysis of a self-stabilizing system. Journal of Computer and System Sciences (JCSS), 79(7):1113-1125, 2013.
Abstract (click to open/close)

Keywords: Fault tolerance, Self stabilization, Probabilistic model checking, Probabilistic bisimilarity, Markov chains, Limiting window availability
Subproject(s): H4

Bibtex

PDF
restricted

[Eggers et al., 2012a]
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, and Martin Fränzle. Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Software & Systems Modeling, 2012.
Abstract (click to open/close)

Keywords: Analysis of hybrid discrete-continuous systems; Satisfiability modulo theories; Enclosure methods for ODEs; Bracketing systems
Subproject(s): H1/2

Bibtex

PDF
restricted

[Teige and Fränzle, 2012]
Tino Teige and Martin Fränzle. Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. Logical Methods in Computer Science, 8(2):1-32, 2012.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
open

[Teige et al., 2011]
Tino Teige, Andreas Eggers, and Martin Fränzle. Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems. Nonlinear Analysis: Hybrid Systems, 5(2):343-366, 2011.
Abstract (click to open/close)

Keywords: Concurrent probabilistic hybrid systems, probabilistic logic, constraint satisfaction problems, problem solvers, automatic verification
Subproject(s): H1/2,H4

Bibtex

PDF
restricted

[Fränzle et al., 2010a]
Martin Fränzle, Tino Teige, and Andreas Eggers. Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Journal of Logic and Algebraic Programming, 79(7):436-466, 2010.
Abstract (click to open/close)

Keywords: Probabilistic hybrid automata, bounded model checking, arithmetic constraint solving, stochastic satisfiability
Subproject(s): H1/2,H4

Bibtex

PDF
restricted

[Ábrahám et al., 2009]
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde. Parallel SAT solving in bounded model checking. Journal of Logic and Computation, pages 301-315, 2009.
Abstract (click to open/close)

Keywords: parallel programs, bounded model checking, SAT solving, linear programming, hybrid systems
Subproject(s): H1/2

Bibtex

PDF
restricted

[Fränzle and Hansen, 2009]
Martin Fränzle and Michael R. Hansen. Efficient model checking for duration calculus. International Journal of Software and Informatics, 3(2-3):171-196, 2009.
Abstract (click to open/close)

Subproject(s): R1

Bibtex

PDF
restricted

[Becker et al., 2007a]
Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm. SFB/TR 14 AVACS -- automatic verification and analysis of complex systems. it -- Information Technology, 49(2):118-126, 2007. http://it-Information-Technology.de, DOI 10.1524/itit.2007.49.2.118.
Abstract (click to open/close)

Subproject(s): R1,R2,R3,H1,H2,H3,H4,S1,S2,S3

Bibtex

PDF
open

[Fränzle and Herde, 2007]
Martin Fränzle and Christian Herde. HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods in System Design, 30:179-198, 2007.
Abstract (click to open/close)

Keywords: verification, bounded model checking, hybrid systems, infinite-state systems, decision procedures, satisfiability
Subproject(s): H2

Bibtex

PostScript
restricted

PDF
restricted

[Fränzle et al., 2007a]
Martin Fränzle, Christian Herde, Stefan Ratschan, Tobias Schubert, and Tino Teige. Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. Journal on Satisfiability, Boolean Modeling and Computation -- Special Issue on SAT/CP Integration, 1:209-236, 2007.
Abstract (click to open/close)

Subproject(s): H1,H2

Bibtex

PDF
restricted

[Fränzle, 2004]
Martin Fränzle. Model-checking dense-time duration calculus. Formal Aspects of Computing Science, 16(2):121-139, 2004.
Subproject(s): H1

Bibtex

PDF
restricted