fetching results... please wait


Ergebnisse der Suche:

[Scheibler et al., 2016]
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, and Bernd Becker. Extending iSAT3 with ICP-contractors for bitwise integer operations. AVACS Technical Report No. 116, SFB/TR 14 AVACS, 2016. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): T1

Bibtex

PDF
open

[Fränzle et al., 2015]
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, and Joost-Pieter Katoen. Multi-objective parameter synthesis in probabilistic hybrid systems. In Sriram Sankaranarayanan and Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems, volume 9268 of Lecture Notes in Computer Science, pages 93-107. Springer International Publishing, 2015.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
open
© Springer Verlag (see article at SpringerLink)

[Gao and Fränzle, 2015]
Yang Gao and Martin Fränzle. A solving procedure for stochastic satisfiability modulo theories with continuous domain. In Quantitative Evaluation of Systems, volume 9259, pages 295-311. Springer, 2015.
Subproject(s): H1/2

Bibtex
© Springer Verlag (see article at SpringerLink)

[Müllner et al., 2015]
Nils Müllner, Martin Fränzle, and Sibylle Fröschle. Estimating the probability of a timely traffic-hazard warning via simulation. In Proceedings of the 48th Annual Symposium on Simulation (AnSS2015), Washington DC, USA, April 2015. IEEE Computer Society Press.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted

[Zou et al., 2015]
Liang Zou, Martin Fränzle, Naijun Zhan, and Peter Nazier Mosaad. Automatic stability and safety verification for delay differential equations. In Daniel Kroening and Corina Pasareanu, editors, Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015), LNCS. Springer Verlag, to appear July 2015.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[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

[Mahdi and Fränzle, 2014]
Ahmed Mahdi and Martin Fränzle. Generalized craig interpolation for stochastic satisfiability modulo theory problems. In Joel Ouaknine and James Worrell, editors, Proceedings of the 8th International Workshop on Reachability Problems, RP 2014, volume 8762 of Lecture Notes in Computer Science, pages 203-215. Springer International Publishing Switzerland, 2014.
Abstract (click to open/close)

Subproject(s): H4

Bibtex

PDF
open
© Springer Verlag (see article at SpringerLink)

[Mahdi et al., 2014]
Ahmed Mahdi, Bernd Westphal, and Martin Fränzle. Transformations for compositional verification of assumption-commitment properties. In Joel Ouaknine and James Worrell, editors, Proceedings of the 8th International Workshop on Reachability Problems, RP 2014, volume 8762 of Lecture Notes in Computer Science. Springer International Publishing Switzerland, 2014.
Abstract (click to open/close)

Subproject(s): H1/2,R1,S2

Bibtex

PDF
open
© Springer Verlag (see article at SpringerLink)

[Müllner et al., 2014a]
Nils Müllner, Oliver Theel, and Martin Fränzle. Combining decomposition and lumping to evaluate semi-hierarchical systems. In Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications (AINA2014), pages 1049 -- 1056. IEEE, May 2014.
Abstract (click to open/close)

Subproject(s): H4

Bibtex

PDF
open

[Müllner et al., 2014b]
Nils Müllner, Oliver Theel, and Martin Fränzle. Composing thermostatically controlled loads to determine the reliability against blackouts. In Proceedings of the 10th International Symposium on Frontiers of Information Systems and Network Applications (FINA2014), pages 334 -- 341. IEEE, May 2014.
Abstract (click to open/close)

Subproject(s): H4

Bibtex

PDF
open

[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

[Eggers et al., 2012b]
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, and Martin Fränzle. Set-membership estimation of hybrid systems via SAT modulo ODE. In Michel Kinnaert, editor, Proceedings of the 16th IFAC Symposium on System Identification, pages 440-445. The International Federation of Automatic Control (IFAC), 2012.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted

[Müllner et al., 2012]
Nils Müllner, Oliver Theel, and Martin Fränzle. Combining decomposition and reduction for state space analysis of a self-stabilizing system. In Proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications, AINA'12, page 8. IEEE Computer Society, IEEE Computer Society, March 2012. Best Paper Award.
Abstract (click to open/close)

Subproject(s): H4

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

[Dinh et al., 2011]
Nam Thang Dinh, Martin Fränzle, and Andreas Eggers. AVACS H1/2 8-year benchmark: Analyzing traffic models with iSAT. AVACS Technical Report No.  81, SFB/TR 14 AVACS, July 2011. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Eggers et al., 2011b]
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, and Martin Fränzle. Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods. In Gilles Barthe, Alberto Pardo, and Gerardo Schneider, editors, Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM), volume 7041 of LNCS, pages 172-187. Springer, 2011.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Fränzle and Lengauer, 2011]
Martin Fränzle and Christian Lengauer. Semantic independence. In David Padua et al., editors, Encyclopedia of Parallel Computing, pages 1803-1810. Springer-Verlag, sep 2011.
Subproject(s): R1

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Fränzle et al., 2011]
Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolas Wolovick, and Lijun Zhang. Measurability and safety verification for stochastic hybrid systems. In Proceedings of the 14th international conference on Hybrid systems: computation and control, HSCC '11, pages 43-52, New York, NY, USA, 2011. ACM.
Abstract (click to open/close)

Keywords: measurability, nondeterministic markov process, probabilistic hybrid automaton, reachability, stochastic hybrid automaton
Subproject(s): H4

Bibtex

PDF
restricted

[Kupferschmid et al., 2011a]
Stefan Kupferschmid, Bernd Becker, Tino Teige, and Martin Fränzle. Proof certificates and non-linear arithmetic constraints. In Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011). IEEE, 2011.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted

[Quesel et al., 2011]
J.-D. Quesel, M. Fränzle, and W. Damm. Crossing the bridge between similar games. In Stavros Tripakis and Uli Fahrenberg, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings, Lecture Notes in Computer Science (LNCS). Springer-Verlag, Sep. 2011. 15 pp. Accepted for publication on 8 July 2011.
Abstract (click to open/close)

Subproject(s): H1/2,H3

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Teige and Fränzle, 2011a]
Tino Teige and Martin Fränzle. Generalized Craig interpolation for stochastic Boolean satisfiability problems. AVACS Technical Report No.  67, SFB/TR 14 AVACS, 2011. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
open

[Teige and Fränzle, 2011b]
Tino Teige and Martin Fränzle. Generalized Craig interpolation for stochastic Boolean satisfiability problems. In Parosh Aziz Abdulla and K. Rustan M. Leino, editors, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 6605 of LNCS, pages 158-172. Springer, 2011.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[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

[Fränzle et al., 2010b]
Martin Fränzle, Tino Teige, and Andreas Eggers. Satisfaction meets expectations: Computing expected values of probabilistic hybrid systems with smt. In Dominique Mery and Stephan Merz, editors, Integrated Formal Methods 2010, volume 6396 of Lecture Notes in Computer Science (LNCS), pages 168-182. Springer, 2010.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Teige and Fränzle, 2010]
Tino Teige and Martin Fränzle. Resolution for stochastic Boolean satisfiability. In Christian Fermüller and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 17th International Conference (LPAR-17), volume 6397 of Logic for Programming, Artificial Intelligence, and Reasoning, pages 625-639. Springer-Verlag, 2010.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Á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

[Eggers et al., 2009a]
Andreas Eggers, Martin Fränzle, and Christian Herde. Application of constraint solving and ode-enclosure methods to the analysis of hybrid systems. In Theodore E. Simos, George Psihoyios, and Ch. Tsitouras, editors, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International Conference on Numerical Analysis and Applied Mathematics 2009, volume 1168 of American Institue of Physics (AIP) Conference Proceedings, pages 1326-1330, Melville, New York, 2009. American Institue of Physics. copyright American Institute of Physics.
Abstract (click to open/close)

Keywords: hybrid discrete-continuous systems, verification, ordinary differential equations, constraint solving, PACS: 02.60.Lj, 02.70.-c, 89.75.-k
Subproject(s): H1/2

Bibtex

PDF
open

[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

[Fränzle and Swaminathan, 2009]
Martin Fränzle and Mani Swaminathan. Revisiting decidability and optimum reachability for multi-priced timed automata. In J. Ouaknine and F. Vaandrager, editors, The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), volume 5813 of Lecture Notes in Computer Science (LNCS), pages 149-163. Springer, September 2009.
Abstract (click to open/close)

Subproject(s): R1

Bibtex

PDF
open
© Springer Verlag (see article at SpringerLink)

[Fränzle et al., 2009]
Martin Fränzle, Andreas Eggers, Christian Herde, and Tino Teige. Hybrid discrete-continuous systems. In Modern Computational Science 09, pages 363-378. BIS-Verlag der Carl von Ossietzky Universität Oldenburg, 2009.
Subproject(s): H1/2

Bibtex

PDF
restricted

[Heise et al., 2009]
William Pihl Heise, Michael R. Hansen, and Martin Fränzle. A prototype of a model checker for duration calculus. In Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT '09, pages 26-28, Kgs. Lyngby, Denmark, 2009. DTU Informatics, Danmarks Tekniske Universitet.
Subproject(s): R1

Bibtex

[Kupferschmid et al., 2009]
Stefan Kupferschmid, Tino Teige, Bernd Becker, and Martin Fränzle. Proofs of unsatisfiability for mixed boolean and non-linear arithmetic constraint formulae. In Carsten Gremzow and Nico Moser, editors, Proceedings of the 12th Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV 2009), pages 27-36. Universitätsverlag TU Berlin, 2009.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted

[Teige and Fränzle, 2009]
Tino Teige and Martin Fränzle. Constraint-based analysis of probabilistic hybrid systems. In A. Giua, C. Mahulea, M. Silva, and J. Zaytoon, editors, Proceedings of the 3rd International Federation of Automatic Control (IFAC) Conference on Analysis and Design of Hybrid Systems (ADHS 2009), pages 162-167. International Federation of Automatic Control (IFAC), 2009.
Abstract (click to open/close)

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

Bibtex

PDF
restricted

[Eggers et al., 2008b]
Andreas Eggers, Martin Fränzle, and Christian Herde. SAT modulo ODE: A direct SAT approach to hybrid systems. AVACS Technical Report No.  37, Sonderforschungsbereiche (SFB)/ Transregio (TR) 14 AVACS, April 2008. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Eggers et al., 2008c]
Andreas Eggers, Martin Fränzle, and Christian Herde. SAT modulo ODE: A direct SAT approach to hybrid systems. In Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, and Mahesh Viswanathan, editors, Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), volume 5311 of Lecture Notes in Computer Science (LNCS), pages 171-185. Springer-Verlag, 2008.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Fränzle, 2008]
Martin Fränzle. Engineering constraint solvers for the analysis of hybrid systems. In 20th Nordic Workshop on Programming Theory, NWPT '08, pages 436-466. Institute of Cybernetics, Tallinn Technical University, 2008.
Subproject(s): H1/2,H4

Bibtex

[Fränzle and Hansen, 2008]
Martin Fränzle and Michael R. Hansen. Efficient model checking for duration calculus based on branching-time approximations. In Antonio Cerone and Stefan Gruner, editors, Proceedings of the 6th Institute of Electrical and Electronics Engineers (IEEE) International Conferences on Software Engineering and Formal Methods (SEFM 08), pages 63-72. Institute of Electrical and Electronics Engineers (IEEE) Computer Society Press, 2008.
Abstract (click to open/close)

Subproject(s): R1

Bibtex

PDF
restricted

[Fränzle et al., 2008a]
M. Fränzle, H. Hermanns, and T. Teige. Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In Magnus Egerstedt and Bud Mishra, editors, Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), volume 4981 of Lecture Notes in Computer Science (LNCS), pages 172-186. Springer, 2008.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Fränzle et al., 2008b]
M. Fränzle, H. Hermanns, and T. Teige. Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In Magnus Egerstedt and Bud Mishra, editors, Pre-Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2008 Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), volume 4981 of Lecture Notes in Computer Science (LNCS), pages 172-186. Springer-Verlag, 2008. Extended abstract.
Abstract (click to open/close)

Keywords: Stochastic satisfiability, infinite domains, probabilistic hybrid automata, probabilistic bounded reachability.
Subproject(s): H1/2,H4

Bibtex

PDF
open
© Springer Verlag (see article at SpringerLink)

[Herde et al., 2008]
C. Herde, A. Eggers, M. Fränzle, and T. Teige. Analysis of hybrid systems using HySAT. In The Third International Conference on Systems (ICONS 2008), pages 196-201. Institute of Electrical and Electronics Engineers (IEEE) Computer Society, 2008.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
restricted

[Kupferschmid et al., 2008c]
Stefan Kupferschmid, Tino Teige, Bernd Becker, and Martin Fränzle. Proofs of unsatisfiability for mixed boolean and non-linear arithmetic constraint formulae. AVACS Technical Report No.  40, Sonderforschungsbereiche (SFB)/ Transregio (TR) 14 AVACS, June 2008. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[Swaminathan et al., 2008]
Mani Swaminathan, Martin Fränzle, and Joost-Pieter Katoen. The surprising robustness of (closed) timed automata against clock-drift. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, and Luke Ong, editors, The 5th International Federation for Information Processing (IFIP) International Conference on Theoretical Computer Science (IFIP TCS 2008), volume 273, pages 537-553. Springer-Verlag, September 2008.
Abstract (click to open/close)

Subproject(s): R1

Bibtex

PDF
open
© Springer Verlag (see article at SpringerLink)

[Teige and Fränzle, 2008]
T. Teige and M. Fränzle. Stochastic satisfiability modulo theories for non-linear arithmetic. In L. Perron and M. A. Trick, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, volume 5015 of Lecture Notes in Computer Science (LNCS), pages 248-262. Springer, 2008.
Abstract (click to open/close)

Subproject(s): H1/2,H4

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Teige et al., 2008]
Tino Teige, Christian Herde, Martin Fränzle, and Erika Ábrahám. Conflict analysis and restarts in a mixed boolean and non-linear arithmetic constraint solver. AVACS Technical Report No.  34, Sonderforschungsbereiche (SFB)/ Transregio (TR) 14 AVACS, January 2008. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2

Bibtex

PDF
open

[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 Hansen, 2007]
Martin Fränzle and Michael R. Hansen. Deciding an interval logic with accumulated durations. In Orna Grumberg and Michael Huth, editors, Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 07), volume 4424 of Lecture Notes in Computer Science, pages 201-215. Springer, 2007.
Abstract (click to open/close)

Keywords: Real-time systems, metric-time temporal logic, decidability, model-checking, multi-priced timed automata
Subproject(s): H1

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[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 et al., 2007b]
Martin Fränzle, Hardi Hungar, Christian Schmitt, and Boris Wirtz. Hlang: Compositional representation of hybrid systems via predicates. AVACS Technical Report No.  20, SFB/TR 14 AVACS, July 2007. ISSN: 1860-9821, http://www.avacs.org.
Abstract (click to open/close)

Subproject(s): H1/2,H3

Bibtex

PDF
open

[Swaminathan and Fränzle, 2007]
Mani Swaminathan and Martin Fränzle. A symbolic decision procedure for robust safety of timed systems. In proceedings on the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007). IEEE CS Press, 2007. To appear as a short paper/poster.
Abstract (click to open/close)

Subproject(s): H1

Bibtex

PDF
restricted

[Teige et al., 2007]
Tino Teige, Christian Herde, Martin Fränzle, Natalia Kalinnik, and Andreas Eggers. A generalized two-watched-literal scheme in a mixed boolean and non-linear arithmetic constraint solver. In José Neves, Manuel Filipe Santos, and José Manuel Machado, editors, Proceedings of the 13th Portuguese Conference on Artificial Intelligence (EPIA 2007), New Trends in Artificial Intelligence, pages 729-741. APPIA, December 2007.
Abstract (click to open/close)

Subproject(s): H1, H2

Bibtex

PDF
restricted

[Ábrahám et al., 2006b]
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde. Parallel SAT solving in bounded model checking. In Proc. of PDMC'06, Lecture Notes in Computer Science. Springer Verlag, 2006.
Abstract (click to open/close)

Subproject(s): H2

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Badban et al., 2006]
Bahareh Badban, Martin Fränzle, Jan Peleska, and Tino Teige. Test automation for hybrid systems. In Proceedings of the Third International Workshop on SOFTWARE QUALITY ASSURANCE (SOQUA 2006), pages 14-21, Portland Oregon, USA, November 2006.
Abstract (click to open/close)

Subproject(s): H1,H2

Bibtex

PDF
restricted

[Fränzle et al., 2006]
Martin Fränzle, Christian Herde, Stefan Ratschan, Tobias Schubert, and Tino Teige. Interval constraint solving using propositional SAT solving techniques. In Proceedings of the CP 2006 First International Workshop on the Integration of SAT and CP Techniques, pages 81-95, 2006.
Abstract (click to open/close)

Subproject(s): H1,H2

Bibtex

PDF
open

[Metzner et al., 2006]
A. Metzner, M. Fränzle, C. Herde, and I. Stierand. An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures. In Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium. IEEE Computer Society, 2006.
Abstract (click to open/close)

Subproject(s): R2,H2

Bibtex

PDF
restricted

[Enslev et al., 2005]
Jacob Enslev, Anne-Sofie Nielsen, Martin Fränzle, and Michael R. Hansen. Bounded model construction for duration calculus. In Neil Jones et al., editor, Proceedings of the 17th Nordic Workshop on Programming Theory (NWPT 05). Københavns Universitet, October 2005.
Subproject(s): H1

Bibtex

PDF
restricted

[Fränzle and Hansen, 2005]
Martin Fränzle and Michael R. Hansen. A robust interpretation of duration calculus. In Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC 05), volume 3722 of LNCS, pages 257-271. Springer Verlag, 2005.
Abstract (click to open/close)

Keywords: Metric-time temporal logic; Robust interpretation; Discrete time vs. dense time
Subproject(s): H1

Bibtex

PDF
restricted
© Springer Verlag (see article at SpringerLink)

[Metzner et al., 2005]
A. Metzner, M. Fränzle, C. Herde, and I. Stierand. Scheduling Distributed Real-Time Systems by Satisfiability Checking. In Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications, pages 409-415. IEEE Computer Society, 2005.
Abstract (click to open/close)

Subproject(s): R2,H2

Bibtex

PDF
restricted

[Swaminathan and Fränzle, 2005]
Mani Swaminathan and Martin Fränzle. Automatic and scalable verification of robust real-time systems. In Neil Jones et al., editor, Proceedings of the 17th Nordic Workshop on Programming Theory (NWPT 05). Københavns Universitet, October 2005.
Subproject(s): H1

Bibtex

PDF
restricted

[Becker et al., 2004]
Bernd Becker, Markus Behle, Fritz Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Joerg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, and Ralf Wimmer. Bounded model checking and inductive verification of hybrid discrete-continuous systems. In ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', 2004.
Abstract (click to open/close)

Keywords: Hybrid System Verification, Bounded Model Checking, Inductive Verification, Verification Engines
Subproject(s): 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

[Fränzle and Hansen, 2004]
Martin Fränzle and Michael R. Hansen. A robust interpretation of duration calculus. In Paul Pettersson and Wang Yi, editors, Proceedings of the 16th Nordic Workshop on Programming Theory (NWPT 04),, pages 83-85. Dept. of Information Technology, Uppsala University, 2004.
Subproject(s): H1

Bibtex

PDF
restricted

[Fränzle and Herde, 2004]
Martin Fränzle and Christian Herde. Efficient proof engines for bounded model checking of hybrid systems. In Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier, 2004.
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