| 2010 |
| DOI | Haidi Yue, Joost-Pieter Katoen.
Leader Election in Anonymous Radio Networks,
Volume 6148 of LNCS, pages 247-261, Springer, 2010. |
| DOI | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
Learning Communicating Automata from MSCs,
pages 390-408, IEEE, 2010. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon.
libalf,
Volume 6174 of LNCS, pages 360-364, Springer, 2010. |
| DOI | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan.
Linear-Invariant Generation for Probabilistic Programs,
Volume 6337 : Advanced Research in Computing and Software Science of LNCS, pages 390-406, Springer, 2010. |
| Full Text | Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll.
Loop Refinement using Octagons and Satisfiability,
pages 9 S., ACM, 2010. |
| DOI | Lijun Zhang, Martin R. Neuhäußer.
Model Checking Interactive Markov Chains,
Volume 6015 : Advanced research in computing and software science of LNCS, pages 53-68, Springer, 2010. |
| DOI | Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen.
Model Checking Markov Chains using Krylov Subspace Methods,
Volume 6342 of LNCS, pages 115-130, Springer, 2010. |
| DOI | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Performability Assessment by Model Checking of Markov Reward Models,
pages 1-36, Springer, 2010. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Performance Evaluation and Model Checking Join Forces,
pages 76-85, Association for Computing Machinery, 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
Safety, Dependability, and Performance Analysis of Extended AADL Models,
Univ. Press, 2010. |
| Full Text | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
SMA,
pages 45-72, VEDA, Slov. Akad. Vied, 2010. |
| DOI | Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns.
Synthesis and Stochastic Assessment of Cost-Optimal Schedules,
pages 305-318, Springer, 2010. |
| DOI | Holger Hermanns, Joost-Pieter Katoen.
The How and Why of Interactive Markov Chains,
Volume 6286 of LNCS, pages 311-337, Springer, 2010. |
| Full Text | Daniel Klink.
Three-valued abstraction for stochastic systems,
pages VIII, 223 S. : graph. Darst., Hut, 2010. |
| DOI | Martin R. Neuhäußer, Lijun Zhang.
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes,
pages 209-218, IEEE Computer Society, 2010. |
| 2009 |
| Full Text | Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker.
Angluin-Style Learning of NFA,
pages 1004-1009, AAAI Press [u.a.], 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll.
Codesign of Dependable Systems,
pages 121-130, IEEE, 2009. |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer.
Compositional Abstraction for Stochastic Systems,
Volume 2009,15 of Aachener Informatik-Berichte, pages 32 S., RWTH Aachen, Department of Computer Science, 2009. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer.
Compositional Abstraction for Stochastic Systems,
Volume 5813 of LNCS, pages 195-211, Springer, 2009. |
| DOI | Tingting Han, Joost-Pieter Katoen, Berteun Damman.
Counterexample Generation in Probabilistic Model Checking,
pages 241-257, IEEE, 2009. |
| DOI | Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen.
Delayed Nondeterminism in Continuous-Time Markov Decision Processes,
Volume 5504 of LNCS, pages 364-379, Springer, 2009. |
| Full Text | Tingting Han.
Diagnosis, synthesis and analysis of probabilistic models,
Volume 2009-21 of IPA dissertation series, pages XII, 191 S. : graph. Darst., Univ. Twente, 2009. |
| Full Text | Carsten Kern.
Learning communicating and nondeterministic automata,
Volume 2009,17 of Aachener Informatik-Berichte, pages 230 S. : graph. Darst., RWTH Aachen, Department of Computer Science, 2009. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
LTL model checking of time-inhomogeneous Markov chains,
Volume 5799 of LNCS, pages 104-119, Springer, 2009. |
| DOI | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen.
Maximizing System Lifetime by Battery Scheduling,
pages 63-72, IEEE, 2009. |