| 2008 |
|---|
| Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA,
32 S., Ecole Normale Supérieure, 2008. |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - the Smyle modeling approach,
26 S., TU, 2008. |
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlangs method of stages,
27 S., RWTH Aachen, Department of Computer Science, 2008. |
| DOI | Thomas Noll, Bastian Schlich. Delayed nondeterminism in model checking embedded systems assembly code,
Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings / Karen Yorav (ed.), 185-201, Springer, 2008. |
| Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes,
Logic and automata : history and perspectives / ed. by Jörg Flum ..., 53-72, Amsterdam Univ. Pr., 2008. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning,
CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings / Franck van Breugel; Marsha Cherchik (eds.), 162-166, Springer, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains,
Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings / Magnus Egerstedt; Bud Mishra (eds.), 244-258, Springer, 2008. |
| DOI | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison,
Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings / Karen Yorav (ed.), 69-85, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages,
CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings / Franck van Breugel; Marsha Cherchik (eds.), 279-294, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains,
Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 ; proceedings / Franck Cassez; Claude Jard (eds.), 203-217, Springer-Verlag, 2008. |
| DOI | Viet Yen Nguyen, Theo C. Ruys. Incremental Hashing for SPIN,
Model checking software : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 ; proceedings / Klaus Havelund; Rupak Majumdar; Jens Palsberg (eds.), 232-249, Springer, 2008. |
| DOI | Thomas Noll, Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads,
FM 2008: formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 ; proceedings / Jorge Cuellar ... (eds.), 84-99, Springer, 2008. |
| DOI | Stefan Rieger, Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement,
Graph transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / Hartmut Ehrig; Reiko Heckel; Grzegorz Rozenberg; Gabriele Taentzer (eds.), 69-83, Springer, 2008. |
| Christel Baier, Joost-Pieter Katoen. Principles of model checking,
XVII, 975 S.. : graph. Darst., MIT Press, 2008. |
| Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing,
Embedded Systems Week 2008 : CODES + ISSS'08, CASES'08, EMSOFT'08 ; October 19 - 24, 2008, Atlanta, Georgia, USA / sponsored by IEEE Council on Electronic Design Automation ..., 227-236, ACM, 2008. |
| DOI | Manuela Bujorianu, Joost-Pieter Katoen. Symmetry reduction for stochastic hybrid systems,
2008 47th IEEE Conference on Decision and Control : CDC ; Cancun, Mexico, 9 - 11 December 2008. - T. 1, 233-238, IEEE, 2008. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata,
Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering : June 17 - 19 2008, Nanjing, China / sponsored by IEEE Computer Society; IFIP; Nanjing University, 177-184, IEEE, 2008. |
| DOI | Berteun Damman, Tingting Han, Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples,
Quantitative evaluation of systems : QEST 2008, [fifth edition of the International Conference on Quantitative Evaluation of Systems] ; proceedings ; 14 - 17 September 2008, St. Malo, France / organized by INRIA Rennes, Bretagne - Atlantique, 179-188, IEEE, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability,
Proceedings / 2008 Real-Time Systems Symposium, RTSS 2008 : 30 November - 3 December 2008, Barcelona, Spain / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems, 173-182, IEEE, 2008. |
| DOI | Joost-Pieter Katoen. How to model and analyze gossiping protocols?,
SIGMETRICS'08 : proceedings of the 2008 International Conference on Measurement & Modeling of Computer Systems ; June 2 - 6, 2008, Annapolis, Maryland, USA / [Zhen Liu, general chair], 3-6, ACM, 2008. |
| DOI | Joost-Pieter Katoen. Perspectives in Probabilistic Verification,
Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering : June 17 - 19 2008, Nanjing, China / sponsored by IEEE Computer Society; IFIP; Nanjing University, 3-10, IEEE, 2008. |
| DOI | Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques,
Design, automation and test in Europe, 2008 : DATE '08 ; Munich, Germany, 10 - 14 March 2008 / sponsored by EDAA .... - Vol. 1, 86-87, IEEE Service Center, 2008. |
| DOI | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift,
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress [WCC 2008], TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy / ed. by Giorgio Ausiello ..., 537-553, Springer, 2008. |
| DOI | Helga Velroyen, Philipp Rummer. Non-termination checking for imperative programs,
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9 - 11, 2008 ; proceedings / Bernhard Beckert; Reiner Hähnle (eds.), 154-170, Springer, 2008. |
| DOI | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll. Proving correctness of an efficient abstraction for interrupt handling,
133-150, Elsevier Science, 2008. |