Publications

2008
DOILars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories, 139-154, Elsevier, 2008.
DOIB. 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.
DOIErika Á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.
DOIHenrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor : the MoDeST tool environment, Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the joint european conferences on theory and practice of software, ETAPS 2007, braga, portugal, march 24 - april 1, 2007 ; proceedings / orna grumberg ... (eds.), 500-504, Springer, 2007.
DOIThomas Noll, Stefan Rieger. Composing Transformations to Optimize Linear Code, Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, macao, china, september 26-28, 2007 ; proceedings / cliff B. Jones ... (eds.), 425-439, Springer, 2007.
DOIMartin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, lisbon, portugal, september 3-8, 2007 ; proceedings / luís caires ... (eds.), 412-427, Springer-Verlag, 2007.
DOILijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. Flow faster : efficient decision algorithms for probabilistic simulations, Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the joint european conferences on theory and practice of software, ETAPS 2007, braga, portugal, march 24 - april 1, 2007 ; proceedings / orna grumberg ... (eds.), 155-169, Springer, 2007.
DOIJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains, Computer aided verification : 19th international conference, CAV 2007, berlin, germany, july 3 - 7, 2007 ; proceedings / werner damm ... (eds.), 311-324, Springer, 2007.
DOITingting Han, Joost-Pieter Katoen. Providing evidence of likely being on time : counterexample generation for CTMC model checking, Automated technology for verification and analysis : 5th international symposium, ATVA 2007, tokyo, japan, october 22-25, 2007 ; proceedings / kedar S. Namjoshi ... (eds.), 331-346, Springer, 2007.
DOIJoost-Pieter Katoen. Abstraction of probabilistic systems, Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, salzburg, austria, october 3-5, 2007 ; proceedings / jean françois raskin ... (eds.), 1-3, Springer, 2007.
DOITingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the joint european conferences on theory and practice of software, ETAPS 2007, braga, portugal, march 24 - april 1, 2007 ; proceedings / orna grumberg ... (eds.), 72-86, Springer, 2007.
DOIBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning, Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the joint european conferences on theory and practice of software, ETAPS 2007, braga, portugal, march 24 - april 1, 2007 ; proceedings / orna grumberg ... (eds.), 435-450, Springer, 2007.
Henrik Bohnenkamp, Axel Belinfante. Timed model-based testing, Tangram: model-based integration and testing of complex high-tech systems : a collaborative research project for multi-disciplinary design of high-tech systems / ed.: Jan Tretmans, 115-128, Embedded Systems Institute, The Netherlands, 2007.
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, 26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007.
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, HAV 2007 : Workshop on heap analysis and verification, march 25, 2007, braga, portugal ; [informal proceedings], 94-113, 2007.
DOIJoost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking, Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the joint european conferences on theory and practice of software, ETAPS 2007, braga, portugal, march 24 - april 1, 2007 ; proceedings / orna grumberg ... (eds.), 87-101, Springer, 2007.
DOIMarc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata, 2007 IEEE design and diagnostics of electronic circuits and systems : Krakow, Poland, 11 - 13 April 2007, 391-396, IEEE Service Center, 2007.
DOIG. Kappen, S. Bahri, O. Priebe, Tobias G. Noll. Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers, 2007 IEEE international conference on application-specific systems, architectures and processors : Montréal, QC, canada, 9 - 11 july 2007, 296-301, IEEE, 2007.
DOIRocco Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink. Model checking mobile stochastic logic, 42-70, Elsevier, 2007.
DOIMartin R. Neuhäußer, Thomas Noll. Abstraction and model checking of core Erlang programs in Maude, 147-163, Elsevier, 2007.
2006
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning, 26 Bl. : graph. Darst., 2006.