| 2012 |
| DOI | Etienne Lozes, Florent Jacquemard, Jules Villard, Ralf Treinen.
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus,
Volume 6993 of LNCS, pages 166-185, Springer, 2012. |
| DOI | Rémi Brochenin, Stéphane Demri, Etienne Lozes.
On the almighty wand,
pages 106-137, Elsevier, 2012. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver.
Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language,
pages 168-177, IEEE CS Press, 2012. |
| DOI | Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer.
Quantitative Timed Analysis of Interactive Markov Chains,
Volume 7226 of LNCS, pages 8-23, Springer, 2012. |
| DOI | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen.
Robust PCTL Model Checking,
pages 275-286, ACM, 2012. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Three-Valued Abstraction for Probabilistic Systems,
pages 1-55, North-Holland, 2012. |
| DOI | Arpit Sharma, Joost-Pieter Katoen.
Weighted Lumpability on Markov Chains,
Volume 7162 of LNCS, pages 322-339, Springer, 2012. |
| DOI | Arpit Sharma.
Weighted probabilistic equivalence preserves omega-regular properties,
Volume 7201 of LNCS, pages 121-135, Springer, 2012. |
| 2011 |
| DOI | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer.
A linear process-algebraic format with data for probabilistic automata,
pages 36-57, Elsevier, 2011. |
| DOI | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll.
A Local Greibach Normal Form for Hyperedge Replacement Grammars,
Volume 6638 of LNCS, pages 323-335, Springer, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini.
A two-step scheme for approximate model checking of stochastic hybrid systems,
pages 4519-4524, 2011. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski.
Abstract Probabilistic Automata,
Volume 6538 of LNCS, pages 324-339, Springer, 2011. |
| DOI | Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi.
Access Analysis-based Tight Localization of Abstract Memories,
Volume 6538 of LNCS, pages 356-370, Springer, 2011. |
| DOI | Haidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen.
Analysing and Improving Energy Efficiency of Distributed Slotted Aloha,
Volume 6869 of LNCS, pages 197-208, Springer, 2011. |
| Sabrina von Styp, Gustavo Quirós, Liyong Yu.
Automatic Test-Case Derivation and Execution in Industrial Control,
Volume 821 of CEUR Workshop proceedings, RWTH-Aachen, 2011. |
| DOI | Frédéric Herbreteau, B. Srivathsan.
Coarse abstractions make Zeno behaviours difficult to detect,
2011. |
| DOI | .
CONCUR 2011 - concurrency theory: 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011,
Volume 6901 of LNCS, pages XIV, 560 S. : graph. Darst., Springer, 2011. |
| DOI | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám.
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking,
Volume 6722 of LNCS, pages 75-89, Springer, 2011. |
| DOI | Hongfei Fu, Joost-Pieter Katoen.
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems,
Volume 13 of Leibniz International Proceedings in Informatics, pages 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011. |
| DOI | Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Efficient CTMC Model Checking of Linear Real-Time Objectives,
Volume 6605 of LNCS, pages 128-142, Springer, 2011. |
| DOI | Ulrich Loup, Erika Ábrahám.
GiNaCRA,
Volume 6617 of LNCS, pages 512-517, Springer, 2011. |
| DOI | J. Hayman.
Granularity and concurrent separation logic,
Volume 6901 of LNCS, pages 219-234, Springer, 2011. |
| DOI | Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker.
Hierarchical counterexamples for discrete-time markov chains,
Volume 6996 of LNCS, pages 443-452, Springer, 2011. |
| DOI | Ulrich Loup, Erika Ábrahám.
I-RiSC,
Volume 6742 of LNCS, pages 230-246, Springer, 2011. |
| Jonathan Heinen, Christina Jansen.
Juggrnaut - An Abstract JVM,
Volume 26 of Karlsruhe Reports in Informatics, pages 226-243, Karlsruhe Institute of Technology, 2011. |