| 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. |
| DOI | Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories, 139-154, Elsevier, 2008. |
| DOI | B. Neumann, T. Sydow, Holger Blume, Tobias G. Noll. Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs, 129-143, Springer, 2008. |
| 2007 |
|---|
| Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, 26 S., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems, 49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007. |
| Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional modeling and minimization of time-inhomogeneous Markov chains, 39 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen. Stochastic model checking, Stochastic hybrid systems : recent developments and research trends / edited by christos G. Cassandras and john lygeros, CRC, Taylor & Francis, 2007. |
| DOI | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT solving in bounded model checking, Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, bonn, germany, august 26-27, and august 31, 2006 ; revised selected papers / luboš brim; boudewijn haverkort; martin leucker; jaco van de pol (eds.), 301-315, Springer, 2007. |