| 2009 |
| DOI | Viet Yen Nguyen, Theo C. Ruys.
Memoised Garbage Collection for Software Model Checking,
Volume 5505 of LNCS, pages 232-249, Springer, 2009. |
| Full Text | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
Model-Based Codesign of Critical Embedded Systems,
Volume 507 of CEUR workshop proceedings, pages 87-91, RWTH Aachen, 2009. |
| DOI | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys.
MoonWalker,
Volume 5505 of LNCS, pages 170-173, Springer, 2009. |
| DOI | Taolue Chen, Tingting Han, Jian Lu.
On metrics for probabilistic systems,
pages 991-999, Pergamon Press, 2009. |
| Full Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Quantitative model checking of continuous-time Markov chains against timed automata specifications,
Volume 2009,2 of Aachener Informatik-Berichte, pages 50 S., RWTH Aachen, Department of Computer Science, 2009. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications,
pages 309-318, IEEE, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev.
Simulation-based CTMC Model Checking,
pages 31-40, IEEE, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
The COMPASS Approach,
Volume 5775 of LNCS, pages 173-186, Springer, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen.
The Ins and Outs of The Probabilistic Model Checker MRMC,
International Conference on Quantitative Evaluation of Systems-QEST, pages 167-176, IEEE, 2009. |
| Full Text | Martin R. Neuhäußer, Lijun Zhang.
Time-Bounded Reachability in Continuous-Time Markov Decision Processes,
Volume 2009,12 of Aachener Informatik-Berichte, pages 25 S., RWTH Aachen, Department of Computer Science, 2009. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen.
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction,
International Conference on Quantitative Evaluation of Systems-QEST, pages 133-142, IEEE, 2009. |
| Full Text | Sabrina von Styp.
Towards a theory for timed symbolic testing,
Volume 09-15 of Computing science reports, pages 39-45, TU, 2009. |
| DOI | Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, Norbert Berzen.
Towards an industrial strength process for timed testing,
pages 29-38, IEEE, 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
Verification and Performance Evaluation of AADL Models (Tool Demonstration),
pages 285-286, ACM, 2009. |
| Full Text | Stefan Rieger.
Verification of pointer programs,
pages 170 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 2009. |
| 2008 |
| DOI | Stefan Rieger, Thomas Noll.
Abstracting Complex Data Structures by Hyperedge Replacement,
Volume 5214 of LNCS, pages 69-83, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Abstraction for Stochastic Systems by Erlang's Method of Stages,
Volume 5201 of LNCS, pages 279-294, Springer, 2008. |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Abstraction for stochastic systems by Erlangs method of stages,
Volume 2008,12 of Aachener Informatik-Berichte, pages 27 S., RWTH Aachen, Department of Computer Science, 2008. |
| Full Text | Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker.
Angluin-Style Learning of NFA,
Volume LSV-08-28 of Research Report, pages 32 S., Ecole Normale Supérieure, 2008. |
| DOI | B. Neumann, T. von Sydow, Holger Blume, Tobias G. Noll.
Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs,
pages 129-143, Springer, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Approximate parameter synthesis for probabilistic time-bounded reachability,
pages 173-182, IEEE, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains,
Volume 4981 of LNCS, pages 244-258, Springer, 2008. |
| DOI | Thomas Noll, Bastian Schlich.
Delayed nondeterminism in model checking embedded systems assembly code,
Volume 4899 of LNCS, pages 185-201, Springer, 2008. |
| DOI | Lars Helge Haß, Thomas Noll.
Equational Abstractions for Reducing the State Space of Rewrite Theories,
pages 139-154, Elsevier, 2008. |
| DOI | Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, David N. Jansen.
Flow Faster,
pages 43 S., Department of Theoretical Computer Science, TU, 2008. |