Joost-Pieter Katoen

prof.dr.ir.

1992 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

    Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M., 18 Mar 2024, RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings. IEEE, (Proceedings - Annual Reliability and Maintainability Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    33 Downloads (Pure)
  • 2023

    SAFEST: the static and dynamic fault tree analysis tool

    Volk, M., Ibne Irshad, M., Katoen, J.-P., Sher, F., Stoelinga, M. I. A. & Zafar, A., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 193-200

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    150 Downloads (Pure)
  • 2022

    Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

    Khan, S., Katoen, J.-P., Volk, M., Zafar, A. & Sher, F., 17 Jan 2022, 2021 10th Latin-American Symposium on Dependable Computing (LADC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    124 Downloads (Pure)
  • 2021

    Model Checking the Multi-Formalism Language FIGARO

    Khan, S., Volk, M., Katoen, J.-P., Braibant, A. & Bouissou, M., 6 Aug 2021, 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021. IEEE, p. 463-470 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    1 Downloads (Pure)
  • Scalable Reliability Analysis by Lazy Verification

    Khan, S., Katoen, J.-P., Volk, M. & Bouissou, M., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Dutle, A., Moscato, M. M., Titolo, L., Muñoz, C. A. & Perez, I. (eds.). Springer, Vol. 12673. p. 180-197 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Tweaking the Odds in Probabilistic Timed Automata

    Hartmanns, A., Katoen, J.-P., Kohlen, B. & Spel, J., 19 Aug 2021, Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings. Abate, A. & Marin, A. (eds.). Cham: Springer, p. 39-58 20 p. (Lecture Notes in Computer Science; vol. 12846).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    79 Downloads (Pure)
  • 2019

    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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    40 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    18 Citations (Scopus)
    327 Downloads (Pure)
  • One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

    Junges, S., Katoen, J. P., Stoelinga, M. & 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    12 Citations (Scopus)
    160 Downloads (Pure)
  • 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.). Cham: Springer, p. 290-305 16 p. (Lecture Notes in Computer Science; vol. 11142).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    230 Downloads (Pure)
  • 2016

    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, p. 31-45 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    File
    120 Citations (Scopus)
    422 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    40 Citations (Scopus)
    847 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    27 Downloads (Pure)
  • 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 proceedingConference contributionAcademic

    Open Access
    File
    238 Downloads (Pure)
  • 2014

    Model Checking Gigantic Markov Models

    Katoen, J. P., Sept 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 proceedingConference contributionAcademic

    File
    150 Downloads (Pure)
  • 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, p. 55 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    12 Citations (Scopus)
    193 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    11 Citations (Scopus)
    254 Downloads (Pure)
  • 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 proceedingConference contributionAcademic

    File
    35 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    File
    33 Citations (Scopus)
    366 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 proceedingConference contributionAcademicpeer-review

    File
    10 Citations (Scopus)
    350 Downloads (Pure)
  • 2012

    Efficient Modelling and Generation of Markov Automata

    Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sept 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    170 Downloads (Pure)
  • 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 proceedingConference contributionAcademic

    File
    32 Citations (Scopus)
    153 Downloads (Pure)
  • Formal correctness, safety, dependability, and performance analysis of a satellite

    Esteve, M.-A., Katoen, J.-P., Nguyen, V. Y., Postma, B. & Yushtein, Y., Jun 2012, 34th International Conference on Software Engineering, ICSE 2012. Piscataway, NJ, USA: IEEE, p. 1022-1031 10 p. (ACM Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    66 Citations (Scopus)
    57 Downloads (Pure)
  • 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, p. 6-11 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    16 Citations (Scopus)
    17 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    File
    2 Citations (Scopus)
    103 Downloads (Pure)
  • Quantitative modelling and analysis

    Katoen, J.-P. & Larsen, K. G., 2012, Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin, Heidelberg: Springer, p. 290-292 3 p. (Lecture Notes in Computer Science; vol. 7610).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    10 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    40 Citations (Scopus)
    143 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    File
    165 Downloads (Pure)
  • 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, p. 213-222 10 p. 10.1109/ACSD.2010.18

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    5 Citations (Scopus)
    349 Downloads (Pure)
  • 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 proceedingConference contributionAcademic

    Open Access
    File
    20 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    File
    31 Citations (Scopus)
    916 Downloads (Pure)
  • 2009

    Compositional Abstraction of Stochastic Systems

    Katoen, J. P., Klink, D. & Neuhausser, M., 3 Sept 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 proceedingConference contributionAcademicpeer-review

    File
    26 Citations (Scopus)
    307 Downloads (Pure)
  • 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. (Lecture Notes in Computer Science; vol. 5504).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    40 Citations (Scopus)
    1 Downloads (Pure)
  • 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, p. 63-72 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    31 Citations (Scopus)
    272 Downloads (Pure)
  • Quantitative model checking of continuous-time Markov chains against timed automata specifications

    Chen, T., Han, T., Katoen, J. P. & Mereacre, A., Aug 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science. Piscataway: IEEE, p. 309-318 10 p. 10.1109/LICS.2009.21

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    34 Citations (Scopus)
    182 Downloads (Pure)
  • Simulation-based CTMC Model Checking: An Empirical Evaluation

    Katoen, J. P. & Zapreev, I. S., Sept 2009, Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE, p. 31-40 10 p. 10.1109/QEST.2009.25

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    11 Citations (Scopus)
    339 Downloads (Pure)
  • Symmetry reduction for stochastic hybrid systems

    Bujorianu, L. M. & Katoen, J. P., 6 Jan 2009, 47th IEEE Conference on Decision and Control, CDC 2008. Los Alamitos: IEEE, p. 233-238 6 p. 10.1109/CDC.2008.4739086

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    190 Downloads (Pure)
  • The Ins and Outs of the Probabilistic Model Checker MRMC

    Katoen, J.-P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Sept 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos, CA: IEEE, p. 167-176 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    79 Citations (Scopus)
    193 Downloads (Pure)
  • Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

    Klink, D., Remke, A., Haverkort, B. R. & Katoen, J. P., Sept 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE, p. 133-142 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    213 Downloads (Pure)
  • 2008

    Approximate parameter synthesis for probabilistic time-bounded reachability

    Han, T., Katoen, J. P. & Mereacre, A., Dec 2008, Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008). Los Alamitos: IEEE, p. 173-182 10 p. 10.1109/RTSS.2008.19

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    57 Citations (Scopus)
    12 Downloads (Pure)
  • Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

    Han, T., Katoen, J. P. & Mereacre, A., Apr 2008, Hybrid Systems: Computation and Control (HSCC). Berlin: Springer, p. 244-258 15 p. 10.1007/978-3-540-78929-1. (Lecture Notes in Computer Science; vol. 4981, no. 69160R).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    3 Downloads (Pure)
  • How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

    Jansen, D. N., Katoen, J. P., Oldenkamp, M., Stoelinga, M. I. A. & Zapreev, I. S., Feb 2008, Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007. Yohav, K. (ed.). London: Springer, p. 69-85 17 p. 10.1007/978-3-540-77966-7_9. (Lecture Notes in Computer Science; vol. 4899, no. 2008/16200).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    45 Citations (Scopus)
    9 Downloads (Pure)
  • Perspectives in probabilistic verification

    Katoen, J. P., Jun 2008, Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos: IEEE, p. 3-10 8 p. 10.1109/TASE.2008.44

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    File
    11 Citations (Scopus)
    209 Downloads (Pure)
  • Reachability in continuous-time Markov reward decision processes

    Baier, C., Haverkort, B. R., Hermanns, H. & Katoen, J.-P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Grädel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    149 Downloads (Pure)
  • Regular Expressions for PCTL Counterexamples

    Damman, B., Han, T. & Katoen, J. P., Sept 2008, Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). Los Alamitos: IEEE, p. 179-188 10 p. 10.1109/QEST.2008.11

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
    11 Downloads (Pure)
  • Time-Abstracting Bisimulation for Probabilistic Timed Automata

    Chen, T., Han, T. & Katoen, J. P., Jun 2008, Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, p. 177-184 8 p. 10.1109/TASE.2008.29

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    5 Downloads (Pure)
  • 2007

    Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

    Neuhausser, M. R. & Katoen, J.-P., Sept 2007, CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings. London: Springer, p. 412-427 16 p. (Lecture Notes in Computer Science; vol. 4703).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    28 Citations (Scopus)
    24 Downloads (Pure)
  • Bisimulation minimisation mostly speeds up probabilistic model checking

    Katoen, J.-P., Kemna, T., Zapreev, I. & Jansen, D. N., 2007, Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 87-101 15 p. (Lecture Notes in Computer Science; vol. 4424)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    91 Citations (Scopus)
    21 Downloads (Pure)
  • Counterexamples in probabilistic model checking

    Han, T. & Katoen, J. P., 31 Jul 2007, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Grumberg, O. & Huth, M. (eds.). Berlin, Germany: Springer, p. 72-86 15 p. 10.1007/978-3-540-71209-1_8. (Lecture Notes in Computer Science; vol. 4424, no. Supplement).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    48 Citations (Scopus)
    218 Downloads (Pure)
  • Motor: The MoDeST Tool Environment

    Bohnenkamp, H. C., Hermanns, H. & Katoen, J. P., 2007, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Berlin: Springer, p. 500-504 5 p. 10.1007/978-3-540-71209-1_38. (Lecture Notes in Computer Science; vol. 4424, no. Supplement).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
    7 Downloads (Pure)