Publications for Joost-Pieter Katoen

2017
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Motion Planning under Partial Observability using Game-Based Abstraction. Proc. of CDC, IEEE, 2017.
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Transactions on Industrial Informatics, 2017.
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems. Proc. of SAFECOMP, Volume of LNCS, , 2017.
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. Proc. of SRDS, IEEE CS, 2017.
LinkChristian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker. Proc. of CAV, , 2017.
LinkTim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives. Proc. of CAV, , 2017.
Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations. Proc. of the 32nd Annual Symposium on Logic in Computer Science (LICS 2017), [to appear], 2017.
LinkMurat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Proc. of TACAS, Volume of LNCS, , 2017.
LinkChristian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A storm is Coming: A Modern Probabilistic Model Checker. CoRR abs/1702.04311, 2017.
DownloadBenjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations. Collected Abstracts of the 2nd Workshop on Probabilistic Programming Semantics (PPS 2017), 2017.
DownloadHarold Bruintjes, Joost-Pieter Katoen. Missie: Foutvrije Software in de Ruimte. Bits en Chips, pages 38–39, 2017.
DownloadIlya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Model Checking of Controlled Discrete-Time Markov Processes. Information and Computation 253, pages 1-35, 2017.
DOISebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marielle Stoelinga. Fault Trees on a Diet: Automated Reduction by Graph Rewriting. Formal Aspects of Computing, pages 1–53, 2017.
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset (short paper). Proc. 5th Int. Symp. on Model-Based Safety and Assessment (IMBSA 2017), to be published, 2017.
DOIMarco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems: Achievements and Challenges. In Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu editors, Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, Springer Singapore, 2017.
2016
DownloadMark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga. Confluence Reduction for Markov Automata. Theoretical Computer Science 655(Part B), pages 193–219, 2016.
DownloadJoost-Pieter Katoen, Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow. ACM Transactions on Embedded Computing Systems 22(1), pages 28, 2016.
DownloadNils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs. Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, Springer, 2016.
DOITim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. Proc. of ATVA, Volume 9938 of LNCS, pages 50–67, Springer, 2016.
LinkSebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu. Probabilistic Verification for Cognitive Models. Proc. of Cross-Disciplinary Challenges for Autonomous Systems (CDCAS), Volume of AAAI Technical Reports, AAAI Press, 2016.
DOIMatthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis. Proc. of the 35th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), Volume 9922 of LNCS, pages 253–265, Springer, 2016.
DownloadChristian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross. Model-Checking Assisted Protocol Design for Ultra-Reliable Low-Latency Wireless Networks. Proc. of the 35th Symp. on Reliable Distributed Systems (SRDS), pages 307–316, IEEE CS, 2016.
DownloadBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Inferring Covariances for Probabilistic Programs. Proc. of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Volume 9826 of LNCS, pages 191-206, Springer, 2016.
DOISebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees. Proc. of IEEE/IFIP Symposium on Dependable Systems and Networks (DSN), pages 299-310, IEEE CS, 2016.
DownloadFederico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Reasoning about Recursive Probabilistic Programs. Proc. of the 31st Annual Symposium on Logic in Computer Science (LICS 2016), pages 672-681, ACM, 2016.
DownloadJoost-Pieter Katoen. The Probabilistic Model Checking Landscape. Proc. of Logic in Computer Science (LICS), pages 31-46, ACM, 2016.
DOISebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs. Proc. of TACAS, Volume 9636 of LNCS, pages 130-146, Springer, 2016.
DOIBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (EATCS Best Paper Award). Proc. of the 25th European Symposium on Programming (ESOP 2016), Volume 9632 of LNCS, pages 364 - 389, Springer, 2016.
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo. On the Semantic Intricacies of Conditioning. Collected Abstracts of the 1st Workshop on Probabilistic Programming Semantics (PPS 2016), 2016.
DownloadAnton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. Efficient GPU Algorithms for Parallel Decomposition of Graphs into Strongly Connected and Maximal End Components. Formal Methods in System Design 48(3), pages 274-300, 2016.
DOIChristian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016.
DownloadSouymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics. Proc. of Logic in Computer Science (LICS), pages 56-66, ACM, 2016.
Luca Aceto, Tom Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Vardi. Viewpoints on "Logic activities in Europe", twenty years later. Bulletin of the EATCS 118, 2016.
DownloadHao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. Performance Evaluation of Concurrent Data Structures. Prof. of Dependable Software Engineering: Theories, Tools, and Applications (SETTA), Volume 9984 of LNCS, pages 38–49, Springer, 2016.
LinkChristian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. The Probabilistic Model Checker Storm (Extended Abstract). CoRR abs/1610.08713, 2016.
2015
DownloadSebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marielle Stoelinga. Fault Trees on a Diet. 1st Symp. on Dependable Software Engineering: Theories, Tools and Applications (SETTA), Volume 9409 of LNCS, pages 3–18, Springer, 2015.
DownloadJoost-Pieter Katoen. Probabilistic Programming: A True Challenge in Verification. 13th Int. Symp. on Automated Technology for Verification and Analysis (ATVA), Volume of LNCS, pages 1–3, Springer-Verlag, 2015.
DOIJonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: Using Graph Grammars for Abstracting Unbounded Heap Structures. Formal Methods in System Design 47(2), pages 159–203, 2015.
DownloadNils 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.
DownloadMartin Fraenzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen. Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems. 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Volume 9268 of LNCS, pages 93–107, Springer-Verlag, 2015.
DOIJoost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo. Understanding Probabilistic Programs. Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Volume 9360 of LNCS, pages 15-32, Springer, 2015.
DownloadSouymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes. 3rd Workshop on Strategic Reasoning, pages 10, University of Oxford, 2015.
DownloadBenjamin Lucien Kaminski, Joost-Pieter Katoen. On the Hardness of Almost-Sure Termination. Proc. of the 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015), Part I, Volume 9234 of LNCS, pages 307-318, Springer, 2015.
DownloadSouymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec. Modelling and Statistical Model Checking of a Microgrid. Software Tools for Technology Transfer 17(4), pages 537–554, 2015.
DownloadChristian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Abraham. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Proc. of the 27th Int. Conf. on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214–231, Springer, 2015.
DownloadTim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards. Proc. of the 20th Int. Symp. on Formal Methods (FM'15), Volume 9109 of LNCS, pages 435–452, Springer, 2015.
DownloadSouymodip Chakraborty, Joost-Pieter Katoen. Model Checking of Open Interval Markov Chains. Analytical and Stochastic Modelling Techniques and Applications (ASMTA), Volume 9081 of LNCS, pages 30–42, , 2015.
LinkShashank Pathak, Erika Abraham, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models. Proc. of the 7th NASA Formal Methods Symp. (NFM'15), Volume 9058 of LNCS, pages 295–309, Springer, 2015.
DownloadRalf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata. Logical Methods in Computer Science (LMCS) 11(1:15), pages 1–23, 2015.
DOIJonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying Pointer Programs using Graph Grammars. Science of Computer Programming 97, pages 157–162, 2015.
DOIViet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation. Proceedings Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, pages 68–85, Springer, 2015.
DownloadHarold Bruintjes, Joost-Pieter Katoen, David Lesens. A statistical approach for timed reachability in AADL models. Dependable Systems and Networks (DSN), pages 81–88, IEEE CS Press, 2015.
DownloadNils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver. Conditioning in Probabilistic Programming. Proc. of the 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS 2015), ENTCS 319, pages 199-216, 2015.
2014
DOIMarco 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. Reliability Engineering and System Safety 132, pages 20–35, 2014.
DownloadDennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Analysis of Timed and Long-Run Objectives in Markov Automata. Logical Methods in Computer Science 10(3), 2014.
DownloadJoost-Pieter Katoen. Model Checking Gigantic Markov Models. 12th International Conference on Software Engineering and Formal Methods (SEFM), Volume 8702 of LNCS, pages 1–2, , 2014.
DownloadSouymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains. IFIP Conference on Theoretical Computer Science, Volume 8705 of LNCS, pages 207–222, , 2014.
DownloadArpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata . 14th International Conference on Application of Concurrency to System Design (ACSD), ISBN 978-1-4799-4281-7, pages 21–31, IEEE, ISBN 978-1-4799-4281-7, 2014.
DownloadErika Abraham, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Proc. of the 14th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models (SFM-14:ESM), Volume 8483 of LNCS, pages 65–121, Springer, 2014.
DownloadNils Jansen, Ralf Wimmer, Erika Abraham, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic Counterexample Generation for Large Discrete-Time Markov Chains. Science of Computer Programming 91 (Part A), pages 90–114, 2014.
DownloadArpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories. Formal Aspects of Component Software (FACS 2013), 10th International Symposium (FACS), Revised Selected Papers, Volume 8348 of LNCS, pages 1–19, Springer, 2014.
DownloadFriedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Pre-expectation Semantics for the Probabilistic Guarded Command Language. Performance Evaluation 73, pages 110–132, 2014.
DownloadDennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking. 2nd Int. Conf. on Railway Technology: Research, Development and Maintenance (Railways 2014), pages 1–16, Saxe-Coburg Publications, 2014.
DOIJoost-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 (MMB & DFT 2014), Volume 8376 of LNCS, pages 57–72, Springer, 2014.
DownloadJoost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live. Computer Science Logic and Logic in Computer Science (CSL-LICS), ACM, 2014.
DownloadTomas Brazdil, Stefan Kiefer, Antonín Kucera, Petr Novotny, Joost-Pieter Katoen. Zero-Reachability in Probabilistic Multi-Counter Automata. Computer Science Logic and Logic in Computer Science (CSL-LICS), ACM, 2014.
DownloadAnton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. Computer-Aided Verification (CAV), Volume 8559 of LNCS, pages 309–325, , 2014.
DownloadNils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification. 11th Int. Conf. on Quantitative Evaluation of Systems (QEST'14), Volume 8657 of LNCS, pages 404–420, Springer, 2014.
DOIRalf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Linear-Time Probabilistic Verification. Theoretical Computer Science 549, pages 61–100, 2014.
DownloadFalak Sher, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata. Concurrency Theory (CONCUR), Volume 8704 of LNCS, pages 576–592, Springer, 2014.
DownloadJoost-Pieter Katoen, Hao Wu. Exponentially timed SADF: Compositional Semantics, Reduction, and Analysis. Embedded Software (EMSOFT), pages 1–10, ACM Press, 2014.
DownloadChristian Dehnert, Nils Jansen, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen. Fast Debugging of PRISM Models. Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), Volume 8837 of LNCS, pages 146–162, Springer, 2014.
Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering. In Daniele Gianni, Andrea D'Ambrogio, Andreas Tolk editors, Modeling and Simulation-Based Systems Engineering Handbook, pages 339–375, 2014.
2013
DownloadNils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification. Technical report at Cornell University number arXiv:1312.3979, 2013.
DownloadRalf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata. Proc. of the 10th Int. Conf. on Quantitative Evaluation of Systems (QEST'13), Volume 8054 of LNCS, pages 39–54, Springer-Verlag, 2013.
DownloadDennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata. 10th Int. Conf. on Quantitative Evaluation of Systems (QEST'13), Volume 8054 of LNCS, pages 34–50, Springer, 2013.
DownloadJoost-Pieter Katoen. Concurrency meets Probability: Theory and Practice (Abstract). Int. Conf. on Concurrency Theory (CONCUR), Volume 8052 of LNCS, pages 44–45, , 2013.
LinkJoost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers using Stochastic Petri Nets and Markov Automata. Technical report at RWTH Aachen University number AIB-2013-10, 2013.
DownloadSouymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains. TCS , pages 207–221, , 2013.
LinkChristian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN. Int. Conf. on Application and Theory of Petri Nets and Concurrency (ICATPN), Volume 7927 of LNCS, pages 90–109, Springer, 2013.
DownloadRalf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata. Technical report at Cornell University number arXiv:1305.5055, 2013.
LinkIlya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems. Hybrid Systems: Computation and Control (HSCC), pages 293–303, ACM, 2013.
LinkJoost-Pieter Katoen, Doron Peled. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. European Symposium on Programming (ESOP), Volume 7792 of LNCS, pages 411–430, Springer, 2013.
DownloadChristel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model Checking for Performability. Mathematical Structures in Computer Science 23(4), pages 751–795, 2013.
DownloadE. Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems. Formal Methods in System Design 43(2), pages 191–232, 2013.
DownloadChristian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models. 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Volume 7737 of LNCS, pages 28–47, Springer, 2013.
LinkJoost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems. Proc. 16th Conf. on Design, Automation & Test in Europe (DATE 2013), pages 761–766, EDA Consortium, 2013.
DownloadJoost-Pieter Katoen. Model Checking Meets Probability: A Gentle Introduction. In , Engineering Dependable Software Systems, pages 177–205, Volume 34 of NATO Science for Peace and Security Series - D, 2013.
LinkBenoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. Information and Computation 232, pages 66–116, 2013.
DownloadFriedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. PRINSYS — on a Quest for Probabilistic Loop Invariants. 10th Int. Conf. on Quantitative Evaluation of Systems (QEST'13), Volume 8054 of LNCS, pages 172–187, Springer, 2013.
Souymodip Chakraborty, Martin Strelec, Joost-Pieter Katoen, Falak Sher. Modelling and Statistical Model Checking of a Microgrid. Workshop on Statistical Model Checking (SMC), Volume of EPTCS, , 2013.
2012
DownloadNils Jansen, Erika Abraham, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Proc. of the 10th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'12), Volume 7561 of LNCS, pages 349–353, Springer Berlin Heidelberg, 2012.
DownloadFriedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. Quantitative Evaluation of Systems (QEST), IEEE CS Press, 2012.
DownloadMark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga. Efficient Modelling and Generation of Markov Automata. Concurrency Theory (CONCUR), Volume 7454 of LNCS, pages 364–379, Springer-Verlag, 2012.
DownloadFalak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata. IFIP Conference on Theoretical Computer Science (TCS2012), Volume 7604 of LNCS, pages 325–341, Springer-Verlag, 2012.
DownloadNils Jansen, Erika Abraham, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker. Symbolic Counterexample Generation for Discrete-time Markov Chains. 9th Int. Symp. on Formal Aspects of Component Software (FACS'12), Volume 7684 of LNCS, pages 134–151, Springer Berlin Heidelberg, 2012.
DownloadRalf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes. Technical report at Reports of SFB/TR 14 AVACS number 88, 2012.
DownloadMani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered Reasoning for Randomized Distributed Algorithms. Formal Aspects of Computing 24(4–6), pages 477–496, 2012.
DownloadMarie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. 34th International Conference on Software Engineering (ICSE), pages 1022–1031, ACM and IEEE CS Press, 2012.
LinkJoost-Pieter Katoen. GSPNs Revisited: Simple Semantics and New Analysis Algorithms. Applications of Concurrency to System Design (ACSD), pages 6–12, IEEE CS Press, 2012.
DownloadNils Jansen, Erika Abraham, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. Technical report at Cornell University number arXiv:1206.0603v1, 2012.
DownloadRalf Wimmer, Nils Jansen, Erika Abraham, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), Volume 7214 of LNCS, pages 299–314, Springer Berlin Heidelberg, 2012.
DownloadDennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer. Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods Symposium (NFM), Volume 7226 of Lecture Notes in Computer Science, pages 8–23, Springer-Verlag, 2012.
DownloadJoost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science 413, pages 36–57, 2012.
DownloadJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Journal on Logic and Algebraic Programming 81(4), pages 356–389, 2012.
DownloadArpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains. 8th Ershov Informatics Conference (PSI) , Volume 7162 of LNCS, pages 322–339, Springer Verlag, 2012.
DownloadJoost-Pieter Katoen. Model Checking: One Can Do Much More Than You Think!. Fundamentals of Software Engineering (FSEN), Volume 7141 of LNCS, pages 1–14, Springer-Verlag, 2012.
DownloadBart Theelen, Joost-Pieter Katoen, Hao Wu. Model Checking of Scenario-Aware Dataflow with CADP. Design, Automation, and Test in Europe (DATE) , pages 653–658, IEEE CS Press, 2012.
DownloadRalf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'12), pages 169–180, Verlag Dr. Kovac, 2012.
DownloadAlessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen. Robust PCTL Model Checking. Hybrid Systems: Computation and Control (HSCC), pages 275–286, ACM Press, 2012.
LinkJoost-Pieter Katoen, Viet Yen Nguyen. Ruimtevaartsoftware ideale proeftuin voor formele methoden. Bits en Chips 10, pages 40–41, 2012.
2011
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA—The Smyle Modeling Approach. Proceedings 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2008), Volume 4980 of LNCS, pages 103–117, , 2011.
DownloadNils Jansen, Erika Abraham, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical Counterexamples for Discrete-Time Markov Chains. 9th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'11), Volume 6996 of LNCS, pages 443–452, Springer Berlin Heidelberg, 2011.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata. Workshop on Reachability Problems (RP), Volume 6945 of LNCS, pages 2–25, Springer-Verlag, 2011.
Joost-Pieter Katoen, Barbara König editors. 22nd Conference on Concurrency Theory (CONCUR). Springer-Verlag, Volume 6901 of LNCS, 2011.
DownloadYuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective. 4th IEEE Int. Conf. on Space Mission Challenges in Information Technology (SMC-IT 2011), pages 18–25, IEEE CS Press, 2011.
DownloadJoost-Pieter Katoen. Towards Trustworthy Aerospace Systems: An Experience Report. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Volume 6959 of LNCS, pages 1–4, Springer-Verlag, 2011.
DownloadChristina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars. 5th Int. Conf. on Language and Automata Theory and Applications (LATA 2011), Volume 6638 of LNCS, pages 323–335, Springer-Verlag, 2011.
LinkJoost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems. Public Service Review: European Science and Technology 11, pages 204–205, 2011.
DownloadBenoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. New Results on Abstract Probabilistic Automata. Applications of Concurrency to System Design (ACSD), pages 118–127, IEEE CS Press, 2011.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal 54(5), pages 754–775, 2011.
DownloadNils Jansen, Erika Abraham, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical Counterexamples for Discrete-Time Markov Chains. Technical report at RWTH Aachen University number AIB-2011-11, 2011.
DownloadAlessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems. 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pages 83–92, ACM Press, 2011.
DownloadJoost-Pieter Katoen, Ivan S. Zapreev, E. Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC. Performance Evaluation 68(2), pages 90–104, 2011.
DownloadBenoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. Verification, Model Checking and Abstract Interpretation (VMCAI), Volume 6538 of LNCS, pages 324–339, Springer-Verlag, 2011.
DownloadChristina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars. Technical report at RWTH Aachen University, Germany number AIB 2011-04, 2011.
DownloadDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. Performance Evaluation 68(2), pages 105–125, 2011.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science 7(1-2), pages 1–34, 2011.
DownloadBenoit 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 (TACAS), Volume 6605 of LNCS, pages 128–142, , 2011.
DownloadAlessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems. Proceedings 18th IFAC World Congress 2011, Volume 18 of IFAC-PapersOnLine, Elsevier, 2011.
DownloadHaidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. 11th Int. Conf. on Next Generation Wired/Wireless Advanced Networking (NEW2AN), Volume 6869 of LNCS, pages 197–208, Springer-Verlag, 2011.
LinkHongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems. Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Volume 13 of LIPIcs, pages 445–456, Schloss Dagstuhl, 2011.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Reachability probabilities in Markovian Timed Automata. Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pages 7075–7080, IEEE, 2011.
2010
DownloadJoost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs. Static Analysis Symposium (SAS), Volume 6337 of LNCS, pages 390–406, Springer-Verlag, 2010.
DownloadErika Abraham, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction. 7th Int. Conf. on Quantitative Evaluation of Systems (QEST'10), pages 37–46, IEEE, 2010.
DownloadHaidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption. 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA), Volume 6148 of LNCS, pages 247–261, , 2010.
DownloadJoost-Pieter Katoen. Advances in Probabilistic Model Checking. Verification, Model Checking, and Abstract Interpretation (VMCAI), Volume 5944 of Lecture Notes in Computer Science, pages 25, Springer-Verlag, 2010.
DownloadChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces. Communications of the ACM 53(9), pages 76–85, 2010.
DownloadChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models. Formal Methods in Systems Design 36(1), pages 1–36, 2010.
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering 36(3), pages 390–408, 2010.
DownloadAlessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control 16(6), pages 624–641, 2010.
LinkMarco Bozzano, Roberto Cavada, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive. Formal Verification and Validation of AADL Models. Proc. of Embedded Real Time Software and Systems Conf. (ERTS$^2$ 2010), , 2010.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata. Technical report at Computer Science Department, RWTH Aachen University number AIB-2010-06, 2010.
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA: The Smyle Modeling Approach. Computing and Informatics 29, pages 45–72, 2010.
DownloadMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL. Proc. of 22nd Int. Conf. on Computer Aided Verification (CAV 2010), Volume 6174 of LNCS, pages 562–565, Springer, 2010.
DownloadJoost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer. A Linear Process Algebraic Format for Probabilistic Systems with Data. Applications of Concurrency to System Design (ACSD), IEEE CS Press, 2010.
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David Piegdon. libalf: the Automata Learning Framework. Computer-Aided Verification (CAV), Volume 6174 of LNCS, pages 360–364, Springer-Verlag, 2010.
DownloadHaidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen. Analyzing Energy Consumption in a Gossiping MAC Protocol. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB/DFT), Volume 5987 of LNCS, pages 107–119, Springer-Verlag, 2010.
DownloadMarijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics 6(3), pages 276–286, 2010.
DownloadHolger Hermanns, Joost-Pieter Katoen. The How and Why of Interactive Markov Chains. Formal Methods for Components and Objects (FMCO), Volume 6286 of LNCS, pages 311–337, Springer-Verlag, 2010.
DownloadFalko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report. Proceedings of 7th European Performance Engineering Workshop (EPEW 2010), Volume 6342 of LNCS, pages 115–130, Springer, 2010.
DownloadBenoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives. Technical report at RWTH Aachen University number , 2010.
DownloadErika Abraham, Ulrich Loup, Ralf Wimmer, Joost-Pieter Katoen. On the Minimization of Hybrid Automata. Nordic Workshop on Programming Theory (NWPT'10), , 2010.
2009
LinkMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009), pages 121–130, IEEE CS Press, 2009.
DownloadMarijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling. 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pages 63–72, IEEE Computer Society, 2009.
DownloadJoost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems. Technical report at RWTH Aachen number AIB-2009-15, 2009.
LinkMartin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes. Foundations of Software Science and Computation Structures (FoSSaCS), Volume 5504 of LNCS, pages 364–379, Springer-Verlag, 2009.
DownloadTingting Han, Joost-Pieter Katoen, Berteun Damman. Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering 35(2), pages 241–257, 2009.
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications. Technical report at RWTH Aachen University number AIB-2009-02, 2009.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. IEEE Symposium on Logic in Computer Science (LICS), IEEE CS Press, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009), Volume 5775 of LNCS, pages 173–186, Springer, 2009.
DownloadJoost-Pieter Katoen, Ivan S. Zapreev. Simulation-based CTMC Model Checking: An Empirical Evaluation. Quantitative Evaluation of Systems (QEST), pages 31–40, IEEE CS Press, 2009.
DownloadDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. Quantitative Evaluation of Systems (QEST), pages 133–142, IEEE CS Press, 2009.
DownloadJoost-Pieter Katoen, Ivan S. Zapreev, E. Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC. Quantitative Evaluation of Systems (QEST), pages 167–176, IEEE CS Press, 2009.
DownloadJoost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction of Stochastic Systems . Formal Modeling and Analysis of Timed Systems (FORMATS), Volume 5813 of LNCS, pages 195–211, Springer, 2009.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Volume 5799 of LNCS, pages 104–119, , 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). Proc. 7th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009), pages 285–286, ACM Press, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems. Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), Volume 507 of CEUR Workshop Proceedings, pages 87–91, , 2009.
2008
DownloadManuela Bujorianu, Joost-Pieter Katoen. Symmetry reduction for stochastic hybrid systems. Proceedings 47th IEEE Conference on Decision and Control (CDC), pages 233–238, IEEE Control Systems Society, 2008.
DownloadTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability. Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 173–182, IEEE CS Press, 2008.
DownloadJoost-Pieter Katoen. How to model and analyze gossiping protocols?. ACM Performance Evaluation Review 36(3), pages 3–6, 2008.
DownloadBerteun Damman, Tingting Han, Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples. Proceedings 5th International Conference on Quantitative Evaluation of Systems (QEST), pages 179–188, IEEE CS Press, 2008.
DownloadJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages. 19th International Conference on Concurrency Theory (CONCUR'08), Volume 5201 of LNCS, pages 279–294, Springer, 2008.
DownloadBenedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning. 19th International Conference on Concurrency Theory (CONCUR'08), Volume 5201 of LNCS, pages 162–166, Springer, 2008.
DownloadTaolue Chen, Tingting Han, Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata. 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 177–184, IEEE CS Press, 2008.
DownloadJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlang's method of stages. Technical report at RWTH Aachen University number AIB-2008-12, 2008.
DownloadChristel Baier, Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
DownloadTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains. Hybrid Systems: Computation and Control (HSCC), Volume 4981 of LNCS, pages 244–258, Springer Verlag, 2008.
DownloadDavid N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev. How fast and fat is your probabilistic model checker? An experimental comparison. Hardware and Software: Verification and Testing (Haifa Verification Conference, HVC), Volume 4899 of LNCS, pages 69–85, Springer, 2008.
LinkChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes. In Erich Graedel, Joerg Flum, Thomas Wilke editors, Logic and Automata: History and Perspectives, pages 53–72, Volume 2 of Texts in Logics and Games, 2008.
DownloadJoost-Pieter Katoen. Perspectives in Probabilistic Verification. 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 3–10, IEEE CS Press, 2008.
DownloadMani Swaminathan, Martin Fraenzle, Joost-Pieter Katoen. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. 5th IFIP International Conference on Theoretical Computer Science (IFIP TCS), Volume 273 of IFIP, pages 537–553, Springer, 2008.
DownloadJoost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains. Formal Modeling and Analysis of Timed Systems (FORMATS), Volume 5215 of LNCS, pages 203–217, Springer-Verlag, 2008.
DownloadJoost-Pieter Katoen. Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. Design, Automation and Test in Europe (DATE), pages 86–87, IEEE CS Press, 2008.
2007
DownloadJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Technical report at RWTH Aachen University number , 2007.
DownloadTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. Technical report at RWTH Aachen number AIB-2007-21, 2007.
DownloadTingting Han, Joost-Pieter Katoen. Providing evidence of likely being on time – Counterexample generation for CTMC model checking. Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), Volume of Lecture Notes in Computer Science, Springer Verlag, 2007.
DownloadJoost-Pieter Katoen. Abstraction of Probabilistic Systems. Formal Methods for Timed Systems (FORMATS'07), Volume 4763 of LNCS, pages 1–3, Springer-Verlag, 2007.
DownloadMartin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. 18th International Conference on Concurrency Theory (CONCUR'07), Volume 4703 of LNCS, pages 412–427, Springer-Verlag, 2007.
DownloadMartin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. Technical report at RWTH Aachen University, Dept. of Computer Science number AIB 2007-10, 2007.
DownloadJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for continuous-time Markov chains. Proceedings of the 19th International Conference on Computer Aided Verification (CAV), Volume 4590 of Lecture Notes in Computer Science, pages 311–324, Springer Verlag, 2007.
DownloadJoost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Technical report at RWTH Aachen University number 2007-06, 2007.
DownloadHenrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor: The MoDeST Tool Environment. Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), Volume 4424 of Lecture Notes in Computer Science, pages 500–504, Springer-Verlag, 2007.
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), Volume 4424 of Lecture Notes in Computer Science, pages 435–450, Springer Verlag, 2007.
DownloadJoost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking.. Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), Volume 4424 of Lecture Notes in Computer Science, pages 76–92, Springer Verlag, 2007.
DownloadJoost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Workshop on Heap Analysis and Verification (HAV 2007), pages 94–113, , 2007.
DownloadTingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking. Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), Volume 4424 of Lecture Notes in Computer Science, pages 60–75, Springer Verlag, 2007.
DownloadRocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink. Model checking mobile stochastic logic. Theoretical Computer Science 382, pages 42–70, 2007.
2006
DownloadJoost-Pieter Katoen. Stochastic model checking. In Christos G. Cassandras, John Lygeros editors, Stochastic Hybrid Systems: Recent Developments and Research Trends, 2006.
DownloadDino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs. Formal Methods for Components and Objects, Volume 4111 of LNCS, pages 280–312, Springer-Verlag, 2006.
DownloadHenrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering 32(10), pages 812–830, 2006.
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Technical report at RWTH Aachen number AIB-2006-12, 2006.
DownloadJasper Berendsen, David N. Jansen, Joost-Pieter Katoen. Probably on time and within budget – On reachability in priced probabilistic timed automata. Quantitative Evaluation of Systems (QEST), IEEE CS Press, 2006.
DownloadJoost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability. Quantitative Evaluation of Systems (QEST), pages 301–310, IEEE CS Press, 2006.
DownloadTingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking. Technical report at RWTH Aachen number AIB 2006-09, 2006.
DownloadRocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science 153, pages 161–175, 2006.
DownloadMario Bravetti, Holger Hermanns, Joost-Pieter Katoen. YMCA: Why Markov Chain Algebra?. Electronic Notes in Theoretical Computer Science 162, pages 107–112, 2006.
2005
DownloadChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains. Information and Computation 200(2), pages 149–214, 2005.
DownloadJoost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker. Quantitative Evaluation of Systems (QEST), pages 243–244, IEEE CS Press, 2005.
DownloadJoost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability.. Technical report at CTIT, University of Twente number TR-CTIT-05-52, 2005.
DownloadHenrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there? — A Lightweight Algorithm To Monitor Node Presence in Self-Configuring Networks. , pages 704–709, , 2005.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata. Information and Computation 203(1), pages 1–38, 2005.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra. Information and Computation 203(1), pages 39–74, 2005.
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner editors. Model-Based Testing of Reactive Systems (Advanced Lectures). Springer-Verlag, Volume 3472 of Lecture Notes in Computer Science, 2005.
DownloadLucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards. , pages 722–731, , 2005.
DownloadChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4), pages 10–15, 2005.
DownloadChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science 345(1), pages 2–26, 2005.
2004
DownloadHenrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical report at Centre for Telematics and Information Technology, University of Twente number TR-CTIT-04-46, 2004.
DownloadJoost-Pieter Katoen, Henrik Bohnenkamp, Ric Klaren, Holger Hermanns. Embedded software analysis with MOTOR. In , Formal Methods for the Design of Real-Time Systems (SFM-RT 2004), pages 268–294, Volume 3185 of LNCS, 2004.
DownloadDino Distefano, Joost-Pieter Katoen, Arend Rensink. Who is pointing when to whom? – On the automated verification of linked list structures. Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 250–262, LNCS vol. 3328, Springer-Verlag, 2004.
DownloadMieke Massink, Joost-Pieter Katoen, Diego Latella. Model checking dependability attributes of wireless group communication. Dependable Systems and Networks (DSN), pages 711–720, IEEE Computer Society, 2004.
DownloadChristel Baier, Holger Hermanns, Joost-Pieter Katoen. Probabilistic weak simulation is decidable in polynomial time. Information Processing Letters 89(3), pages 123–130, 2004.
Giuliana Franceschinis, Boudewijn R. Haverkort, Joost-Pieter Katoen, Murray Woodside editors. Proceedings of the First Int. Conf. on Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2004.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle editors. Validation of Stochastic Systems. Springer-Verlag, Volume 2925 of LNCS, 2004.
DownloadChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Efficient computation of maximal timed reachability probabilities in uniform continuous-time Markov decision processes. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 61–76, LNCS vol. 2988, Springer-Verlag, 2004.
2003
DownloadHenrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Vinh Vi Lam, Bill Sanders. On integrating the Möbius and MoDeST modeling tools. Dependable Systems and Networks (DSN), pages 671, IEEE, 2003.
DownloadHenrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren. The MoDeST Modeling Tool and its implementation. Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2003), Volume 2794 of LNCS, Springer-Verlag, 2003.
DownloadDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen. A QoS-Oriented Extension of UML Statecharts. The Unified Modeling Language (UML), Volume 2853 of LNCS, pages 76–92, Springer-Verlag, 2003.
DownloadSuzana Andova, Holger Hermanns, Joost-Pieter Katoen. Discrete-time rewards model-checked. Formal Methods for Timed Systems (FORMATS), Volume 2791 of LNCS, pages 88–104, Springer-Verlag, 2003.
DownloadChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf. Comparative branching-time semantics for Markov chains. Concurrency Theory (CONCUR), Volume 2761 of LNCS, pages 492–508, Springer-Verlag, 2003.
DownloadHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle. A tool for model-checking Markov chains. STTT 4(2), pages 153–172, 2003.
DownloadPeter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper. Model-checking large structured Markov chains. J. Log. Algebr. Program 56(1-2), pages 69–97, 2003.
DownloadChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering 29(6), pages 524–541, 2003.
2002
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. Model checking performability properties. Dependable Systems and Networks (DSN), pages 103–113, IEEE CS Press, 2002.
David N. Jansen, Holger Hermanns, Joost-Pieter Katoen. A probabilistic extension of UML statecharts – specification and verification. Formal Techniques for Real-Time and Fault-Tolerant systems (FTRTFT), Volume 2469 of LNCS, pages 355–374, Springer-Verlag, 2002.
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort. Simulation for continuous-time Markov chains. Concurrency Theory (CONCUR), Volume 2421 of LNCS, pages 338–354, Springer-Verlag, 2002.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking. Computer Performance Evaluation, Volume 2459 of LNCS, pages 261–289, Springer-Verlag, 2002.
Dino Distefano, Arend Rensink, Joost-Pieter Katoen. Model checking birth and death. IFIP Working Conference on Theoretical Computer Science (TCS), Volume 223 of IFIP Proceedings, pages 435–447, Kluwer Academic Publishers, 2002.
Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen. Process algebra for performance evaluation. Theor. Comput. Sci 274(1-2), pages 43–87, 2002.
Joost-Pieter Katoen, Perdita Stevens editors. Tools and Algorithms for the Construction and Analysis of Computer Systems (TACAS). LNCS vol. 2280, Springer-Verlag, 2002.
2001
Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink. First passage time analysis of stochastic process algebra using partial orders. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 220–236, LNCS vol. 2031, Springer-Verlag, 2001.
Gabriel Infante G. López, Holger Hermanns, Joost-Pieter Katoen. Beyond memoryless distributions: model checking semi-Markov chains. Process Algebra and Probabilistic Methods (PAPM-Probmiv), pages 57–70, LNCS vol. 2165, Springer-Verlag, 2001.
Joost-Pieter Katoen, Marta Kwiatkowska, Gethin Norman, David Parker. Faster and Symbolic CTMC Model Checking. Process Algebra and Probabilistic Methods (PAPM-Probmiv), pages 23–38, LNCS vol. 2165, Springer-Verlag, 2001.
Joost-Pieter Katoen, Christel Baier, Diego Latella. Metric semantics for true concurrent real time. Theor. Comput. Sci 254(1-2), pages 501–542, 2001.
DownloadPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren. MoDeST: A Modelling language for Stochastic Timed systems. Process Algebra and Probabilistic Methods (PAPM-Probmiv), pages 87–104, LNCS vol. 2165, Springer-Verlag, 2001.
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen editors. Lectures on Formal Methods and Performance Analysis. Springer-Verlag, Volume 2090 of LNCS, 2001.
Holger Hermanns, Joost-Pieter Katoen. Performance analysis := (process algebra + model checking) × Markov chains. In Kim G. Larsen, Mogens Nielsen editors, Concurrency Theory (CONCUR), volume 2154 of Lecture Notes in Computer Science, pages 59–82, 2001.
Joost-Pieter Katoen, Pedro R. D'Argenio. General distributions in process algebra. In Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen editors, Lectures on Formal Methods and Performance Analysis (FMPA), pages 375–429, 2001.
2000
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. A temporal logic for object-based systems. Formal Methods for Open Object-based Distributed Systems IV (FMOODS), pages 305–326, IFIP Proceedings vol. 177, Kluwer Academic Publishers, 2000.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the logical characterisation of performability properties. Automata, Languages and Programming (ICALP), pages 780–792, LNCS vol. 1853, Springer-Verlag, 2000.
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle. A Markov chain model checker. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 357–373, LNCS vol. 1785, Springer, 2000.
Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. The use of model checking techniques for quantitative dependability evaluation. IEEE Symposium on Reliable Distributed Systems (SRDS), pages 228–238, IEEE CS Press, 2000.
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle. Towards model checking stochastic process algebra. Integrated Formal Methods (IFM), pages 420–439, LNCS vol. 1945, Springer, 2000.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking continuous-time Markov chains by transient analysis. Computer-Aided Verification (CAV), pages 358–372, LNCS vol. 1855, Springer, 2000.
Holger Hermanns, Joost-Pieter Katoen. Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming 36(1), pages 97–127, 2000.
Joost-Pieter Katoen, Albert Nymeyer. Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci 238(1-2), pages 439–464, 2000.
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Towards model checking OCL. ECOOP-Workshop on Defining Precise Semantics for UML. Sophia-Antipolis, France, 10 pages, , 2000.
1999
Joost-Pieter Katoen editors. Proceedings of the 5th International AMAST Workshop, ARTS '99. Springer-Verlag, Volume 1601 of Lecture Notes in Computer Science, 1999.
DownloadChristel Baier, Joost-Pieter Katoen, Holger Hermanns. Approximate Symbolic Model Checking of Continuous-Time Markov Chains. Concurrency Theory (CONCUR), volume 1664 of Lecture Notes in Computer Science, pages, pages 146–162, Springer, 1999.
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma. Specification and analysis of soft real-time systems: quality and quantity. IEEE Real-Time Systems Symposium (RTSS), pages 104–114, IEEE Computer Society Press, 1999.
DownloadPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. On Generative Parallel Composition. Electronic Notes in Theoretical Computer Science 22, 1999.
1998
DownloadJoost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi. A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods in System Design 12(2), pages 189–216, 1998.
DownloadJoost-Pieter Katoen, Lennard Lambert. Pomsets for message sequence charts. Formale Beschreibungstechniken für verteilte Systeme (FBT), pages 197–208, Shaker Verlag, 1998.
DownloadHoward Bowman, Joost-Pieter Katoen. A True Concurrency Semantics for ET-LOTOS. International IEEE Conference on Applications of Concurrency to System Design (CSD), pages 228–239, IEEE Computer Society Press, 1998.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). IFIP Working Conference on Programming Concepts and Methods (PROCOMET), pages 126–148, Chapman & Hall, 1998.
DownloadHoward Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal (Extended version). Formal Aspects of Computing 10(5-6), pages 550–575, 1998.
DownloadEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. Partial-order models for quantitative extensions of LOTOS. Computer Networks & ISDN Systems 30(9-10), pages 925–950, 1998.
DownloadChristel Baier, Joost-Pieter Katoen, Diego Latella. Metric Semantics for True Concurrent Real Time. Automata, Languages, and Programming (ICALP), volume 1443 of Lecture Notes in Computer Science, pages 568–580, Springer, 1998.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma. General purpose discrete-event simulation using SPADES. 6th International Workshop on Process Algebra and Performance Modelling (PAPM), pages 85–103, CLUT Press, 1998.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma. A compositional approach to generalised semi-Markov processes. 4th Int. Workshop on Discrete-Event Systems (WODES), pages 391–397, IEE Press, 1998.
1997
DownloadPedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans. The Bounded Retransmission Protocol Must Be on Time!. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1217 of Lecture Notes in Computer Science, pages 416–432, Springer-Verlag, 1997.
DownloadRom Langerak, Ed Brinksma, Joost-Pieter Katoen. Causal ambiguity and partial orders in event structures. Concurrency Theory (CONCUR), volume 1243 of Lecture Notes in Computer Science, pages 317–332, Springer, 1997.
DownloadAlbert Nymeyer, Joost-Pieter Katoen. Code generation based on formal bottom-up rewrite systems theory and heuristic search. Acta Informatica 34(4), pages 597–635, 1997.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma. A stochastic automata model and its algebraic approach. 5th International Workshop on Process Algebra and Performance Modelling (PAPM) CTIT Technical Report 97-14, pages 1–16, University of Twente, 1997.
DownloadAlbert Nymeyer, Joost-Pieter Katoen. The systematic development of a pattern-matching algorithm using term-rewriting systems. Proc. of Computing: The Australasian Theory Symposium (CATS), , 1997.
1996
DownloadJacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing 9(4), pages 157–171, 1996.
DownloadJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. On specifying realtime systems in a causality-based setting. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), volume 1135 of Lecture Notes in Computer Science, pages 385–405, Springer, 1996.
DownloadPedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans. Modelling and verifying a bounded retransmission protocol using Uppaal. COST 247 Int. Workshop on Applied Formal Methods in System Design, pages 114–128, University of Maribor, 1996.
DownloadJoost-Pieter Katoen, Diego Latella, Ed Brinksma, Rom Langerak. Stochastic simulation of event structures. 4th International Workshop on Process Algebra and Performance Modelling (PAPM), pages 21–40, CLUT Press, 1996.
DownloadAlbert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas. Code generation = A* + BURS. Compiler Construction (CC), volume 1060 of Lecture Notes in Computer Science, pages 160–177, Springer-Verlag, 1996.
DownloadJoost-Pieter Katoen, Berry Schoenmakers. Systolic arrays for the recognition of permutation-invariant segments. Science of Computer Programming 27(2), pages 119–137, 1996.
DownloadGeorgios Karagiannis, Joost-Pieter Katoen, Ignas G.M.M. Niemegeers. B-ISDN to the cell site switch versus B-ISDN to the mobile terminal. IEEE International Conference on Communicating Systems (ICCS), pages 629–633, IEEE Press, 1996.
DownloadJoost-Pieter Katoen. Quantitative and Qualitative Extensions of Event Structures. Phd Thesis at University of Twente, 1996.
1995
DownloadJoost-Pieter Katoen. Functional integration of B-ISDN and UMTS. 45th IEEE Vehicular Technology Conference (VTC), pages 163–168, IEEE Press (extended version as Technical Report 95-02, University of Twente), 1995.
DownloadJoost-Pieter Katoen. Causal behaviours and nets. Application and Theory of Petri Nets 1995 (ATPN), volume 935 of Lecture Notes in Computer Science, pages 258–277, Springer, 1995.
DownloadEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. A stochastic causality-based process algebra. The Computer Journal 38(7), pages 552–565, 1995.
DownloadMarten Sinderen van, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen. A design model for open distributed processing systems. Computer Networks & ISDN Systems 27(6), pages 1263–1285, 1995.
1994
DownloadJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. Performance analysis and true concurrency semantics (extended abstract). 2nd Workshop on Process Algebra and Performance Modelling (PAPM), Band 27(4) of Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, pages 157–174, IMMD, 1994.
DownloadJoost-Pieter Katoen, Rom Langerak, Diego Latella. Modelling systems by probabilistic process algebra: an event structures approach. Formal Description Techniques VI (FORTE), volume C–22 in IFIP Transactions, pages 253–268, North-Holland, 1994.
DownloadEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. Performance analysis and true concurrency semantics. Theories and Experiences for Real-Time System Development, chapter 12, AMAST Series in Computing 2, pages 309–337, 1994.
DownloadJacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw. Algebraic specification of dynamic leader election protocols in broadcast networks. Algebra of Communicating Processes (ACP), Workshops in Computing, pages 338–357, Springer-Verlag, 1994.
DownloadJoost-Pieter Katoen, Jeroen van de Lagemaat. Circuit Switching. In , , Samsom BedrijfsInformatie, 1994.
DownloadJoost-Pieter Katoen, Jeroen van de Lagemaat. Packet Switching. In , , Samsom BedrijfsInformatie, 1994.
1993
DownloadJoost-Pieter Katoen. A semi-Markov model of a home network access protocol. Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), vol. 25 of Simulation Series, pages 293–299, SCS, 1993.
DownloadJoost-Pieter Katoen, Martin Rem. Recognizing K-rotated segments. International Journal of High Speed Computing 5(2), pages 293–305, 1993.
1992
DownloadJoost-Pieter Katoen, Berry Schoenmakers. A parallel program for recognizing P-invariant segments. Algorithms and Parallel VLSI Architectures II, pages 79–85, North-Holland, 1992.
1989
DownloadCees Hemerik, Joost-Pieter Katoen. Bottom-up tree acceptors. Science of Computer Programming 13(1), pages 51–72, 1989.