| 2010 |
|---|
| DOI | Martin 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. |
| DOI | Joost-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. |
| DOI | Joost-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. |
| DOI | Joost-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. |
| DOI | Holger 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. |
| DOI | Jö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. |
| DOI | Marco 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. |
| DOI | Angelika 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. |
| DOI | Marijn 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. |
| DOI | Marco 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. |
| DOI | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs, 390-408, IEEE, 2010. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces, 76-85, Association for Computing Machinery, 2010. |
| DOI | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models, 1-36, Springer, 2010. |
| DOI | Alessandro 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. |
| 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. |
| DOI | Niels 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. |
| DOI | Marco 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. |
| DOI | Taolue 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. |