| 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. |
| DOI | Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, David N. Jansen. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations,
43 S., Department of Theoretical Computer Science, TU, 2008. |