| 2015 |
|---|
| Tim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata, Proceedings of the 15th conference on formal methods in computer-aided design (FMCAD 2015) : Austin, texas, USA , september 27 - 30, 2015 / edited by roope kaivola and thomas wahl, 97-104, FMCAD Inc, 2015. |
| Souymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes, [3rd international workshop on strategic reasoning. J. Gutierrez, F. Mogavero, a. Murano, and M. Wooldridge (eds.)], 2-18, 2015. |
| Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Probabilistic Programs - A Natural Model for Approximate Computations, [Workshop on approximate computing, AC15, 2015-10-15 - 2015-10-16, paderborn, germany], 2015. |
| Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications, 25 Folien, 2015. |
| DOI | Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles, 2015 IEEE conference on control applications (CCA 2015) : Sydney, australia, 21 - 23 september 2015 : [part of IEEE multi-conference on systems and control (MSC 2015)] / [technical sponsor IEEE control systems society and IFAC], 1722-1728, IEEE, 2015. |
| 2014 |
|---|
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, 110-132, Elsevier, 2014. |
| DOI | Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey, Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, bertinoro, italy, june 16 - 20, 2014 ; advanced lectures / marco bernardo... (eds.), 65-121, Springer, 2014. |
| DOI | Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic counterexample generation for large discrete-time Markov chains, 90-114, Elsevier, 2014. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft early design validation using formal methods, 20-35, Elsevier, 2014. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, 61-100, Elsevier, 2014. |
| DOI | Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Automated technology for verification and analysis : 12th international symposium, ATVA 2014, sydney, NSW, australia, november 3-7, 2014 ; proceedings / franck cassez ... (eds.), 146-162, Springer, 2014. |
| Hongfei Fu. Verifying probabilistic systems : new algorithms and complexity results, XII, 152 S., RWTH, Department of Computer Science, 2014. |
| DOI | Tomáš Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen. Zero-Reachability in Probabilistic Multi-Counter Automata, Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic (CSL) and the twenty-ninth annual ACM/IEEE symposium on logic in computer science (LICS), Article No. 22, 10 S., ACM, 2014. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains, Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, rome, italy, september 1 - 3, 2014 ; proceedings / josep diaz; ivan lanese; davide sangiorgi (eds.), 207-222, Springer, 2014. |
| DOI | Hans Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems, Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures / Anne Remke; Mariëlle Stoelinga (eds.), 87-116, Springer, 2014. |
| DOI | Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Foundations of software science and computation structures : 17th international conference, FOSSACS 2014, held as part of the european joint conferences on theory and practice of software, ETAPS 2014, grenoble, france, april 5 - 13, 2014 ; proceedings / anca muscholl (ed.), 73-87, Springer, 2014. |
| DOI | Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking, Proceedings of the second international conference on railway technology: Research, development and maintenance : [held in ajaccio, corsica, france from 8 - 11 april 2014] / ed. by J. Pombo, Paper 299, 16 S., Civil-Comp Press, 2014. |
| DOI | Christina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, york, UK, july 22 - 24, 2014 ; proceedings / holger giese; barbara könig (eds.), 49-64, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Hao Wu. Exponentially timed SADF : Compositional Semantics, Reduction, and Analysis, 2014 proceedings of the international conference on embedded software (EMSOFT) : October 12-17, 2014, jaypee greens golf and spa resort, new delhi, india, Article No. 1, 10 S., ACM, 2014. |
| Joost-Pieter Katoen. Model Checking Gigantic Markov Models, Software engineering and formal methods : 12th international conference, SEFM 2014, grenoble, france, september 1 - 5, 2014 ; proceedings / dimitra giannakopoulou; gwen salaün (eds.), XV-XVII, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers : a case study exploiting a new GSPN semantics, Measurement, modelling, and evaluation of computing systems and dependability and fault-tolerance : 17th international GI/ITG conference, MMB DFT 2014, bamberg, germany, march 17 - 19, 2014 ; proceedings / kai fischbach; udo R. Krieger (eds.), 57-72, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live, CSL-LICS '14 proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic (CSL) and the twenty-ninth annual ACM/IEEE symposium on logic in computer science (LICS) : [July 14–18, 2014, vienna, austria], Article No. 55, 10 S., ACM, 2014. |
| DOI | Alfons Laarman, Anton J. Wijs. Partial Order Reduction for Multi-Core LTL Model Checking, Hardware and software: verification and testing : 10th international haifa verification conference, HVC 2014, haifa, israel, november 18 - 20, 2014 ; proceedings / eran yahav (ed.), 267-283, Springer, 2014. |
| DOI | Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Formal techniques for safety-critical systems : Third international workshop, FTSCS 2014, luxembourg, november 6-7, 2014. Revised selected papers / edited by cyrille artho, peter csaba ölveczky, 17-31, Springer, 2014. |
| DOI | Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata, ACSD 2014 : Proceedings ; 2014 14th international conference on application of concurrency to system design ; 25–27 june 2014, tunis, tunisia, 21-31, IEEE, 2014. |