| 2013 |
| DOI | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer.
Modelling, Reduction and Analysis of Markov Automata,
Volume 8054 of LNCS, pages 34-50, Springer, 2013. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver.
PRINSYS,
Volume 8054 of LNCS, pages 172-187, Springer, 2013. |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate.
Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems,
pages 293-303, ACM, 2013. |
| DOI | Viet Yen Nguyen, Theo C. Ruys.
Selected Dynamic Issues in Software Model Checking,
pages 337-362, Springer, 2013. |
| DOI | Hans Christian Dehnert, David Parker, Joost-Pieter Katoen.
SMT-based Bisimulation Minimisation of Markov Models,
Volume 7737 of LNCS, pages 28-47, Springer, 2013. |
| DOI | Tim Lange, Martin R. Neuhäußer, Thomas Noll.
Speeding Up the Safety Verification of Programmable Logic Controller Code,
Volume 8244 of LNCS, pages 44-60, Springer, 2013. |
| DOI | Joost-Pieter Katoen, Doron Peled.
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems,
Volume 7792 of LNCS, pages 411-430, Springer, 2013. |
| Full Text | Viet Yen Nguyen.
Trustworthy spacecraft design using formal methods,
Volume 2012,17 of Aachener Informatik-Berichte, pages 187 S. : graph. Darst., Dep. of Computer Science, RWTH Aachen, 2013. |
| 2012 |
| DOI | Kamal Barakat, Stefan Kowalewski, Thomas Noll.
A Native Approach to Modeling Timed Behavior in the Pi-Calculus,
pages 253-256, IEEE, 2012. |
| DOI | Balaguru Srivathsan, Igor Walukiewicz.
An alternate proof of Statman's finite completeness theorem,
pages 612-616, Elsevier, 2012. |
| DOI | Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz.
Better abstractions for timed automata,
pages 375-384, IEEE Computer Society, 2012. |
| DOI | Falak Sher, Joost-Pieter Katoen.
Compositional Abstraction Techniques for Probabilistic Automata,
Volume 7604 of LNCS, pages 325-341, Springer, 2012. |
| DOI | Hongfei Fu.
Computing Game Metrics on Markov Decision Processes,
Volume 7392 of LNCS, pages 227-238, Springer, 2012. |
| DOI | Thomas Noll.
Correctness, Safety and Fault Tolerance in Aerospace Systems,
pages 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,
pages 122-146, Springer, 2012. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga.
Efficient Modelling and Generation of Markov Automata,
Volume 7454 of LNCS, pages 364-379, Springer, 2012. |
| DOI | Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein.
Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite,
ICSE 2012, pages 1022-1031, IEEE, 2012. |
| DOI | Joost-Pieter Katoen.
GSPNs Revisited,
pages 6-12, IEEE, 2012. |
| DOI | Jonathan Heinen, Christina Jansen, Henrik Barthels.
Juggrnaut - An Abstract JVM,
Volume 7421 of LNCS, pages 142-159, Springer, 2012. |
| DOI | Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog.
Layered Reasoning for Randomized Distributed Algorithms,
pages 477-496, 2012. |
| Full Text | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes,
Volume 88 of Reports of SFB/TR 14 AVACS, 2012. |
| Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties,
Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, pages 169-180, Kovač, 2012. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen.
Minimal Critical Subsystems for Discrete-Time Markov Models,
Volume 7214 of LNCS, pages 299-314, Springer, 2012. |
| DOI | Joost-Pieter Katoen.
Model Checking,
Volume 7141 of LNCS, pages 1-14, Springer, 2012. |
| Full Text | Bart Theelen, Joost-Pieter Katoen, Hao Wu.
Model checking of scenario-aware dataflow with cadp,
pages 653-658, IEEE, 2012. |