Publications

2010
DOIBenedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon. libalf: The Automata Learning Framework, Computer aided verification : 22nd international conference, CAV 2010, edinburgh, UK, july 15-19, 2010 ; proceedings / tayssir touili; byron cook; paul jackson (eds.), 360-364, Springer, 2010.
DOIErika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction, Proceedings / seventh international conference on the quantitative evaluation of systems : QEST 2010 ; 15-18 september 2010, williamsburg, virginia, USA / organized by department of computer science, college of william and mary, 37-46, IEEE Computer Society, 2010.
DOIFalko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, Computer performance engineering : 7th european performance engineering workshop, EPEW 2010, bertinoro, italy, september 23-24, 2010 ; proceedings / alessandro aldini; marco bernardo; luciano bononi; vittorio cortellessa (eds.), 115-130, Springer, 2010.
DOILijun Zhang, Martin R. Neuhäußer. Model Checking Interactive Markov Chains, Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as part of the joint european conference on theory and practice of software, ETAPS 2010, paphos, cyprus, march 20-28, 2010 ; proceedings / javier esparza; rupak majumdar (eds.), 53-68, Springer, 2010.
DOIHaidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption, Analytical and stochastic modeling techniques and applications : 17th international conference, ASMTA 2010, cardiff, UK, june 14-16, 2010 ; proceedings / khalid al-begain; dieter fiems; william J. Knottenbelt (eds.), 247-261, Springer, 2010.
DOIHaidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen. Analyzing Energy Consumption in a Gossiping MAC Protocol, Measurement, modelling and evaluation of computing systems and dependability in fault tolerance : 15th international GI/ITG conference, MMB&DFT 2010, essen, germany, march 15-17, 2010 ; proceedings / bruno müller-clostermann; klaus echtle; erwin P. Rathgeb (eds.), 107-119, Springer, 2010.
DOISabrina Styp, Henrik Bohnenkamp, Julien Schmaltz. A Conformance Testing Relation for Symbolic Timed Automata, Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, klosterneuburg, austria, september 8-10, 2010 ; proceedings / krishnendu chatterjee; thomas a. Henzinger (eds.), 243-255, Springer, 2010.
DOIMartin R. Neuhäußer, Lijun Zhang. Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes, Proceedings / seventh international conference on the quantitative evaluation of systems : QEST 2010 ; 15-18 september 2010, williamsburg, virginia, USA / organized by department of computer science, college of william and mary, 209-218, IEEE Computer Society, 2010.
DOIJoost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods, Static analysis : 17th international symposium, SAS 2010, perpignan, france, september 14-16, 2010 ; proceedings / radhia cousot; matthieu martel (eds.), 390-406, Springer, 2010.
DOIJoost-Pieter Katoen. Advances in Probabilistic Model Checking, Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, madrid, spain, january 17-19, 2010 ; proceedings / gilles barthe; manuel hermenegildo (eds.), 25, Springer, 2010.
DOIJoost-Pieter Katoen, Jaco Pol, Marielle Stoelinga, Mark Timmer. A Linear Process Algebraic Format for Probabilistic Systems with Data, Tenth international conference on application of concurrency to system design : ACSD 2010 , 21 - 25 june, braga, portugal ; proceedings / ed. by luis gomes ..., 213-222, IEEE Computer Soc., 2010.
DOIHolger Hermanns, Joost-Pieter Katoen. The How and Why of Interactive Markov Chains, Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 ; revised selected papers / Frank S. de Boer ... (eds.), 311-337, Springer, 2010.
DOIJörg Brauer, Thomas Noll, Bastian Schlich. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software, SCOPES '10 proceedings of the 13th international workshop on software & compilers for embedded systems : St. Goar, germany - june 29-30, 2010, ACM, 2010.
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL, Computer aided verification : 22nd international conference, CAV 2010, edinburgh, UK, july 15-19, 2010 ; proceedings / tayssir touili; byron cook; paul jackson (eds.), 562-565, Springer, 2010.
Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll. Loop Refinement using Octagons and Satisfiability, SSV'10 : Proceedings of the 5th international conference on Systems software verification, 9 S., ACM, 2010.
DOIAngelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns. Synthesis and Stochastic Assessment of Cost-Optimal Schedules, 305-318, Springer, 2010.
DOIMarijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems, 276-286, IEEE, 2010.
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models, Univ. Press, 2010.
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA: The Smyle Modeling Approach, 45-72, VEDA, Slov. Akad. Vied, 2010.
DOIBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs, 390-408, IEEE, 2010.
DOIChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces, 76-85, Association for Computing Machinery, 2010.
DOIChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models, 1-36, Springer, 2010.
DOIAlessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate model checking of stochastic hybrid systems, 624-641, Hermes [u.a.], 2010.
2009
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications, 50 S., RWTH Aachen, Department of Computer Science, 2009.
Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, 32 S., RWTH Aachen, Department of Computer Science, 2009.