| 2006 |
| DOI | Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen.
MoDeST,
pages 812-830, IEEE, 2006. |
| DOI | Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz.
MSCan,
Volume 3920 of LNCS, pages 455-458, Springer, 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. |
| Full Text | Thomas Noll, Stefan Rieger.
Optimization of straight-line code revisited,
GI, 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. |
| DOI | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen.
Probably on time and within budget,
pages 311-320, IEEE Computer Society, 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. |
| 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 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink.
Safety and liveness in concurrent pointer programs,
Volume 4111 of LNCS, pages 280-312, Springer, 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 | Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink.
Towards a logic for performance and mobility,
pages 161-175, Elsevier, 2006. |
| DOI | Thomas Noll, Chanchal Kumar Roy.
Towards automatic verification of Erlang programs by pi-calculus translation,
pages 38-50, ACM, 2006. |
| DOI | Eric Bodden, Volker Stolz.
Tracechecks,
Volume 4089 of LNCS, pages 147-162, SPIE [u.a.], 2006. |
| DOI | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen.
YMCA,
pages 107-112, Elsevier, 2006. |
| 2005 |
| DOI | Frank S. de Boer, Marcello Bonsangue, Martin Steffen, Erika Ábrahám.
A Fully Abstract Trace Semantics for UML Components,
Volume 3657 : Tutorial of LNCS, pages 49-69, Springer, 2005. |
| DOI | Benedikt Bollig, Martin Leucker.
A hierarchy of implementable MSC languages,
Volume 3731 of LNCS, pages 53-67, Springer, 2005. |
| DOI | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev.
A Markov reward model checker,
pages 243-244, IEEE Computer Society, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen.
A theory of stochastic systems. Part I,
pages 1-38, Elsevier, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen.
A theory of stochastic systems. Part II,
pages 39-74, Elsevier, 2005. |
| DOI | Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen.
An Assertion-Based Proof System for Multithreaded Java,
pages 251-290, Elsevier, 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 | Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen.
Are you still there?,
pages 704-709, IEEE Computer Society, 2005. |
| DOI | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf.
Comparative branching-time semantics for Markov chains,
pages 149-214, Elsevier, 2005. |
| Erika Ábrahám, Andreas Grüner, Martin Steffen.
Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes,
Volume RR-05-04 of Research report / Queen Mary, University of London, Department of Computer Science, pages 47-61, Queen Mary, University of London, Department of Computer Science, 2005. |
| DOI | .
Equational abstractions for model checking Erlang programs,
pages 145-162, Elsevier Science, 2005. |