2010
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces. Communications of the ACM, , 2010.
  Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models. Formal Methods in Systems Design, , 2010.
  Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering, , 2010.
  Alessandro Abate, Joost-Pieter Katoen, John Lygeros, and Maria Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control, , 2010.
  Joost-Pieter Katoen. Advances in Probabilistic Model Checking. In Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science. Springer-Verlag, 2010.

2009
  Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications. Technical Report AIB-2009-02, RWTH Aachen University, 2009.
 
Martin R. Neuhäußer, Marielle Stoelinga, and Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In Foundations of Software Science and Computation Structures (FoSSaCS). pages 364–379. Volume 5504 of LNCS. Springer-Verlag, 2009.
 
Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, and Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling. In Proc. DSN 2009, IEEE Computer Society, 2009.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. In IEEE Symposium on Logic in Computer Science (LICS). IEEE CS Press, 2009.
 
Tingting Han, Joost-Pieter Katoen, and Berteun Damman. Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35(2):241–257, 2009.
  Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, and Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. In Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009). ACM Press, 2009.
 
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009). pages 173–186. Volume 5775 of LNCS. Springer, 2009.
  Joost-Pieter Katoen, and Ivan S. Zapreev. Simulation-based CTMC Model Checking: An Empirical Evaluation. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2009.
 
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, and Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2009.
 
Joost-Pieter Katoen, E. Moritz Hahn, Holger Hermanns, David N. Jansen, and Ivan S. Zapreev. The Ins and Outs of the Probabilistic Model Checker MRMC. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2009.
 
Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction of Stochastic Systems . In Formal Modeling and Analysis of Timed Systems (FORMATS). pages 195–211. Volume 5813 of LNCS. Springer, 2009.
 
Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA’09). pages 104–119. Volume 5799 of LNCS. 2009.
 
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). In Proc. 7th Joint Meeting of European Software Engineering Conference and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009). pages 285–286. ACM Press, 2009.
 
Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems. Technical Report AIB-2009-15, RWTH Aachen, 2009.
  Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Model-Based Codesign of Critical Embedded Systems. In Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). LNCS. Springer, 2009.

2008
 
Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking, MIT Press, 2008.
  David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, and Ivan S. Zapreev. How fast and fat is your probabilistic model checker? An experimental comparison. In Hardware and Software: Verification and Testing (Haifa Verification Conference, HVC). pages 69–85. Volume 4899 of LNCS. Springer, 2008.
 
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains. In Hybrid Systems: Computation and Control (HSCC). pages 244–258. Volume 4981 of LNCS. Springer Verlag, 2008.
 
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes. In Erich Graedel, Joerg Flum, and Thomas Wilke, editors, Logic and Automata: History and Perspectives. pages 53–72. Volume 2 of Texts in Logics and Games. Amsterdam University Press, 2008.
 
Joost-Pieter Katoen. How to model and analyze gossiping protocols?. ACM Performance Evaluation Review, 36(3):3–6, 2008.
 
Taolue Chen, Tingting Han, and Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata. In 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). pages 177–184. IEEE CS Press, 2008.
 
Joost-Pieter Katoen. Perspectives in Probabilistic Verification. In 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). pages 3–10. IEEE CS Press, 2008.
 
Mani Swaminathan, Martin Fraenzle, and Joost-Pieter Katoen. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. In 5th IFIP International Conference on Theoretical Computer Science (IFIP TCS). pages 537–553. Volume 273 of IFIP. Springer, 2008.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for Stochastic Systems by Erlang’s Method of Stages. In 19th International Conference on Concurrency Theory (CONCUR’08). pages 279–294. Volume 5201 of LNCS. Springer, 2008.
 
Berteun Damman, Tingting Han, and Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples. In Proceedings 5th International Conference on Quantitative Evaluation of Systems (QEST). pages 179–188. IEEE CS Press, 2008.
 
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, and Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning. In 19th International Conference on Concurrency Theory (CONCUR’08). pages 162–166. Volume 5201 of LNCS. Springer, 2008.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for stochastic systems by Erlang’s method of stages. Technical Report AIB-2008-12, RWTH Aachen University, 2008.
 
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—the Smyle modeling approach. Technical Report TUM-I0820, TU München, 2008.
 
Joost-Pieter Katoen, and Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains. In Formal Modeling and Analysis of Timed Systems (FORMATS). pages 203–217. Volume 5215 of LNCS. Springer-Verlag, 2008.
  Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—The Smyle Modeling Approach. In Proceedings 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET). LNCS. 2008.
 
Manuela Bujorianu, and Joost-Pieter Katoen. Symmetry reduction for stochastic hybrid systems. In Proceedings 47th IEEE Conference on Decision and Control (CDC). pages 233–238. IEEE Control Systems Society, 2008.
 
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability. In Proceedings of IEEE Real-Time Systems Symposium (RTSS). pages 173–182. IEEE CS Press, 2008.

2007
 
Henrik Bohnenkamp, Holger Hermanns, and Joost-Pieter Katoen. Motor: The MoDeST Tool Environment. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 500–504. Volume 4424 of Lecture Notes in Computer Science. Springer-Verlag, 2007.
 
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 435–450. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007.
 
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, and David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking.. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 76–92. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007.
 
Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. In Workshop on Heap Analysis and Verification (HAV 2007). pages 94–113. 2007.
 
Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Technical Report 2007-06, RWTH Aachen University, 2007. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2007/2007-06.pdf.
  Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, and Mieke Massink. Model checking mobile stochastic logic. Theoretical Computer Science, 382:42–70, 2007.
 
Tingting Han, and Joost-Pieter Katoen. Counterexamples in probabilistic model checking. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 60–75. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-valued abstraction for continuous-time Markov chains. In Proceedings of the 19th International Conference on Computer Aided Verification (CAV). pages 311–324. Volume 4590 of Lecture Notes in Computer Science. Springer Verlag, 2007.
 
Martin R. Neuhäußer, and Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. In 18th International Conference on Concurrency Theory (CONCUR’07). pages 412–427. Volume 4703 of LNCS. Springer-Verlag, 2007.
 
Tingting Han, and Joost-Pieter Katoen. Providing evidence of likely being on time – Counterexample generation for CTMC model checking. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA’07). Lecture Notes in Computer Science. Springer Verlag, 2007.
  Joost-Pieter Katoen. Abstraction of Probabilistic Systems. In Formal Methods for Timed Systems (FORMATS’07). pages 1–3. Volume 4763 of LNCS. Springer-Verlag, 2007.
 
Martin R. Neuhäußer, and Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. Technical Report AIB 2007-10, RWTH Aachen University, Dept. of Computer Science, 2007.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Technical Report , RWTH Aachen University, 2007.
 
Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. Technical Report AIB-2007-21, RWTH Aachen, 2007.

2006
 
Tingting Han, and Joost-Pieter Katoen. Counterexamples in probabilistic model checking. Technical Report AIB 2006-09, RWTH Aachen, 2006.
 
Jasper Berendsen, David N. Jansen, and Joost-Pieter Katoen. Probably on time and within budget – On reachability in priced probabilistic timed automata. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2006.
  Joost-Pieter Katoen. Stochastic model checking. In Christos G. Cassandras, and John Lygeros, editors, Stochastic Hybrid Systems: Recent Developments and Research Trends. Taylor and Francis, 2006.
 
Dino Distefano, Joost-Pieter Katoen, and Arend Rensink. Safety and liveness in concurrent pointer programs. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Formal Methods for Components and Objects. pages 280–312. Volume 4111 of LNCS. Springer-Verlag, 2006.
 
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, and Mieke Massink. Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153:161–175, 2006.
 
Joost-Pieter Katoen, and Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability. In Quantitative Evaluation of Systems (QEST). pages 301–310. IEEE CS Press, 2006.
  Henrik Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering, 32(10):812–830, 2006.
  Mario Bravetti, Holger Hermanns, and Joost-Pieter Katoen. YMCA: Why Markov Chain Algebra?. Electronic Notes in Theoretical Computer Science, 162:107–112, 2006.
 
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Technical Report AIB-2006-12, RWTH Aachen, 2006.

2005
 
Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, and Joost-Pieter Katoen. Are you still there? — A Lightweight Algorithm To Monitor Node Presence in Self-Configuring Networks. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), pages 704–709. IEEE Computer Society, 2005.
  Pedro R. D’Argenio, and Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata. Information and Computation, 203(1):1–38, 2005.
  Pedro R. D’Argenio, and Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203(1):39–74, 2005.
  Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner, editors, Model-Based Testing of Reactive Systems (Advanced Lectures), Volume 3472 of Lecture Notes in Computer Science. Springer-Verlag, 2005.
 
Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, and Reza Pulungan. Model checking Markov reward models with impulse rewards. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), pages 722–731. IEEE Computer Society, 2005.
 
Joost-Pieter Katoen, Maneesh Khattri, and Ivan S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems (QEST). pages 243–244. IEEE CS Press, 2005.
  Christel Baier, Joost-Pieter Katoen, Holger Hermanns, and Verena Wolf. Comparative branching-time semantics for Markov chains. Information and Computation, 200(2):149–214, 2005.
 
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review, 32(4):10–15, 2005.
  Christel Baier, Holger Hermanns, Joost-Pieter Katoen, and Boudewijn R. Haverkort. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science, 345(1):2–26, 2005.
 
Joost-Pieter Katoen, and Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability.. Technical Report TR-CTIT-05-52, CTIT, University of Twente, 2005.

2004
 
Henrik C. Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology, University of Twente, 2004.
 
Joost-Pieter Katoen, Henrik Bohnenkamp, Ric Klaren, and Holger Hermanns. Embedded software analysis with MOTOR. In Marco Bernardo, and Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems (SFM-RT 2004). pages 268–294. LNCS vol. 3185, Springer-Verlag, 2004.
  Dino Distefano, Joost-Pieter Katoen, and Arend Rensink. Who is pointing when to whom? – On the automated verification of linked list structures. In Kamal Lodaya, and Meena Mahajan, editors, Foundations of Software Technology and Theoretical Computer Science (FSTTCS). pages 250–262. LNCS vol. 3328, Springer-Verlag, 2004.
  Mieke Massink, Joost-Pieter Katoen, and Diego Latella. Model checking dependability attributes of wireless group communication. In Dependable Systems and Networks (DSN). pages 711–720. IEEE Computer Society, 2004.
  Christel Baier, Holger Hermanns, and Joost-Pieter Katoen. Probabilistic weak simulation is decidable in polynomial time. Information Processing Letters, 89(3):123–130, 2004.
  Giuliana Franceschinis, Boudewijn R. Haverkort, Joost-Pieter Katoen, and 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, and Markus Siegle. Validation of Stochastic Systems. Lecture Notes in Computer Science, 465 pages, 2925, 2004.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Efficient computation of maximal timed reachability probabilities in uniform continuous-time Markov decision processes. In K. Jensen, and A. Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pages 61–76. LNCS vol. 2988, Springer-Verlag, 2004.

2003
  Henrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Vinh Vi Lam, and Bill Sanders. On integrating the Möbius and MoDeST modeling tools. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), pages 671–671. IEEE Computer Society Press, 2003.
 
Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, and Ric Klaren. The MoDeST Modeling Tool and its implementation. In Computer Performance Evaluation—Modelling Techniques and Tools (TOOLS 2003). Volume 2794 of LNCS. Springer-Verlag, 2003.
  David N. Jansen, Holger Hermanns, and Joost-Pieter Katoen. A QoS-Oriented Extension of UML Statecharts. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, The Unified Modeling Language (UML). pages 76–92. LNCS vol. 2863, Springer-Verlag, 2003.
  Suzana Andova, Holger Hermanns, and Joost-Pieter Katoen. Discrete-time rewards model-checked. In Kim G. Larsen, and Peter Niebert, editors, Formal Methods for Timed Systems (FORMATS). pages 88–104. LNCS vol. 2791, Springer-Verlag, 2003.
  Christel Baier, Holger Hermanns, Joost-Pieter Katoen, and Verena Wolf. Comparative branching-time semantics for Markov chains. In Roberto M. Amadio, and Denis Lugiez, editors, Concurrency Theory (CONCUR). pages 492–508. LNCS vol. 2761, Springer-Verlag, 2003.
  Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, and Markus Siegle. A tool for model-checking Markov chains. STTT, 4(2):153–172, 2003.
  Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, and Carsten Tepper. Model-checking large structured Markov chains. J. Log. Algebr. Program, 56(1-2):69–97, 2003.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29(6):524–541, 2003.

2002
  Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, and Christel Baier. Model checking performability properties. In Dependable Systems and Networks (DSN). pages 103–113. IEEE CS Press, 2002.
  David N. Jansen, Holger Hermanns, and Joost-Pieter Katoen. A probabilistic extension of UML statecharts – specification and verification. In Werner Damm, and Ernst-Rüdiger Olderog, editors, Formal Techniques for Real-Time and Fault-Tolerant systems (FTRTFT). pages 355–374. LNCS vol. 2469, Springer-Verlag, 2002.
  Christel Baier, Joost-Pieter Katoen, Holger Hermanns, and Boudewijn R. Haverkort. Simulation for continuous-time Markov chains. In Lubos Brim, Petr Jancar, Mojmír Kretínský, and Antonín Kucera, editors, Concurrency Theory (CONCUR). pages 338–354. LNCS vol. 2421, Springer-Verlag, 2002.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking. In Mariacarla Calzarossa, and Salvatore Tucci, editors, Computer Performance Evaluation. pages 261–289. LNCS vol. 2459, Springer-Verlag, 2002.
  Dino Distefano, Arend Rensink, and Joost-Pieter Katoen. Model checking birth and death. In Ricardo A. Baeza-Yates, Ugo Montanari, and Nicola Santoro, editors, IFIP Working Conference on Theoretical Computer Science (TCS). pages 435–447. IFIP Proceedings vol. 223, Kluwer Academic Publishers, 2002.
  Holger Hermanns, Ulrich Herzog, and Joost-Pieter Katoen. Process algebra for performance evaluation. Theor. Comput. Sci, 274(1-2):43–87, 2002.
  Joost-Pieter Katoen, and 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, and Mieke Massink. First passage time analysis of stochastic process algebra using partial orders. In Tiziana Margaria, and Wang Yi, editors, 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, and Joost-Pieter Katoen. Beyond memoryless distributions: model checking semi-Markov chains. In Luca de Alfaro, and Stephen Gilmore, editors, Process Algebra and Probabilistic Methods (PAPM-Probmiv). pages 57–70. LNCS vol. 2165, Springer-Verlag, 2001.
  Joost-Pieter Katoen, Marta Kwiatkowska, Gethin Norman, and David Parker. Faster and Symbolic CTMC Model Checking. In Luca de Alfaro, and Stephen Gilmore, editors, Process Algebra and Probabilistic Methods (PAPM-Probmiv). pages 23–38. LNCS vol. 2165, Springer-Verlag, 2001.
  Joost-Pieter Katoen, Christel Baier, and Diego Latella. Metric semantics for true concurrent real time. Theor. Comput. Sci, 254(1-2):501–542, 2001.
  Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen. Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, 430 pages, 2090, 2001.
  Holger Hermanns, and Joost-Pieter Katoen. Performance analysis := (process algebra + model checking) × Markov chains. In Kim G. Larsen, and Mogens Nielsen, editors, Concurrency Theory (CONCUR), volume 2154 of Lecture Notes in Computer Science. pages 59–82. 2001.
  Joost-Pieter Katoen, and Pedro R. D’Argenio. General distributions in process algebra. In Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen, editors, Lectures on Formal Methods and Performance Analysis (FMPA). pages 375–429. LNCS vol. 2090, Springer-Verlag, 2001.

2000
  Dino Distefano, Joost-Pieter Katoen, and Arend Rensink. A temporal logic for object-based systems. In Scott F. Smith, and Carolyn L. Talcott, editors, 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, and Joost-Pieter Katoen. On the logical characterisation of performability properties. In Ugo Montanari, José D.P. Rolim, and Emo Welzl, editors, Automata, Languages and Programming (ICALP). pages 780–792. LNCS vol. 1853, Springer-Verlag, 2000.
  Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, and Markus Siegle. A Markov chain model checker. In Susanne Graf, and Michael I. Schwartzbach, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pages 357–373. LNCS vol. 1785, Springer, 2000.
  Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. The use of model checking techniques for quantitative dependability evaluation. In IEEE Symposium on Reliable Distributed Systems (SRDS). pages 228–238. IEEE CS Press, 2000.
  Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, and Markus Siegle. Towards model checking stochastic process algebra. In Wolfgang Grieskamp, Thomas Santen, and Bill Stoddart, editors, Integrated Formal Methods (IFM). pages 420–439. LNCS vol. 1945, Springer, 2000.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model checking continuous-time Markov chains by transient analysis. In Allen E. Emerson, and Prasad A. Sistla, editors, Computer-Aided Verification (CAV). pages 358–372. LNCS vol. 1855, Springer, 2000.
  Holger Hermanns, and Joost-Pieter Katoen. Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program, 36(1):97–127, 2000.
  Joost-Pieter Katoen, and Albert Nymeyer. Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci, 238(1-2):439–464, 2000.
  Dino Distefano, Joost-Pieter Katoen, and Arend Rensink. Towards model checking OCL. In A. Moreira, J.-M. Bruel, R. France, and S. Kent, editors, ECOOP-Workshop on Defining Precise Semantics for UML. Sophia-Antipolis, France, 10 pages. 2000.

1999
  Joost-Pieter Katoen, editor, Proceedings of the 5th International AMAST Workshop, ARTS ’99, Volume 1601 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
  Christel Baier, Joost-Pieter Katoen, and Holger Hermanns. Approximate Symbolic Model Checking of Continuous-Time Markov Chains. In Jos C.M. Baeten, and Sjouke Mauw, editors, Concurrency Theory (CONCUR), volume 1664 of Lecture Notes in Computer Science, pages. pages 146–162. Springer, 1999.
  Pedro R. D’Argenio, Joost-Pieter Katoen, and Ed Brinksma. Specification and analysis of soft real-time systems: quality and quantity. In IEEE Real-Time Systems Symposium (RTSS). pages 104–114. IEEE Computer Society Press, 1999.
  Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. On Generative Parallel Composition. Electronic Notes in Theoretical Computer Science, 22, 1999.

1998
  Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, and Tommaso Bolognesi. A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods in System Design, 12(2):189–216, 1998.
  Joost-Pieter Katoen, and Lennard Lambert. Pomsets for message sequence charts. In Hartmut König, and Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme (FBT). pages 197–208. Shaker Verlag, 1998.
  Howard Bowman, and Joost-Pieter Katoen. A True Concurrency Semantics for ET-LOTOS. In International IEEE Conference on Applications of Concurrency to System Design (CSD). pages 228–239. IEEE Computer Society Press, 1998.
  Pedro R. D’Argenio, Joost-Pieter Katoen, and Ed Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). In David Gries, and Willem-Paul de Roever, editors, IFIP Working Conference on Programming Concepts and Methods (PROCOMET). pages 126–148. Chapman & Hall, 1998.
  Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, and Mieke Massink. Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal (Extended version). Formal Aspects of Computing, 10(5-6):550–575, 1998.
  Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, and Diego Latella. Partial-order models for quantitative extensions of LOTOS. Computer Networks & ISDN Systems, 30(9-10):925–950, 1998.
  Christel Baier, Joost-Pieter Katoen, and Diego Latella. Metric Semantics for True Concurrent Real Time. In Kim G. Larsen, S. Skyum, and G. Winskel, editors, Automata, Languages, and Programming (ICALP), volume 1443 of Lecture Notes in Computer Science. pages 568–580. Springer, 1998.
  Pedro R. D’Argenio, Joost-Pieter Katoen, and Ed Brinksma. General purpose discrete-event simulation using SPADES. In C. Priami, editor, 6th International Workshop on Process Algebra and Performance Modelling (PAPM). pages 85–103. 1998.
  Pedro R. D’Argenio, Joost-Pieter Katoen, and Ed Brinksma. A compositional approach to generalised semi-Markov processes. In 4th Int. Workshop on Discrete-Event Systems (WODES). pages 391–397. IEE Press, 1998.

1997
  Pedro R. D’Argenio, Joost-Pieter Katoen, Theo C. Ruys, and Jan Tretmans. The Bounded Retransmission Protocol Must Be on Time!. In Ed Brinksma, editor, 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.
  Rom Langerak, Ed Brinksma, and Joost-Pieter Katoen. Causal ambiguity and partial orders. In Antoni Mazurkiewicz, and Józef Winkowski, editors, Concurrency Theory (CONCUR), volume 1243 of Lecture Notes in Computer Science. pages 317–332. Springer-Verlag, 1997.
  Albert Nymeyer, and Joost-Pieter Katoen. Code generation based on formal bottom-up rewrite systems theory and heuristic search. Acta Informatica, 34(4):597–635, 1997.
  Pedro R. D’Argenio, Joost-Pieter Katoen, and Ed Brinksma. A stochastic automata model and its algebraic approach. In Ed Brinksma, and Albert Nymeyer, editors, 5th International Workshop on Process Algebra and Performance Modelling (PAPM) CTIT Technical Report 97-14. pages 1–16. 1997.

1996
  Joost-Pieter Katoen, and Berry Schoenmakers. Systolic arrays for the recognition of permutation-invariant segments. Science of Computer Programming, 27(2):119–137, 1996.
  G. Karagiannis, Joost-Pieter Katoen, and I.G.M.M. Niemegeers. B-ISDN to the cell site switch versus B-ISDN to the mobile terminal. In IEEE International Conference on Communicating Systems (ICCS). pages 629–633. IEEE Press, 1996.
  Joost-Pieter Katoen. Quantitative and qualitative extensions of event structures. PhD Thesis, University of Twente, 1996.
  Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, and Sjouke Mauw. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing, 9(4):157–171, 1996.
  Joost-Pieter Katoen, Rom Langerak, Diego Latella, and Ed Brinksma. On specifying realtime systems in a causality-based setting. In Bengt Jonsson, and Joachim Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), volume 1135 of Lecture Notes in Computer Science. pages 385–405. Springer, 1996.
  Pedro R. D’Argenio, Joost-Pieter Katoen, Theo C. Ruys, and Jan Tretmans. Modelling and verifying a bounded retransmission protocol using Uppaal. In Z. Brezocnik, and T. Kapus, editors, COST 247 Int. Workshop on Applied Formal Methods in System Design. pages 114–128. 1996.
  Joost-Pieter Katoen, Diego Latella, Ed Brinksma, and Rom Langerak. Stochastic simulation of event structures. In M. Ribaudo, editor, 4th International Workshop on Process Algebra and Performance Modelling (PAPM). pages 21–40. CLUT Press, 1996.
  Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, and Henk Alblas. Code generation = A* + BURS. In Tibor Gyimothy, editor, Compiler Construction (CC), volume 1060 of Lecture Notes in Computer Science. pages 160–177. Springer-Verlag, 1996.

1995
  Joost-Pieter Katoen. Functional integration of B-ISDN and UMTS. In 45th IEEE Vehicular Technology Conference (VTC). pages 163–168. IEEE Press (extended version as Technical Report 95-02, University of Twente), 1995.
  Joost-Pieter Katoen. Causal behaviours and nets. In Giorgio De Michelis, and Michel Diaz, editors, Application and Theory of Petri Nets 1995 (ATPN), volume 935 of Lecture Notes in Computer Science. pages 258–277. Springer, 1995.
  Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, and Diego Latella. A stochastic causality-based process algebra. The Computer Journal, 38(7):552–565, 1995.
  Marten Sinderen van, Luís Ferreira Pires, Chris A. Vissers, and Joost-Pieter Katoen. A design model for open distributed processing systems. Computer NetworksISDN Systems, 27(6):1263–1285, 1995.

1994
  Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, and Diego Latella. Performance analysis and true concurrency semantics. Theories and Experiences for Real-Time System Development, chapter 12, AMAST Series in Computing, 2:309–337, 1994.
  Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, and Sjouke Mauw. Algebraic specification of dynamic leader election protocols in broadcast networks. In A. Ponse, C. Verhoef, and S.F.M. van Vlijmen, editors, Algebra of Communicating Processes (ACP), Workshops in Computing. pages 338–357. Springer-Verlag, 1994.
  Joost-Pieter Katoen, Rom Langerak, Diego Latella, and Ed Brinksma. Performance analysis and true concurrency semantics (extended abstract). In Ulrich Herzog, and M. Rettelbach, editors, 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. 1994.
  Joost-Pieter Katoen, Rom Langerak, and Diego Latella. Modelling systems by probabilistic process algebra: an event structures approach. In Richard L. Tenney, Paul D. Amer, and Ümit M. Uyar, editors, Formal Description Techniques VI (FORTE), volume C–22 in IFIP Transactions. pages 253–268. North-Holland, 1994.

1993
  Joost-Pieter Katoen, and M. Rem. Recognizing K-rotated segments. International Journal of High Speed Computing, 5(2):293–305, 1993.
  Joost-Pieter Katoen. A semi-Markov model of a home network access protocol. In Herbert D. Schwetman, Jean C. Walrand, Kallol Kumar Bagchi, and Doug DeGroot, editors, Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), vol. 25 of Simulation Series. pages 293–299. 1993.

1992
  Joost-Pieter Katoen, and Berry Schoenmakers. A parallel program for recognizing P-invariant segments. In Patrice Quinton, and Yves Robert, editors, Algorithms and Parallel VLSI Architectures II. pages 79–85. North-Holland, 1992.

1989
  C. Hemerik, and Joost-Pieter Katoen. Bottom-up tree acceptors. Science of Computer Programming, 13(1):51–72, 1989.