| 2007 |
| DOI | Thomas Noll, Stefan Rieger.
Composing Transformations to Optimize Linear Code,
Volume 4711 of LNCS, pages 425-439, Springer, 2007. |
| DOI | Martin R. Neuhäußer, Joost-Pieter Katoen.
Bisimulation and logical preservation for continuous-time Markov decision processes,
Volume 4703 of LNCS, pages 412-427, Springer, 2007. |
| DOI | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen.
Flow faster,
Volume 4424 of LNCS, pages 155-169, Springer, 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. |
| DOI | Tingting Han, Joost-Pieter Katoen.
Providing evidence of likely being on time,
Volume 4762 of LNCS, pages 331-346, Springer, 2007. |
| DOI | Joost-Pieter Katoen.
Abstraction of probabilistic systems,
Volume 4763 of LNCS, pages 1-3, Springer, 2007. |
| DOI | Tingting Han, Joost-Pieter Katoen.
Counterexamples in probabilistic model checking,
Volume 4424 of LNCS, pages 72-86, 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. |
| 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. |
| DOI | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen.
Bisimulation minimisation mostly speeds up probabilistic model checking,
Volume 4424 of LNCS, pages 87-101, 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 | 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 | Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
Model checking mobile stochastic logic,
pages 42-70, Elsevier, 2007. |
| DOI | Martin R. Neuhäußer, Thomas Noll.
Abstraction and model checking of core Erlang programs in Maude,
pages 147-163, Elsevier, 2007. |
| 2006 |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
Replaying play in and play out,
Volume 2006,12 of Aachener Informatik-Berichte, pages 26 Bl. : graph. Darst., 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. |
| Full Text | Michael Weber.
Parallel algorithms for verification of large systems,
Volume 2006,2 of Aachener Informatik-Berichte, pages II, 133 S. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| Full Text | Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns.
Synthesis and stochastic assessment of cost-optimal schedules,
2006. |
| DOI | Dino Distefano, Joost-Pieter Katoen, Arend Rensink.
Safety and liveness in concurrent pointer programs,
Volume 4111 of LNCS, pages 280-312, Springer, 2006. |
| DOI | Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz.
MSCan,
Volume 3920 of LNCS, pages 455-458, Springer, 2006. |
| DOI | Thomas Noll, Chanchal Kumar Roy.
Towards automatic verification of Erlang programs by pi-calculus translation,
pages 38-50, ACM, 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 | 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. |