| 2005 |
| DOI | Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber.
Functional programming languages for verification tools,
pages 184-194, Springer, 2005. |
| DOI | Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen.
Inductive Proof Outlines for Exceptions in Multithreaded Java,
Volume 159 of Electronic notes in theoretical computer science, pages 281-297, Elsevier, 2005. |
| DOI | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan.
Model checking Markov reward models with impulse rewards,
pages 722-731, IEEE Computer Society, 2005. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Model checking meets performance evaluation,
pages 10-15, Association for Computing Machinery, 2005. |
| DOI | .
Model-based testing of reactive systems: advanced lectures,
Volume 3472 of LNCS, pages VIII, 659 S.. : graph. Darst., Springer, 2005. |
| Thomas Noll, Chanchal Kumar Roy.
Modeling Erlang in the pi-Calculus,
pages 72-77, ACM Press, 2005. |
| DOI | Erika Ábrahám, Marcello Bonsangue, Frank S. de Boer, Martin Steffen.
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes,
Volume 3407 of LNCS, pages 37-51, Springer, 2005. |
| DOI | Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Andreas Grüner, Martin Steffen.
Observability, Connectivity, and Replay in a Sequential Calculus of Classes,
Volume 3657 : Tutorial of LNCS, pages 296-316, Springer, 2005. |
| DOI | Benedikt Bollig.
On the expressiveness of asynchronous cellular automata,
Volume 3623 of LNCS, pages 528-539, Springer, 2005. |
| DOI | Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen.
Optimizing Bounded Model Checking for Linear Hybrid Systems,
Volume 3385 of LNCS, pages 396-412, Springer, 2005. |
| DOI | Henrik Bohnenkamp, Axel Belinfante.
Timed testing with TorX,
Volume 3582 of LNCS, pages 173-188, Springer, 2005. |
| Thomas Noll, Chanchal Kumar Roy.
Towards automatic verification of Erlang programs by pi-calculus translation,
pages 38-50, ACM Press, 2005. |
| 2003 |
| DOI | Benedikt Bollig, Martin Leucker.
Deciding LTL over Mazurkiewicz traces,
North-Holland, 2003. |
| DOI | Benedikt Bollig, Martin Leucker.
Model checking probabilistic distributed systems,
Volume 2896 of LNCS, pages 291-304, Springer, 2003. |
| 2002 |
| DOI | Markus Mohnen.
A graph-free approach to data-flow analysis,
Volume 2304 of LNCS, pages 46-61, Springer, 2002. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Automated performance and dependability evaluation using model checking,
Volume 2459 of LNCS, pages 261-289, Springer, 2002. |
| DOI | Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter.
Enabling network caching of dynamic Web objects,
Volume 2324 of LNCS, pages 329-338, Springer, 2002. |
| DOI | Benedikt Bollig, Martin Leucker, Philipp Lucas.
Extending compositional message sequence graphs,
Volume 2514 of LNCS, pages 68-85, Springer, 2002. |
| DOI | Benedikt Bollig, Martin Leucker, Thomas Noll.
Generalised regular MSC languages,
Volume 2303 of LNCS, pages 52-66, Springer, 2002. |
| DOI | .
Implementation of functional languages,
Volume 2312 of LNCS, pages VI, 185 S. : graph. Darst., Springer, 2002. |
| Frank Günter Huch, Volker Stolz.
Implementation of port-based distributed Haskell,
Volume 2312 of LNCS, Springer, 2002. |
| DOI | Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort.
Introduction to the special section on Petri Nets and Performance Models,
pages 913-914, IEEE, 2002. |
| Frank Günter Huch.
Model checking Erlang programs,
Volume 2312 of LNCS, Springer, 2002. |
| DOI | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier.
Model checking performability properties,
pages 103-112, IEEE Computer Society, 2002. |
| 2001 |
| DOI | Thomas Noll.
A rewriting logic implementation of Erlang,
pages 206-224, Elsevier Science, 2001. |