| 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. |
| DOI | Tingting Han, Joost-Pieter Katoen.
Counterexamples in probabilistic model checking,
Volume 4424 of LNCS, pages 72-86, Springer, 2007. |
| DOI | G. Kappen, S. el Bahri, O. Priebe, Tobias G. Noll.
Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers,
pages 296-301, IEEE, 2007. |
| DOI | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen.
Flow faster,
Volume 4424 of LNCS, pages 155-169, Springer, 2007. |
| DOI | Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
Model checking mobile stochastic logic,
pages 42-70, Elsevier, 2007. |
| DOI | Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen.
Motor,
Volume 4424 of LNCS, pages 500-504, Springer, 2007. |
| DOI | Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde.
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata,
pages 391-396, IEEE Service Center, 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 | Tingting Han, Joost-Pieter Katoen.
Providing evidence of likely being on time,
Volume 4762 of LNCS, pages 331-346, Springer, 2007. |
| DOI | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
Replaying play in and play out,
Volume 4424 of LNCS, pages 435-450, Springer, 2007. |
| Joost-Pieter Katoen.
Stochastic model checking,
Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Three-Valued Abstraction for Continuous-Time Markov Chains,
Volume 4590 of LNCS, pages 311-324, Springer, 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 | Henrik Bohnenkamp, Axel Belinfante.
Timed model-based testing,
pages 115-128, Embedded Systems Institute, The Netherlands, 2007. |
| Full Text | Joost-Pieter Katoen, Thomas Noll, Stefan Rieger.
Verifying concurrent list-manipulating programs by LTL model checking,
Volume 2007,6 of Aachener Informatik-Berichte, pages 26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Full Text | Joost-Pieter Katoen, Thomas Noll, Stefan Rieger.
Verifying concurrent list-manipulating programs by LTL model checking,
pages 94-113, 2007. |
| 2006 |
| DOI | Erika Ábrahám, Andreas Grüner, Martin Steffen.
Abstract interface behavior of object-oriented languages with monitors,
Volume 4037 of LNCS, pages 218-232, Springer, 2006. |
| DOI | Klaus Indermark, Thomas Noll.
Algebraic correctness proofs for compiling recursive function definitions with strictness information,
pages 1-43, Springer, 2006. |
| DOI | Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann.
Automated Termination Analysis for Haskell,
Volume 4098 of LNCS, pages 297-312, Springer, 2006. |
| DOI | Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen.
Bounded model checking with parametric data structures,
pages 3-16, Elsevier, 2006. |
| Full Text | Tingting Han, Joost-Pieter Katoen.
Counterexamples in probabilistic model checking,
Volume 2006,9 of Aachener Informatik-Berichte, pages 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| DOI | Erika Ábrahám, Andreas Grüner, Martin Steffen.
Dynamic heap-abstraction for open, object-oriented systems with thread classes,
Volume 3988 of LNCS, pages 1-10, Springer, 2006. |
| DOI | Giuliana Franceschinis, Joost-Pieter Katoen, Murray Woodside.
Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST),
pages 529-530, IEEE, 2006. |
| Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen.
Memory-aware bounded model checking for linear hybrid systems,
pages 153-162, Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung, 2006. |
| DOI | Benedikt Bollig, Martin Leucker.
Message-passing automata are expressively equivalent to EMSO logic,
pages 150-172, Elsevier, 2006. |