| 2008 |
| DOI | Joost-Pieter Katoen, Alexandru Mereacre.
Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains,
Volume 5215 of LNCS, pages 203-217, Springer, 2008. |
| DOI | Viet Yen Nguyen, Theo C. Ruys.
Incremental Hashing for SPIN,
Volume 5156 of LNCS, pages 232-249, Springer, 2008. |
| DOI | Thomas Noll, Stefan Rieger.
Verifying Dynamic Pointer-Manipulating Threads,
Volume 5014 of LNCS, pages 84-99, Springer, 2008. |
| DOI | Stefan Rieger, Thomas Noll.
Abstracting Complex Data Structures by Hyperedge Replacement,
Volume 5214 of LNCS, pages 69-83, Springer, 2008. |
| Christel Baier, Joost-Pieter Katoen.
Principles of model checking,
Computer science, pages XVII, 975 S.. : graph. Darst., MIT Press, 2008. |
| Henrik Bohnenkamp, Marielle Stoelinga.
Quantitative Testing,
pages 227-236, ACM, 2008. |
| DOI | Manuela Bujorianu, Joost-Pieter Katoen.
Symmetry reduction for stochastic hybrid systems,
pages 233-238, IEEE, 2008. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen.
Time-Abstracting Bisimulation for Probabilistic Timed Automata,
pages 177-184, IEEE, 2008. |
| DOI | Berteun Damman, Tingting Han, Joost-Pieter Katoen.
Regular Expressions for PCTL Counterexamples,
pages 179-188, IEEE, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Approximate parameter synthesis for probabilistic time-bounded reachability,
pages 173-182, IEEE, 2008. |
| DOI | Joost-Pieter Katoen.
How to model and analyze gossiping protocols?,
pages 3-6, ACM, 2008. |
| DOI | Joost-Pieter Katoen.
Perspectives in Probabilistic Verification,
pages 3-10, IEEE, 2008. |
| DOI | Joost-Pieter Katoen.
Quantitative Evaluation in Embedded System Design,
Design Automation and Test in Europe Conference and Expo, pages 86-87, IEEE Service Center, 2008. |
| DOI | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen.
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift,
Volume 273 of IFIP, pages 537-553, Springer, 2008. |
| DOI | Helga Velroyen, Philipp Rummer.
Non-termination checking for imperative programs,
Volume 4966 of LNCS, pages 154-170, Springer, 2008. |
| DOI | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll.
Proving correctness of an efficient abstraction for interrupt handling,
pages 133-150, Elsevier Science, 2008. |
| DOI | Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, David N. Jansen.
Flow Faster,
pages 43 S., Department of Theoretical Computer Science, TU, 2008. |
| DOI | Lars Helge Haß, Thomas Noll.
Equational Abstractions for Reducing the State Space of Rewrite Theories,
pages 139-154, Elsevier, 2008. |
| DOI | B. Neumann, T. von Sydow, Holger Blume, Tobias G. Noll.
Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs,
pages 129-143, Springer, 2008. |
| 2007 |
| Full Text | Martin R. Neuhäußer, Joost-Pieter Katoen.
Bisimulation and logical preservation for continuous-time Markov decision processes,
Volume 2007,10 of Aachener Informatik-Berichte, pages 26 S., RWTH, Department of Computer Science, 2007. |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Three-valued abstraction for probabilistic systems,
Volume 2007,20 of Aachener Informatik-Berichte, pages 49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007. |
| Full Text | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Compositional modeling and minimization of time-inhomogeneous Markov chains,
Volume 2007,21 of Aachener Informatik-Berichte, pages 39 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen.
Stochastic model checking,
Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007. |
| DOI | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde.
Parallel SAT solving in bounded model checking,
Volume 4346 of LNCS, pages 301-315, Springer, 2007. |
| DOI | Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen.
Motor,
Volume 4424 of LNCS, pages 500-504, Springer, 2007. |