| 2009 |
|---|
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, budapest, hungary, september 14 - 16, 2009; proceedings / joël ouaknine... (eds.), 195-211, Springer, 2009. |
| DOI | Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, york, UK, march 22-29, 2009 ; proceedings / luca de alfaro (ed.), 364-379, Springer, 2009. |
| DOI | Viet Yen Nguyen, Theo C. Ruys. Memoised Garbage Collection for Software Model Checking, 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.), 232-249, Springer, 2009. |
| DOI | Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, Norbert Berzen. Towards an industrial strength process for timed testing, International conference on software testing, verification and validation workshops, 2009: ICSTW '09 : April 1, 2009, denver, colorado, USA, 29-38, IEEE, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language, Seventh ACM-IEEE international conference on formal methods and models for codesign (MEMOCODE 2009): Cambridge, massachusetts, july 13-15, 2009, 121-130, IEEE, 2009. |
| Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA, Proceedings of the twenty-first international joint conference on artificial intelligence : Pasadena, california, USA, 11 - 17 july 2009 / sponsored by international joint conferences on artificial intelligence (IJCAI) and the association for the advancement of artificial intelligence (AAAI). Ed. by craig boutilier, 1004-1009, AAAI Press [u.a.], 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems, Workshop proceedings / ACES-MB 2009 : Proceedings of the 2nd international workshop on model based architecting and construction of embedded systems (ACES-MB 2009) ; held as part of the 2009 international conference on model driven engineering languages and systems (MoDELS'09) ; denver, colorado, USA, october 6, 2009 / ed. by stefan van baelen ..., 87-91, RWTH Aachen, 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration), ESEC-FSE’09 : Proceedings of the joint 12th european software engineering conference and 17th ACM SIGSOFT symposium on the foundations of software engineering ; august 24–28, 2009, amsterdam, the netherlands / spons. by: ACM SIGSOFT, 285-286, ACM, 2009. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 2009 24th annual IEEE symposium on logic in computer science : LICS 2009 ; los angeles, california, USA, 11 - 14 august 2009 / [sponsored by IEEE computer society technical committee on mathematical foundations of computing], 309-318, IEEE, 2009. |
| DOI | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling, 2009 IEEE/IFIP international conference on dependable systems & networks : (DSN 2009) ; lisbon, portugal, 29 june - 2 july 2009 ; [featuring ... the dependable computing and communications symposium (DCCS) and the performance and dependability symposium (PDS)] / [sponsored by: IEEE computer society technical committee on dependable computing and fault tolerance; WG 10.4 on dependable computing and fault tolerance], 63-72, IEEE, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev. Simulation-based CTMC Model Checking: An Empirical Evaluation, QUEST 2009 : Sixth international conference on the quantitative evaluation of systems ; proceedings ; budapest, hungary, 13-16 september, 2009 / editorial production by silvia ceballos, 31-40, IEEE, 2009. |
| Sabrina Styp. Towards a theory for timed symbolic testing, Proceedings of formal methods 2009 : Doctoral symposium ; november 6, 2009 eindhoven, the netherlands / MohammadReza mousavi and emil sekerinski, eds., 39-45, TU, 2009. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, Sixth international conference on the quantitative evaluation of systems, 2009 : QEST '09 ; 13 - 16 sept. 2009, budapest, hungary ; proceedings / organized ... by the technical university of budapest, 133-142, IEEE, 2009. |
| 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, Sixth international conference on the quantitative evaluation of systems, 2009 : QEST '09 ; 13 - 16 sept. 2009, budapest, hungary ; proceedings / organized ... by the technical university of budapest, 167-176, IEEE, 2009. |
| DOI | Tingting Han, Joost-Pieter Katoen, Berteun Damman. Counterexample Generation in Probabilistic Model Checking, 241-257, IEEE, 2009. |
| DOI | Taolue Chen, Tingting Han, Jian Lu. On metrics for probabilistic systems : Definitions and algorithms, 991-999, Pergamon Press, 2009. |
| 2008 |
|---|
| Henrik Bohnenkamp, Marielle Stoelinga. Quantitative Testing, 27 S., RWTH Aachen, Department of Computer Science, 2008. |
| Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA, 32 S., Ecole Normale Supérieure, 2008. |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - the Smyle modeling approach, 26 S., TU, 2008. |
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlangs method of stages, 27 S., RWTH Aachen, Department of Computer Science, 2008. |
| DOI | Thomas Noll, Bastian Schlich. Delayed nondeterminism in model checking embedded systems assembly code, Hardware and software: verification and testing : third international haifa verification conference, HVC 2007, haifa, israel, october 23 - 25, 2007 ; proceedings / karen yorav (ed.), 185-201, Springer, 2008. |
| Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes, Logic and automata : history and perspectives / ed. by Jörg Flum ..., 53-72, Amsterdam Univ. Pr., 2008. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning, CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, toronto, canada, august 19-22, 2008 ; proceedings / franck van breugel; marsha cherchik (eds.), 162-166, Springer, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, st. Louis, MO, USA, april 22-24, 2008 ; proceedings / magnus egerstedt; bud mishra (eds.), 244-258, Springer, 2008. |
| DOI | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Hardware and software: verification and testing : third international haifa verification conference, HVC 2007, haifa, israel, october 23 - 25, 2007 ; proceedings / karen yorav (ed.), 69-85, Springer, 2008. |