Publications

2011
DOIUlrich Loup, Erika Ábrahám. GiNaCRA: A C++ Library for Real Algebraic Computations, NASA formal methods : third international symposium, NFM 2011, pasadena, CA, USA, april 18-20, 2011 ; proceedings / mihaela bobaru ... (eds.), 512-517, Springer, 2011.
DOIAlessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, HSCC'11 : proceedings of the 14th ACM international conference on hybrid systems:computation and control; april 12 - 14, 2011, chicago, illinois, USA, 83-92, ACM Press, 2011.
DOIBenoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives, Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the joint european conference on theory and practice of software, ETAPS 2011, saarbrücken, germany, march 26-april 3, 2011 ; proceedings / parosh aziz abdulla; K. Rustan M. Leino (eds.), 128-142, Springer, 2011.
DOIBenoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, austin, TX, USA, january 23-25, 2011 ; proceedings / ranjit jhala; david schmidt (eds.), 324-339, Springer, 2011.
DOIChristina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Language and automata theory and applications : 5th international conference, LATA 2011, tarragona, spain, may 26-31, 2011 ; proceedings / adrian-horia dediu ... (eds.), 323-335, Springer, 2011.
DOITaolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre. Reachability probabilities in markovian timed automata, 2011 50th IEEE conference on decision and control and european control conference : (CDC-ECC 2011) ; orlando, florida, USA, 12 - 15 december 2011 / [IEEE control systems society (CSS); european union control association (EUCA)], 7075-7080, IEEE, 2011.
DOIJoël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell. Static livelock analysis in csp, CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, aachen, germany, september 6-9, 2011 ; proceedings / joost-pieter katoen; barbara könig (eds.), 389-403, Springer, 2011.
DOIHakjoo Oh, Lucas Brutschy, Kwangkeun Yi. Access Analysis-based Tight Localization of Abstract Memories, Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, austin, TX, USA, january 23-25, 2011 ; proceedings / ranjit jhala; david schmidt (eds.), 356-370, Springer, 2011.
DOIBettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking, Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, reykjavik, island, june 6-9, 2011 ; ; proceedings / roberto bruni; juergen dingel (eds.), 75-89, Springer, 2011.
DOINils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical counterexamples for discrete-time markov chains, Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, taipei, taiwan, october 11-14, 2011 ; proceedings / tevfik bultan; pao-ann hsiung (eds.), 443-452, Springer [u.a.], 2011.
Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems, 204-205, PS, PublicService.co.uk Ltd, 2011.
DOITaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 12, Department of Theoretical Computer Science, Technical University of Braunschweig, 2011.
DOIJoost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC, 90-104, Elsevier, 2011.
DOIDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, 105-125, Elsevier, 2011.
DOIHongfei Fu. Model Checking EGF on Basic Parallel Processes, Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, taipei, taiwan, october 11-14, 2011 ; proceedings / tevfik bultan; pao-ann hsiung (eds.), 120-134, Springer [u.a.], 2011.
Jonathan Heinen, Christina Jansen. Juggrnaut - An Abstract JVM, Formal verification of object-oriented software. Papers presented at the 2nd international conference, october 5-7, 2011, turin, italy, 226-243, Karlsruhe Institute of Technology, 2011.
DOIHongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011) [elektronische ressource] / indian association for research in computing science (IARCS). Hrsg.: Supratik chakraborty ; amit kumar, 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.
DOIAlessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems, [Proceedings 18th IFAC world congress 2011 : Università cattolica del sacro cuore, milano, italy / conference editor: Bittanti, sergio, cenedese, angelo, zampieri, sandro], 4519-4524, 2011.
DOIYuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective, Proceedings, fourth IEEE international conference on space mission challenges for information technology : SMC-IT 2011 : 2-4 august 2011, palo alto, california, USA, 18-25, IEEE CS Press, 2011.
DOIHaidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha, Smart spaces and next generation wired/wireless networking : 11th international conference, NEW2AN 2011 and 4th conference on smart spaces, RuSMART 2011, st. Petersburg, russia, august 22-15, 2011 ; proceedings / sergey balandin; yevgeni koucheryavy; honglin hu (eds.). - Pt. II, 197-208, Springer, 2011.
DOIGustavo Quirós Araya. Static byte-code analysis for state space reduction, VIII, 101 S., Publikationsserver der RWTH Aachen University, 2011.
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. SMT-based Counterexample Generation for Markov Chains, Methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen : 14. MBMV workshop : 21. - 23.2.2011 in oldenburg ; tagungsband / GI; VDE ... frank oppenheimer (hrsg.), 19-28, OFFIS, 2011.
DOIFrédéric Herbreteau, B. Srivathsan. Coarse abstractions make Zeno behaviours difficult to detect, 2011.
2010
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata, 40 S., RWTH Aachen, Department of Computer Science, 2010.
Daniel Klink. Three-valued abstraction for stochastic systems, VIII, 223 S. : graph. Darst., Hut, 2010.