| 2013 |
|---|
| DOI | Markus Bals, Christina Jansen, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars, Proceedings : 2013 international symposium on theoretical aspects of software engineering : 1-3 july 2013, birmingham, united kingdom, 165-168, IEEE Computer Society, 2013. |
| DOI | Tim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code, Hardware and software: verification and testing : 9th international haifa verification conference, HVC 2013, haifa, israel, november 5-7, 2013 ; proceedings / valeria bertacco; axel legay (eds.), 44-60, Springer, 2013. |
| DOI | Joost-Pieter Katoen. Model Checking Meets Probability : A Gentle Introduction, Engineering dependable software systems. - 34, 177-205, IOS Press, 2013. |
| Viet Yen Nguyen. Trustworthy spacecraft design using formal methods, 187 S. : graph. Darst., Dep. of Computer Science, RWTH Aachen, 2013. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems, 191-232, Springer Science + Business Media B.V, 2013. |
| DOI | Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking for performability, 751-795, Cambridge Univ. Press, 2013. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, 66-116, Academic Press [u.a.], 2013. |
| DOI | Viet Yen Nguyen, Theo C. Ruys. Selected Dynamic Issues in Software Model Checking, 337-362, Springer, 2013. |
| 2012 |
|---|
| DOI | Arpit Sharma. Weighted probabilistic equivalence preserves omega-regular properties, Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th international GI ITG conference ; MMB & DFT 2012, Kaiserslautern, Germany, March 19 - 21, 2012 ; proceedings / Jens B. Schmitt (ed.), 121-135, Springer, 2012. |
| Bart Theelen, Joost-Pieter Katoen, Hao Wu. Model checking of scenario-aware dataflow with cadp, 2012 design, automation & test in europe conference & exhibition (DATE 2012) : Dresden, germany, 12 - 16 march 2012 ; [proceedings] / [sponsored by: European design and automation association (EDAA) ...]. Ed.: K. Preas, 653-658, IEEE, 2012. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models, Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the european joint conferences on theory and practice of software, ETAPS 2012, tallinn, estonia, march 24 - april 1, 2012 ; proceedings / cormac flanagan ... (eds.). - 2012, 299-314, Springer, 2012. |
| DOI | Joost-Pieter Katoen. Model Checking: One Can Do Much More Than You Think!, Fundamentals of software engineering : 4th IPM international conference, FSEN 2011, tehran, iran, april 20-22, 2011; revised selected papers / farhad arbab ... (eds.), 1-14, Springer, 2012. |
| DOI | Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer. Quantitative Timed Analysis of Interactive Markov Chains, NASA formal methods : 4th international symposium, NFM 2012, norfolk, VA, USA, april 3 - 5, 2012 ; proceedings / alwyn E. Goodloe; suzette person (ed.), 8-23, Springer, 2012. |
| DOI | Kamal Barakat, Stefan Kowalewski, Thomas Noll. A Native Approach to Modeling Timed Behavior in the Pi-Calculus, IEEE sixth international symposium on theoretical aspects of software engineering : Beijing, china, 4 – 6 july 2012 ; proceedings / edited by tiziana margaria, zongyan qiu, and hongli yang, 253-256, IEEE, 2012. |
| DOI | Joost-Pieter Katoen, Jaco Pol, Mariëlle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata, 36-57, Elsevier, 2012. |
| DOI | Rémi Brochenin, Stéphane Demri, Etienne Lozes. On the almighty wand, 106-137, Elsevier, 2012. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems, 1-55, North-Holland, 2012. |
| DOI | Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered Reasoning for Randomized Distributed Algorithms, 477-496, 2012. |
| DOI | Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems : The ESA COMPASS Project, 42, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2012. |
| DOI | Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz. Efficient emptiness check for timed Büchi automata, 122-146, Springer [u.a.], 2012. |
| DOI | Balaguru Srivathsan, Igor Walukiewicz. An alternate proof of Statman's finite completeness theorem, 612-616, Elsevier, 2012. |
| Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes; extended version, 2012. |
| DOI | Jonathan Heinen, Christina Jansen, Henrik Barthels. Juggrnaut - An Abstract JVM, Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5 - 7, 2011 ; revised selected papers / Bernhard Beckert ... (eds.), 142-159, Springer [u.a.], 2012. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco Pol, Marielle Stoelinga. Efficient Modelling and Generation of Markov Automata, CONCUR 2012 - concurrency theory : 23rd international conference, CONCUR 2012, newcastle upon tyne, september 4 - 7, 2012 ; proceedings / maciej koutny ... (eds.), 364-379, Springer [u.a.], 2012. |