fetching results... please wait


Ergebnisse der Suche:

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

[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

[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

[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 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, 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)

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

[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 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., 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

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

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

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