| 2013 |
|---|
| DOI | Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice,
CONCUR 2013 - concurrency theory : 24th international conference, CONCUR 2013, buenos aires, argentina, august 27 - 30, 2013 ; proceedings / pedro R. D'Argenio; hernán melgratti (ed.), 44-45, Springer, 2013. |
| DOI | Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata,
Quantitative evaluation of systems : 10th international conference, QEST 2013, buenos aires, argentina, august 27-30, 2013 ; proceedings / kaustubh joshi ... (ed.), 39-54, Springer, 2013. |
| Arpit Sharma. A Two Step Perspective for Kripke Structure Reduction,
SOFSEM 2013: Theory and practice of computer science : 39th conference on current trends in theory and practice of computer science : Špindlerův mlýn, czech republic, january 26-31, 2013 : proceedings. - Vol. 2, Institute of Computer Science AS CR, 2013. |
| DOI | Bernhard Ern, Viet Yen Nguyen, Thomas Noll. Characterization of Failure Effects on AADL Models,
Computer safety, reliability, and security : 32nd international conference, SAFECOMP 2013, toulouse, france, september 24-27, 2013 ; proceedings / friedemann bitsch ... (ed.), 241-252, Springer, 2013. |
| DOI | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. Lazy abstractions for timed automata,
Computer aided verification : 25th international conference, CAV 2013, saint petersburg, russia, july 13-19, 2013 ; proceedings / natasha sharygina ... (ed.), 990-1005, Springer, 2013. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. PRINSYS : - on a Quest for Probabilistic Loop Invariants,
Quantitative evaluation of systems : 10th international conference, QEST 2013, buenos aires, argentina, august 27-30, 2013 ; proceedings / kaustubh joshi ... (ed.), 172-187, Springer, 2013. |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems,
Proceedings of the 16th international conference on hybrid systems: Computation and control : April 8 - 11, 2013, philadelphia, PA, USA ; part of: CPSWeek 2013 / sponsored by: ACM SIGBED, 293-303, ACM, 2013. |
| DOI | Markus Bals, Christina Jansen, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars,
Proceedings : 2013 international symposium on theoretical aspects of software engineering : 1-3 july 2013, birmingham, united kingdom, 165-168, IEEE Computer Society, 2013. |
| DOI | Tim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code,
Hardware and software: verification and testing : 9th international haifa verification conference, HVC 2013, haifa, israel, november 5-7, 2013 ; proceedings / valeria bertacco; axel legay (eds.), 44-60, Springer, 2013. |
| DOI | Joost-Pieter Katoen. Model Checking Meets Probability : A Gentle Introduction,
Engineering dependable software systems. - 34, 177-205, IOS Press, 2013. |
| Viet Yen Nguyen. Trustworthy spacecraft design using formal methods,
187 S. : graph. Darst., Dep. of Computer Science, RWTH Aachen, 2013. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification,
21 Seiten, 2013. |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems,
191-232, Springer Science + Business Media B.V, 2013. |
| DOI | Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking for performability,
751-795, Cambridge Univ. Press, 2013. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata,
66-116, Academic Press [u.a.], 2013. |
| DOI | Viet Yen Nguyen, Theo C. Ruys. Selected Dynamic Issues in Software Model Checking,
337-362, Springer, 2013. |
| 2012 |
|---|
| DOI | Arpit Sharma. Weighted probabilistic equivalence preserves omega-regular properties,
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th international GI ITG conference ; MMB & DFT 2012, Kaiserslautern, Germany, March 19 - 21, 2012 ; proceedings / Jens B. Schmitt (ed.), 121-135, Springer, 2012. |
| Bart Theelen, Joost-Pieter Katoen, Hao Wu. Model checking of scenario-aware dataflow with cadp,
2012 design, automation & test in europe conference & exhibition (DATE 2012) : Dresden, germany, 12 - 16 march 2012 ; [proceedings] / [sponsored by: European design and automation association (EDAA) ...]. Ed.: K. Preas, 653-658, IEEE, 2012. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models,
Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the european joint conferences on theory and practice of software, ETAPS 2012, tallinn, estonia, march 24 - april 1, 2012 ; proceedings / cormac flanagan ... (eds.). - 2012, 299-314, Springer, 2012. |
| DOI | Joost-Pieter Katoen. Model Checking: One Can Do Much More Than You Think!,
Fundamentals of software engineering : 4th IPM international conference, FSEN 2011, tehran, iran, april 20-22, 2011; revised selected papers / farhad arbab ... (eds.), 1-14, Springer, 2012. |
| DOI | Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer. Quantitative Timed Analysis of Interactive Markov Chains,
NASA formal methods : 4th international symposium, NFM 2012, norfolk, VA, USA, april 3 - 5, 2012 ; proceedings / alwyn E. Goodloe; suzette person (ed.), 8-23, Springer, 2012. |
| DOI | Kamal Barakat, Stefan Kowalewski, Thomas Noll. A Native Approach to Modeling Timed Behavior in the Pi-Calculus,
IEEE sixth international symposium on theoretical aspects of software engineering : Beijing, china, 4 – 6 july 2012 ; proceedings / edited by tiziana margaria, zongyan qiu, and hongli yang, 253-256, IEEE, 2012. |
| DOI | Joost-Pieter Katoen, Jaco Pol, Mariëlle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata,
36-57, Elsevier, 2012. |
| DOI | Rémi Brochenin, Stéphane Demri, Etienne Lozes. On the almighty wand,
106-137, Elsevier, 2012. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems,
1-55, North-Holland, 2012. |