| 2012 |
|---|
| DOI | Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered Reasoning for Randomized Distributed Algorithms,
477-496, 2012. |
| DOI | Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems : The ESA COMPASS Project,
42, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2012. |
| DOI | Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz. Efficient emptiness check for timed Büchi automata,
122-146, Springer [u.a.], 2012. |
| DOI | Balaguru Srivathsan, Igor Walukiewicz. An alternate proof of Statman's finite completeness theorem,
612-616, Elsevier, 2012. |
| Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes; extended version,
2012. |
| DOI | Jonathan Heinen, Christina Jansen, Henrik Barthels. Juggrnaut - An Abstract JVM,
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5 - 7, 2011 ; revised selected papers / Bernhard Beckert ... (eds.), 142-159, Springer [u.a.], 2012. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco Pol, Marielle Stoelinga. Efficient Modelling and Generation of Markov Automata,
CONCUR 2012 - concurrency theory : 23rd international conference, CONCUR 2012, newcastle upon tyne, september 4 - 7, 2012 ; proceedings / maciej koutny ... (eds.), 364-379, Springer [u.a.], 2012. |
| DOI | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen. Robust PCTL Model Checking,
Proceedings of the 15th international conference on hybrid systems: Computation and control : April 17 - 19, 2012, beijing, china / sponsored by: ACM SIGBED, 275-286, ACM, 2012. |
| DOI | Hongfei Fu. Computing Game Metrics on Markov Decision Processes,
Automata, languages, and programming : 39th international colloquium, ICALP 2012, warwick, UK, july 9 - 13, 2012 ; proceedings / artur czumaj; kurt mehlhorn; andrew pitts; roger wattenhofer (eds.). - Pt. 2, 227-238, Springer, 2012. |
| DOI | Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite,
2012 34th international conference on software engineering (ICSE 2012) : [Sustainable software for a sustainable world] ; zurich, switzerland, 2 - 9 june 2012 / [conference sponsors: IEEE computer society technical council on software engineering, TCSE; ACM special interest group on software engineering, SIGSOFT ... ed. by martin glinz ...], 1022-1031, IEEE, 2012. |
| DOI | Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata,
Theoretical computer science : 7th IFIP TC1/WG 2.2 international conference, TCS 2012, amsterdam, the netherlands, september 26 - 28, 2012 ; proceedings / jos C. M. Baeten ... (eds.), 325-341, Springer, 2012. |
| DOI | Joost-Pieter Katoen. GSPNs Revisited: Simple Semantics and New Analysis Algorithms,
12th international conference on application of concurrency to system design - ACSD 2012, hamburg, june 25-29, 2012, 6-12, IEEE, 2012. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language,
2012 ninth international conference on quantitative evaluation of systems (QEST), london, UK 17-20 september 2012,, 168-177, IEEE CS Press, 2012. |
| DOI | Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz. Better abstractions for timed automata,
2012 27th annual IEEE symposium on logic in computer science (LICS), 25-28 june, dubrovnik, croatia, 375-384, IEEE Computer Society, 2012. |
| DOI | Etienne Lozes, Florent Jacquemard, Jules Villard, Ralf Treinen. Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus,
Theory of security and applications : joint workshop, TOSCA 2011, saarbrücken, germany, march 31 - april 1, 2011 ; revised selected papers / sebastian mödersheim; catuscia palamidessi (eds.), 166-185, Springer [u.a.], 2012. |
| Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties,
Methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen : MBMV 2012 ; [15. Workshop methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen ... im märz 2012 an der technischen universität kaiserslautern] / jens brandt ... (hrsg.), 169-180, Kovač, 2012. |
| DOI | Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains,
Perspectives of system informatics : 8th international ershov informatics conference, PSI 2011, novosibirsk, russia, june 27 - july 1, 2011 ; revised selected papers / edmund clarke; irina virbitskaite; andrei voronkov (eds.), 322-339, Springer, 2012. |
| 2011 |
|---|
| DOI | . CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings,
XIV, 560 S. : graph. Darst., Springer, 2011. |
| DOI | Joost-Pieter Katoen. Towards trustworthy aerospace systems: an experience report,
Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, trento, italy, august 29 - 30, 2011 ; proceedings / gwen salaün; bernhard schätz (eds.), 1-4, Springer, 2011. |
| DOI | Ulrich Loup, Erika Ábrahám. I-RiSC : an SMT-Compliant Solver for the Existential Fragment of Real Algebra; 6742,
Algebraic informatics : 4th international conference, CAI 2011, [held at RISC], linz, austria, june 21-24, 2011 ; proceedings / [RISC]. Franz winkler (ed.), 230-246, Springer, 2011. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata,
Reachability problems : 5th international workshop, RP 2011, genoa, italy, september 28-30, 2011 ; proceedings / giorgio delzanno ... (eds.), 2-25, Springer-Verlag, 2011. |
| DOI | Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software,
Hardware and software: verification and testing : 5th international haifa verification conference, HCV 2009, haifa, israel, october 19-22, 2009 : revised selected papers / kedar namjoshi ... (eds.), Springer, 2011. |
| DOI | J. Hayman. Granularity and concurrent separation logic,
CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, aachen, germany, september 6-9, 2011 ; proceedings / joost-pieter katoen; barbara könig (eds.), 219-234, Springer, 2011. |
| Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder. On collaboratively conveying computer science to pupils,
Proceedings of the 11th koli calling international conference on computing education research, 132-137, ACM, 2011. |
| Sabrina Styp, Gustavo Quirós, Liyong Yu. Automatic Test-Case Derivation and Execution in Industrial Control,
iATPA 2011 : Proceedings of the workshop on industrial automation tool integration for engineering project automation ; toulouse, france, sep 9, 2011 / ed. by thomas moser ..., RWTH-Aachen, 2011. |