Publications

2009
Martin R. Neuhäußer, Lijun Zhang. Time-Bounded Reachability in Continuous-Time Markov Decision Processes, 25 S., RWTH Aachen, Department of Computer Science, 2009.
Carsten Kern. Learning communicating and nondeterministic automata, 230 S. : graph. Darst., RWTH Aachen, Department of Computer Science, 2009.
Stefan Rieger. Verification of pointer programs, 170 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 2009.
Tingting Han. Diagnosis, synthesis and analysis of probabilistic models, XII, 191 S. : graph. Darst., Univ. Twente, 2009.
DOINiels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys. MoonWalker: Verification of .NET Programs, Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, york, UK, march 22-29, 2009 ; proceedings / stefan kowalewski; anna philippou (eds.), 170-173, Springer, 2009.
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, hamburg, germany, september 15-18, 2009 ; proceedings / bettina buth ... (eds.), 173-186, Springer, 2009.
DOITaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains, Automated technology for verification and analysis : 7th international symposium, ATVA 2009, macao, china, october 14 - 16, 2009; proceedings / zhiming liu ... (eds.), 104-119, Springer, 2009.
DOIJoost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, budapest, hungary, september 14 - 16, 2009; proceedings / joël ouaknine... (eds.), 195-211, Springer, 2009.
DOIMartin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, york, UK, march 22-29, 2009 ; proceedings / luca de alfaro (ed.), 364-379, Springer, 2009.
DOIViet Yen Nguyen, Theo C. Ruys. Memoised Garbage Collection for Software Model Checking, Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, york, UK, march 22-29, 2009 ; proceedings / stefan kowalewski; anna philippou (eds.), 232-249, Springer, 2009.
DOIRalf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, Norbert Berzen. Towards an industrial strength process for timed testing, International conference on software testing, verification and validation workshops, 2009: ICSTW '09 : April 1, 2009, denver, colorado, USA, 29-38, IEEE, 2009.
DOIMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language, Seventh ACM-IEEE international conference on formal methods and models for codesign (MEMOCODE 2009): Cambridge, massachusetts, july 13-15, 2009, 121-130, IEEE, 2009.
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA, Proceedings of the twenty-first international joint conference on artificial intelligence : Pasadena, california, USA, 11 - 17 july 2009 / sponsored by international joint conferences on artificial intelligence (IJCAI) and the association for the advancement of artificial intelligence (AAAI). Ed. by craig boutilier, 1004-1009, AAAI Press [u.a.], 2009.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems, Workshop proceedings / ACES-MB 2009 : Proceedings of the 2nd international workshop on model based architecting and construction of embedded systems (ACES-MB 2009) ; held as part of the 2009 international conference on model driven engineering languages and systems (MoDELS'09) ; denver, colorado, USA, october 6, 2009 / ed. by stefan van baelen ..., 87-91, RWTH Aachen, 2009.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration), ESEC-FSE’09 : Proceedings of the joint 12th european software engineering conference and 17th ACM SIGSOFT symposium on the foundations of software engineering ; august 24–28, 2009, amsterdam, the netherlands / spons. by: ACM SIGSOFT, 285-286, ACM, 2009.
DOITaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 2009 24th annual IEEE symposium on logic in computer science : LICS 2009 ; los angeles, california, USA, 11 - 14 august 2009 / [sponsored by IEEE computer society technical committee on mathematical foundations of computing], 309-318, IEEE, 2009.
DOIMarijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling, 2009 IEEE/IFIP international conference on dependable systems & networks : (DSN 2009) ; lisbon, portugal, 29 june - 2 july 2009 ; [featuring ... the dependable computing and communications symposium (DCCS) and the performance and dependability symposium (PDS)] / [sponsored by: IEEE computer society technical committee on dependable computing and fault tolerance; WG 10.4 on dependable computing and fault tolerance], 63-72, IEEE, 2009.
DOIJoost-Pieter Katoen, Ivan S. Zapreev. Simulation-based CTMC Model Checking: An Empirical Evaluation, QUEST 2009 : Sixth international conference on the quantitative evaluation of systems ; proceedings ; budapest, hungary, 13-16 september, 2009 / editorial production by silvia ceballos, 31-40, IEEE, 2009.
Sabrina Styp. Towards a theory for timed symbolic testing, Proceedings of formal methods 2009 : Doctoral symposium ; november 6, 2009 eindhoven, the netherlands / MohammadReza mousavi and emil sekerinski, eds., 39-45, TU, 2009.
DOIDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, Sixth international conference on the quantitative evaluation of systems, 2009 : QEST '09 ; 13 - 16 sept. 2009, budapest, hungary ; proceedings / organized ... by the technical university of budapest, 133-142, IEEE, 2009.
DOIJoost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of The Probabilistic Model Checker MRMC, Sixth international conference on the quantitative evaluation of systems, 2009 : QEST '09 ; 13 - 16 sept. 2009, budapest, hungary ; proceedings / organized ... by the technical university of budapest, 167-176, IEEE, 2009.
DOITingting Han, Joost-Pieter Katoen, Berteun Damman. Counterexample Generation in Probabilistic Model Checking, 241-257, IEEE, 2009.
DOITaolue Chen, Tingting Han, Jian Lu. On metrics for probabilistic systems : Definitions and algorithms, 991-999, Pergamon Press, 2009.
2008
Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing, 27 S., RWTH Aachen, Department of Computer Science, 2008.
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA, 32 S., Ecole Normale Supérieure, 2008.