| 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. |
| DOI | Ulrich Loup, Erika Ábrahám. GiNaCRA: A C++ Library for Real Algebraic Computations, NASA formal methods : third international symposium, NFM 2011, pasadena, CA, USA, april 18-20, 2011 ; proceedings / mihaela bobaru ... (eds.), 512-517, Springer, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, HSCC'11 : proceedings of the 14th ACM international conference on hybrid systems:computation and control; april 12 - 14, 2011, chicago, illinois, USA, 83-92, ACM Press, 2011. |
| DOI | Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives, Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the joint european conference on theory and practice of software, ETAPS 2011, saarbrücken, germany, march 26-april 3, 2011 ; proceedings / parosh aziz abdulla; K. Rustan M. Leino (eds.), 128-142, Springer, 2011. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, austin, TX, USA, january 23-25, 2011 ; proceedings / ranjit jhala; david schmidt (eds.), 324-339, Springer, 2011. |
| DOI | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Language and automata theory and applications : 5th international conference, LATA 2011, tarragona, spain, may 26-31, 2011 ; proceedings / adrian-horia dediu ... (eds.), 323-335, Springer, 2011. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre. Reachability probabilities in markovian timed automata, 2011 50th IEEE conference on decision and control and european control conference : (CDC-ECC 2011) ; orlando, florida, USA, 12 - 15 december 2011 / [IEEE control systems society (CSS); european union control association (EUCA)], 7075-7080, IEEE, 2011. |
| DOI | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell. Static livelock analysis in csp, CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, aachen, germany, september 6-9, 2011 ; proceedings / joost-pieter katoen; barbara könig (eds.), 389-403, Springer, 2011. |