| 2011 |
|---|
| DOI | Hakjoo 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. |
| DOI | Bettina 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. |
| DOI | Nils 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. |
| DOI | Taolue 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. |
| DOI | Joost-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. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, 105-125, Elsevier, 2011. |
| DOI | Hongfei 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. |
| DOI | Hongfei 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. |
| DOI | Alessandro 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. |
| DOI | Yuri 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. |
| DOI | Haidi 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. |
| DOI | Gustavo 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. |
| DOI | Fré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. |
| DOI | Benedikt 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. |
| DOI | Erika Á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. |
| DOI | Falko 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. |
| DOI | Lijun 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. |
| DOI | Haidi 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. |
| DOI | Haidi 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. |
| DOI | Sabrina 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. |