| 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. |
| DOI | Joost-Pieter Katoen.
Advances in Probabilistic Model Checking,
Volume 5944 of LNCS, pages 25, Springer, 2010. |
| DOI | Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer.
A Linear Process Algebraic Format for Probabilistic Systems with Data,
pages 213-222, IEEE Computer Soc., 2010. |
| DOI | Holger Hermanns, Joost-Pieter Katoen.
The How and Why of Interactive Markov Chains,
Volume 6286 of LNCS, pages 311-337, Springer, 2010. |
| DOI | Jörg Brauer, Thomas Noll, Bastian Schlich.
Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software,
ACM Digital Library, ACM, 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer.
A Model Checker for AADL,
Volume 6174 of LNCS, pages 562-565, 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 | 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 | Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen.
Computing Optimal Schedules for Battery Usage in Embedded Systems,
pages 276-286, IEEE, 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 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
Learning Communicating Automata from MSCs,
pages 390-408, IEEE, 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 | 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 | Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini.
Approximate model checking of stochastic hybrid systems,
pages 624-641, Hermes [u.a.], 2010. |
| 2009 |
| Full Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Quantitative model checking of continuous-time Markov chains against timed automata specifications,
Volume 2009,2 of Aachener Informatik-Berichte, pages 50 S., RWTH Aachen, Department of Computer Science, 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. |
| Full Text | Martin R. Neuhäußer, Lijun Zhang.
Time-Bounded Reachability in Continuous-Time Markov Decision Processes,
Volume 2009,12 of Aachener Informatik-Berichte, pages 25 S., RWTH Aachen, Department of Computer Science, 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. |
| Full Text | Stefan Rieger.
Verification of pointer programs,
pages 170 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 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. |
| DOI | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys.
MoonWalker,
Volume 5505 of LNCS, pages 170-173, Springer, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
The COMPASS Approach,
Volume 5775 of LNCS, pages 173-186, Springer, 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 | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer.
Compositional Abstraction for Stochastic Systems,
Volume 5813 of LNCS, pages 195-211, Springer, 2009. |