| 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 | Falak Sher, Joost-Pieter Katoen.
Compositional Abstraction Techniques for Probabilistic Automata,
Volume 7604 of LNCS, pages 325-341, Springer, 2012. |
| DOI | Joost-Pieter Katoen.
GSPNs Revisited,
pages 6-12, IEEE, 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 | Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz.
Better abstractions for timed automata,
pages 375-384, IEEE Computer Society, 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. |
| 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 | Arpit Sharma, Joost-Pieter Katoen.
Weighted Lumpability on Markov Chains,
Volume 7162 of LNCS, pages 322-339, Springer, 2012. |
| 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 | Joost-Pieter Katoen.
Towards trustworthy aerospace systems,
Volume 6959 of LNCS, pages 1-4, Springer, 2011. |
| DOI | Ulrich Loup, Erika Ábrahám.
I-RiSC,
Volume 6742 of LNCS, pages 230-246, Springer, 2011. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Observing Continuous-Time MDPs by 1-Clock Timed Automata,
Volume 6945 of LNCS, pages 2-25, Springer, 2011. |
| DOI | Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy.
Reduction of Interrupt Handler Executions for Model Checking Embedded Software,
Volume 6405 of LNCS, Springer, 2011. |
| DOI | J. Hayman.
Granularity and concurrent separation logic,
Volume 6901 of LNCS, pages 219-234, Springer, 2011. |
| Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder.
On collaboratively conveying computer science to pupils,
pages 132-137, ACM, 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 | Ulrich Loup, Erika Ábrahám.
GiNaCRA,
Volume 6617 of LNCS, pages 512-517, Springer, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre.
Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems,
pages 83-92, ACM Press, 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 | 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 | 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 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre.
Reachability probabilities in markovian timed automata,
pages 7075-7080, IEEE, 2011. |
| DOI | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell.
Static livelock analysis in csp,
Volume 6901 of LNCS, pages 389-403, 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 | 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. |