Research Output per year
Research Output
2019
ETAPS Foreword
Katoen, J-P., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 11429)(Theoretical Computer Science and General Issues).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic
Open Access
File
2
Downloads
(Pure)
Preface
Sun, J., Katoen, J-P. & Guan, N., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Cham: Springer, p. v-v (Lecture Notes in Computer Science; vol. 11951).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
2
Downloads
(Pure)
The 10,000 Facets of MDP Model Checking
Baier, C., Hermanns, H. & Katoen, J-P., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, Vol. 10000. p. 420-451 32 p. (Lecture Notes in Computer Science; vol. 10000).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
2018
Multi-cost Bounded Reachability in MDP
Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Rule-based conditioning of probabilistic data
van Keulen, M., Kaminski, B., Matheja, C. & Katoen, J. P., 1 Jan 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Springer, p. 290-305 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11142 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
2017
Boosting Fault Tree Analysis by Formal Methods
Katoen, J. P. & Stoelinga, M. I. A., 15 Oct 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Fault trees on a diet: automated reduction by graph rewriting
Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703Research output: Contribution to journal › Article › Academic › peer-review
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)Research output: Book/Report › Book editing › Academic
Open Access
File
2016
Confluence reduction for Markov automata
Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
The Probabilistic Model Checking Landscape
Katoen, J. P., Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016). USA: Association for Computing Machinery (ACM), p. 31-45 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
File
Uncovering dynamic fault trees
Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A., Jun 2016, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016. Toulouse, France: IEEE, p. 299-310 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
2015
Fault Trees on a Diet: Automated Reduction by Graph Rewriting
Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Probabilistic Programming: A True Verification Challenge
Katoen, J. P., Oct 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). London: Springer, p. 1-3 3 p. (Lecture Notes in Computer Science; vol. 9364).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Open Access
File
2014
Analysis of timed and long-run objectives for Markov automata
Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 10 Sep 2014, In : Logical methods in computer science. 10, 3, p. 17 29 p.Research output: Contribution to journal › Article › Academic › peer-review
File
Model Checking Gigantic Markov Models
Katoen, J. P., Sep 2014, Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. Giannakopoulou, D. & Salaün, G. (eds.). London: Springer, p. xv-xvii 2 p. (Lecture Notes in Computer Science; vol. 8702).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
File
Probably safe or live
Katoen, J. P., Song, L. & Zhang, L., Jul 2014, 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). New York: Association for Computing Machinery (ACM), p. 55 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
Smart railroad maintenance engineering with stochastic model checking
Guck, D., Katoen, J. P., Stoelinga, M. I. A., Luiten, T. & Romijn, J., Apr 2014, Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014. Pombo, J. (ed.). Stirlingshire, UK: Civil-Comp Press, p. 299 15 p. (Civil-Comp Proceedings; vol. 104).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Spacecraft early design validation using formal methods
Bozzano, M., Cimatti, A., Katoen, J. P., Katsaros, P., Mokos, K., Nguyen, V. Y., Noll, T., Postma, B. & Roveri, M., Dec 2014, In : Reliability engineering & system safety. 132, p. 20-35 16 p.Research output: Contribution to journal › Article › Academic › peer-review
2013
Concurrency meets probability: theory and practice (abstract)
Katoen, J. P., Aug 2013, 24th International Conference on Concurrency Theory, CONCUR 2013. London: Springer, p. 44-45 2 p. (Lecture Notes in Computer Science; vol. 8052).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
File
Correct and efficient accelerator programming (Dagstuhl Seminar 13142)
Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P., 2013, p. 17-33.Research output: Contribution to conference › Paper
Open Access
File
Model checking for performability
Baier, C., Hahn, E. M., Haverkort, B. R., Hermanns, H. & Katoen, J-P., Aug 2013, In : Mathematical structures in computer science. 23, Special Issue 04, p. 751-795 45 p.Research output: Contribution to journal › Article › Academic › peer-review
Model checking meets probability: a gentle introduction
Katoen, J. P., 2013, Engineering Dependable Software Systems. Amsterdam: IOS Press, p. 177-205 29 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 34, no. 34).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
File
Modelling, Reduction and Analysis of Markov Automata
Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., Aug 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). Joshi, K. R., Siegle, M., Stoelinga, M. I. A. & d' Argenio, P. R. (eds.). Berlin: Springer, p. 55-71 17 p. (Lecture Notes in Computer Science; vol. 8054).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
Modelling, Reduction and Analysis of Markov Automata (extended version)
Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 30 May 2013, Ithaca, NY, USA: Cornell University. 27 p.Research output: Book/Report › Report › Academic
File
16
Downloads
(Pure)
Taming confusion for modeling and implementing probabilistic concurrent systems
Katoen, J. P. & Peled, D., Mar 2013, Proceedings of the 22nd European Symposium on Programming (ESOP 2013). Felleisen, M. & Gardner, P. (eds.). London: Springer, p. 411-430 20 p. (Lecture Notes in Computer Science; vol. 7792).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
2012
A linear process-algebraic format with data for probabilistic automata
Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.Research output: Contribution to journal › Article › Academic › peer-review
File
Efficient Modelling and Generation of Markov Automata
Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
File
27
Citations
(Scopus)
45
Downloads
(Pure)
Efficient Modelling and Generation of Markov Automata
Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Efficient Modelling and Generation of Markov Automata (extended version)
Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)Research output: Book/Report › Report › Academic
File
22
Downloads
(Pure)
Formal correctness, safety, dependability, and performance analysis of a satellite
Esteve, M. A., Katoen, J. P., Nguyen, V. Y., Postma, B. & Yushstein, Y., Jun 2012, 34th International Conference on Software Engineering, ICSE 2012. USA: IEEE Computer Society, p. 1022-1031 10 p. (ACM Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
GSPNs Revisited: Simple Semantics and New Analysis Algorithms
Katoen, J. P., Jun 2012, 12th International Conference on Application of Concurrency to System Design, ACSD 2012. USA: IEEE Computer Society, p. 6-11 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Model checking: one can do much more than you think!
Katoen, J. P., 2012, Fundamentals of Software Engineering: fourth IPM International Conference, FSEN 2011. Berlin: Springer, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 7141).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
Quantitative timed analysis of interactive Markov chains
Guck, D., Han, T., Katoen, J-P. & Neuhäußer, M. R., Apr 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (eds.). Berlin: Springer, p. 8-23 15 p. (Lecture Notes in Computer Science; vol. 7226).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
2011
Efficient CTMC Model Checking of Linear Real-Time Objectives
Barbot, B., Chen, T., Han, T., Katoen, J. P. & Mereacre, A., Mar 2011, p. 128-142. 15 p.Research output: Contribution to conference › Paper
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Chen, T., Han, T., Katoen, J. P. & Mereacre, A., 2011, In : Logical methods in computer science. 7, 1-12, p. 12:1-12:34 34 p.Research output: Contribution to journal › Article › Academic › peer-review
File
The ins and outs of the probabilistic model checker MRMC
Katoen, J. P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Feb 2011, In : Performance evaluation. 68, 2, p. 90-104 15 p.Research output: Contribution to journal › Article › Academic › peer-review
Time-bounded reachability in tree-structured QBDs by abstraction
Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Feb 2011, In : Performance evaluation. 68, 2, p. 105-125 21 p.Research output: Contribution to journal › Article › Academic › peer-review
File
2010
Advances in Probabilistic Model Checking
Katoen, J. P., Jan 2010, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Barthe, G. & Hermenegildo, M. (eds.). Berlin: Springer, p. 25-25 1 p. (Lecture Notes in Computer Science; vol. 5944).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
A linear process-algebraic format for probabilistic systems with data
Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
A linear process-algebraic format for probabilistic systems with data (extended version)
Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)Research output: Book/Report › Report › Academic
File
30
Downloads
(Pure)
Computing Optimal Schedules of Battery Usage in Embedded Systems
Jongerden, M. R., Mereacre, A., Bohnenkamp, H. C., Haverkort, B. R. H. M. & Katoen, J. P., 2010, In : IEEE transactions on industrial informatics. 6, 3, p. 276-286 11 p.Research output: Contribution to journal › Article › Academic › peer-review
File
Performability assessment by model checking of Markov reward models
Baier, C., Cloth, L., Haverkort, B. R., Hermanns, H. & Katoen, J. P., 2010, In : Formal methods in system design. 36, 1, p. 1-36 36 p.Research output: Contribution to journal › Article › Academic › peer-review
Performance Evaluation and Model Checking Join Forces
Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Sep 2010, In : Communications of the ACM. 53, 9, p. 76-85 10 p.Research output: Contribution to journal › Article › Academic › peer-review
File
Quantitative Verification in Practice
Haverkort, B. R. H. M., Katoen, J-P. & Larsen, K. G., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
The How and Why of Interactive Markov Chains
Hermanns, H. & Katoen, J. P., 2010, Symposium on Formal Methods for Components and Objects, FMCO 2009. de Boer, F. S., Bonsangue, S. H. & Leuschel, M. (eds.). Berlin: Springer, p. 311-337 27 p. (Lecture Notes in Computer Science; vol. 6286).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
2009
Compositional Abstraction of Stochastic Systems
Katoen, J. P., Klink, D. & Neuhausser, M., 3 Sep 2009, Formal Modeling and Analysis of Timed Systems. Berlin: Springer, p. 195-211 17 p. 10.1007/978-3-642-04368-0_16. (Lecture Notes in Computer Science; vol. 5813).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File
Counterexample Generation in Probabilistic Model Checking
Han, T., Katoen, J. P. & Damman, B., 2009, In : IEEE transactions on software engineering. 35, 2, p. 241-257 17 p., 10.1109/TSE.2009.5.Research output: Contribution to journal › Article › Academic › peer-review
File
Delayed Nondeterminism in Continuous-Time Markov Decision Processes
Neuhausser, M., Stoelinga, M. I. A. & Katoen, J. P., 27 Mar 2009, Foundations of Software Science and Computational Structures. Berlin: Springer, p. 364-379 16 p. 10.1007/978-3-642-00596-1_26. (Lecture Notes in Computer Science; vol. 5504).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Maximizing System Lifetime by Battery Scheduling
Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
File