| 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 | 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 | Eric Bodden, Volker Stolz.
Tracechecks,
Volume 4089 of LNCS, pages 147-162, SPIE [u.a.], 2006. |
| DOI | Taolue Chen, Tingting Han, Jian Lu.
On the Markovian randomized strategy of controller for Markov decision processes,
Volume 4223 of LNCS, pages 149-158, Springer, 2006. |
| DOI | Klaus Indermark, Thomas Noll.
Algebraic correctness proofs for compiling recursive function definitions with strictness information,
pages 1-43, Springer, 2006. |
| DOI | Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen.
MoDeST,
pages 812-830, IEEE, 2006. |
| DOI | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen.
YMCA,
pages 107-112, Elsevier, 2006. |
| DOI | Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink.
Towards a logic for performance and mobility,
pages 161-175, Elsevier, 2006. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev.
Safe on-the-fly steady-state detection for time-bounded reachability,
pages 301-310, IEEE Computer Society, 2006. |
| DOI | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen.
Probably on time and within budget,
pages 311-320, IEEE Computer Society, 2006. |
| Full Text | Thomas Noll, Stefan Rieger.
Optimization of straight-line code revisited,
GI, 2006. |
| DOI | Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen.
Bounded model checking with parametric data structures,
pages 3-16, Elsevier, 2006. |
| DOI | Benedikt Bollig, Martin Leucker.
Message-passing automata are expressively equivalent to EMSO logic,
pages 150-172, Elsevier, 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. |
| 2005 |
| DOI | .
Model-based testing of reactive systems: advanced lectures,
Volume 3472 of LNCS, pages VIII, 659 S.. : graph. Darst., Springer, 2005. |
| DOI | .
Equational abstractions for model checking Erlang programs,
pages 145-162, Elsevier Science, 2005. |
| DOI | Henrik Bohnenkamp, Axel Belinfante.
Timed testing with TorX,
Volume 3582 of LNCS, pages 173-188, Springer, 2005. |
| DOI | Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen.
Are you still there?,
pages 704-709, IEEE Computer Society, 2005. |
| DOI | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev.
A Markov reward model checker,
pages 243-244, IEEE Computer Society, 2005. |
| Thomas Noll, Chanchal Kumar Roy.
Modeling Erlang in the pi-Calculus,
pages 72-77, ACM Press, 2005. |
| Thomas Noll, Chanchal Kumar Roy.
Towards automatic verification of Erlang programs by pi-calculus translation,
pages 38-50, ACM Press, 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. |
| Full Text | Carsten Kern.
Analysis and imlementations of MSC specifications,
Volume 05-29 of Technische universiteit eindhoven: Computer Science-Report, pages 55-61, TU, 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, 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. |