Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995
Number of items: 150.

2014

Guck, Dennis and Katoen, Joost-Pieter and Stoelinga, Mariëlle and Luiten, Ted and Romijn, Judi (2014) Smart railroad maintenance engineering with stochastic model checking. In: Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014, 8-11 April 2014, Ajaccio, Corsica, France (pp. p. 299).

2013

Baier, C. and Hahn, E.M. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2013) Model checking for performability. Mathematical structures in computer science, 23 (Special Issue 04). pp. 751-795. ISSN 0960-1295

Cohen, Albert and Donaldson, Alistair F. and Huisman, Marieke and Katoen, Joost-Pieter (2013) Correct and efficient accelerator programming. Dagstuhl Reports, 4 (3). pp. 17-33. ISSN 2192-5283

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata (extended version). [Report]

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 55-71).

Katoen, Joost-Pieter (2013) Concurrency meets probability: theory and practice (abstract). In: 24th International Conference on Concurrency Theory, CONCUR 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 44-45).

Katoen, Joost-Pieter (2013) Model checking meets probability: a gentle introduction. In: Engineering dependable software systems. NATO Science for Peace and Security Series - D: Information and Communication Security, 34 . IOS Press, Amsterdam, pp. 177-205. ISBN 9781614992066

Katoen, Joost-Pieter and Peled, Doron (2013) Taming confusion for modeling and implementing probabilistic concurrent systems. In: 22nd European Symposium on Programming, ESOP 2013, 16-24 March 2013, Rome, Italy (pp. pp. 411-430).

2012

Esteve, M.-A. and Katoen, J.P. and Nguyen, V.Y. and Postma, B. and Yushstein, Y. (2012) Formal correctness, safety, dependability, and performance analysis of a satellite. In: 34th International Conference on Software Engineering, ICSE 2012, 2-9 June 2012, Zürich, Switzerland (pp. pp. 1022-1031).

Guck, Dennis and Han, Tingting and Katoen, Joost-Pieter and Neuhausser, M. (2012) Quantitative timed analysis of interactive Markov chains. In: 4th International Symposium on NASA Formal Methods, NFM 2012, 3-5 April 2012, Norfolk, VA, USA (pp. pp. 8-23).

Katoen, J.P. (2012) GSPNs Revisited: Simple Semantics and New Analysis Algorithms. In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany (pp. pp. 6-11).

Katoen, Joost-Pieter (2012) Model checking: one can do much more than you think! In: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, April 20-22, 2011, Teheran, Iran (pp. pp. 1-14).

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 31 March - 1 April 2012, Tallinn, Estonia.

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata (extended version). [Report]

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 23rd International Conference on Concurrency Theory, CONCUR 2012, September 4-7, 2012, Newcastle upon Tyne, UK (pp. pp. 364-379).

2011

Barbot, Benoit and Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2011) Efficient CTMC Model Checking of Linear Real-Time Objectives. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 March - 3 April 2011, Saarbrücken, Germany (pp. pp. 128-142).

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2011) Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7 (1-12). ISSN 1860-5974

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2011) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 68 (2). pp. 90-104. ISSN 0166-5316

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation, 68 (2). pp. 105-125. ISSN 0166-5316

2010

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performability assessment by model checking of Markov reward models. Formal Methods in System Design, 36 (1). pp. 1-36. ISSN 0925-9856

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782

Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Larsen, Kim G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, October 18-21, 2010, Heraklion, Greece (pp. p. 127).

Hermanns, Holger and Katoen, Joost-Pieter (2010) The How and Why of Interactive Markov Chains. In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 4 - 6 November 2009, Eindhoven, the Netherlands (pp. pp. 311-337).

Jongerden, Marijn and Mereacre, Alexandru and Bohnenkamp, Henrik and Haverkort, Boudewijn and Katoen, Joost-Pieter (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203

Katoen, Joost-Pieter (2010) Advances in Probabilistic Model Checking. In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain (pp. p. 25).

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process-algebraic format for probabilistic systems with data (extended version). [Report]

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process algebraic format for probabilistic systems with data. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 213-222).

2009

Bujorianu, L.M. and Katoen, J.P. (2009) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, CDC 2008, 9-11 Dec 2008, Cancun, Mexico (pp. pp. 233-238).

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 24th Annual IEEE Symposium on Logic In Computer Science, LICS 2009, 11-14 Aug 2009, Los Angeles, USA (pp. pp. 309-318).

Han, T. and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589

Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal.

Katoen, Joost-Pieter and Klink, Daniel and Neuhäußer, Martin R. (2009) Compositional Abstraction of Stochastic Systems. In: 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, September 14-16, 2009, Budapest, Hungary (pp. pp. 195-211).

Katoen, Joost-Pieter and Zapreev, Ivan S. (2009) Simulation-based CTMC Model Checking: An Empirical Evaluation. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 31-40).

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 167-176).

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 133-142).

Neuhäußer, Martin R. and Stoelinga, Mariëlle and Katoen, Joost-Pieter (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: 12th International Conference Foundations of Software Science and Computational Structures, FOSSACS 2009, March 22-29, 2009, York, UK (pp. pp. 364-379).

2008

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany (pp. pp. 53-71).

Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. [Report]

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China (pp. pp. 177-184).

Damman, B. and Han, T. and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France (pp. pp. 179-188).

Han, T. and Katoen, J.P. and Mereacre, A. (2008) Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Hybrid Systems: Computation and Control (HSCC), St. Louis, U.S. (pp. pp. 244-258).

Han, T. and Katoen, J.P. and Mereacre, A. (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008), 1-3 Dec 2008, Barcelona, Spain (pp. pp. 173-182).

Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel (pp. pp. 69-85).

Katoen, J.P. (2008) Perspectives in probabilistic verification. In: Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China (pp. pp. 3-10).

2007

Bohnenkamp, Henrik and Hermanns, Holger and Katoen, Joost-Pieter (2007) Motor: The MoDeST Tool Environment. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal (pp. pp. 500-504).

De Nicola, Rocco and Katoen, Joost-Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke (2007) Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975

Han, T. and Katoen, J.P. (2007) Providing evidence of likely being on time – Counterexample generation for CTMC model checking. In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan (pp. pp. 331-346).

Han, Tingting and Katoen, Joost-Pieter (2007) Counterexamples in probabilistic model checking. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal (pp. pp. 72-86).

Neuhausser, M. and Katoen, J.P. (2007) Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. In: 18th International Conference on Concurrency Theory, CONCUR 2007, September 3-8, 2007, Lisbon, Portugal (pp. pp. 412-427).

2006

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy (pp. pp. 73-78).

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget – On reachability in priced probabilistic timed automata. In: Quantitative Evaluation of Systems (QEST), Riverside, US (pp. pp. 311-322).

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget: on reachability in priced probabilistic timed automata. [Report]

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589

Bravetti, Mario and Hermanns, Holger and Katoen, Joost-Pieter (2006) YMCA: Why Markov Chain Algebra? Electronic Notes in Theoretical Computer Science (ENTCS), 162 . pp. 107-112. ISSN 1571-0661

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2006) Safety and Liveness in Concurrent Pointer Programs. In: 4th Internatinal Symposium on Formal Methods for Components and Objects, FMCO 2005, November 1-4, 2005, Amsterdam, The Netherlands (pp. pp. 280-312).

Katoen, J.P. (2006) Stochastic model checking. In: Stochastic Hybrid Systems. Automation and Control Engineering Series, 24 . CRC Press, pp. 77-104. ISBN 9780849390838

Katoen, J.P. and Zapreev, I.S. (2006) Safe on-the-fly steady-state detection for time-bounded reachability. In: Quantitative Evaluation of Systems (QEST), Riverside, US (pp. pp. 301-310).

Katoen, J.P. (2006) Constraint-oriented specification of performance aspects. In: Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers). Telematica Instituut, Enschede, pp. 47-54. ISBN 9789075176414

2005

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2005) Model Checking meets Performance Evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-15. ISSN 0163-5999

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Haverkort, Boudewijn R. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science, 345 (1). pp. 2-26. ISSN 0304-3975

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Wolf, Verena (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401

Bohnenkamp, Henrik and Gorter, Johan and Guidi, Jarno and Katoen, Joost-Pieter (2005) Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. In: International Conference on Dependable Systems and Networks, DSN, 28 June-1 July 2005, Yokohama, Japan (pp. pp. 704-709).

Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A. , eds. (2005) Model-Based Testing of Reactive Systems, Advanced Lectures. Lecture Notes in Computer Science, 3472 . Springer-Verlag, Berlin. ISBN 9783540262787

Cloth, L. and Katoen, J.P. and Maneesh Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: International Conference on Dependable Systems and Networks, 2005. DSN 2005 (pp. pp. 722-731).

D'Argenio, Pedro R. and Katoen, Joost-Pieter (2005) A theory of stochastic systems part I: Stochastic automata. Information and Computation, 203 (1). pp. 1-38. ISSN 0890-5401

D'Argenio, Pedro R. and Katoen, Joost-Pieter (2005) A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203 (1). pp. 39-74. ISSN 0890-5401

De Nicola, Rocco and Katoen, Joost-Pieter and Latella, Diego and Massink, Mieke (2005) Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science (ENTCS), 153 (2). pp. 161-175. ISSN 1571-0661

Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2005) Performance and Verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). p. 3. ISSN 0163-5999

Katoen, J.P. and Maneesh Khattri, M. and Zapreev, I.S. (2005) A Markov reward model checker. In: Second International Conference on the Quantitative Evaluation of Systems, 2005 (pp. pp. 243-245).

Katoen, Joost-Pieter and Zapreev, Ivan S. (2005) Safe on-the-fly steady-state detection for time-bounded reachability. [Report]

2004

Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190

Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative branching-time semantics for Markov chains. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS, March 29 - April 2, 2004, Barcelona, Spain (pp. pp. 61-76).

Baier, Christel and Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Hermanns, Holger and Siegle, Markus , eds. (2004) Validation of Stochastic Systems : A Guide to Current Research. Lecture Notes in Computer Science, 2925 . Springer-Verlag, Berlin, Germany. ISBN 9783540222651

Bohnenkamp, Henrik and D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter (2004) MoDeST: a compositional modeling formalism for hard and softly timed systems. [Report]

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, 16-18 December 2004, Chennai, India (pp. pp. 250-262).

Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M. , eds. (2004) Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society Press, Los Alamitos. ISBN 9780769521855

Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science, 3185 . Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 9783540230687

Massink, M. and Katoen, J.P. and Latella, D. (2004) Model checking dependabiliy attributes of wireless group communication. In: Dependable Systems and Networks - Performance and Dependability Symposium (DSN 2003), 28 June - 1 July 2004, Florence, Italy (pp. pp. 711-720).

2003

Andova, Suzana and Hermanns, Holger and Katoen, Joost-Pieter (2003) Discrete-time rewards model-checked. In: First International Workshop on Formal Modelling and Analysis of Timed Systems, FORMATS 2003, September 6-7, 2003, Marseille, France (pp. pp. 88-104).

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. [Report]

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena (2003) Comparative branching-time semantics for Markov chains (extended abstract). In: 14th International Conference on Concurrency Theory, CONCUR 2003, September 3-5, 2003, Marseille, France (pp. pp. 492-507).

Bohnenkamp, Henrik and Courtney, Tod and Daly, David and Derisavi, Salem and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric and Vi Lam, Vinh and Sanders, William H. (2003) On Integrating the Mobius and Modest Modeling Tools. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA.

Buchholz, P. and Katoen, J.P. and Kemper, P. and Tepper, C. (2003) Model-checking large structured Markov chains. Journal of Logic and Algebraic Programming, 56 (1-2). pp. 69-97. ISSN 1567-8326

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2003) Who is pointing when to whom: on model-checking pointer structures. [Report]

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2003) A QoS-oriented extension of UML statecharts. In: 6th International Conference on the Unified Modeling Language, UML 2003, October 20-24, 2003, San Francisco, CA, USA (pp. pp. 76-91).

2002

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science, 2459 . Springer Verlag, Berlin, pp. 261-289. ISBN 9783540442523

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Haverkort, Boudewijn (2002) Simulation for continuous-time Markov chains. In: 13th International Conference on Concurrency Theory, CONCUR 2002, August 20-23, 2002, Brno, Czech Republic (pp. pp. 338-352).

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2002) Model checking birth and death. In: 2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing, August 25-30, 2002, Quebec, Canada (pp. pp. 435-447).

Haverkort, Boudewijn and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks, DSN, 23-26 June 2002, Bethesda, MD, USA (pp. pp. 103-112).

Hermanns, H. and Katoen, J.P. (2002) Guest editors' introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53 . pp. 1-5. ISSN 1567-8326

Hermanns, Holger and Herzog, Ulrich and Katoen, Joost-Pieter (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: Specification and Verification. In: 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, September 9-12, 2002, Oldenburg, Germany (pp. pp. 355-374).

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: specification and verification. [Report]

Katoen, Joost-Pieter (2002) Foreword. Theoretical Computer Science, 282 (1). pp. 1-3. ISSN 0304-3975

2001

Brinksma, Ed and Hermanns, Holger and Katoen, Joost-Pieter , eds. (2001) Lectures on formal methods and performance analysis. Lecture notes in computer science ; 2090, 2090 . Springer, Berlin, Germany. ISBN 9783540424796

Brinksma, Ed and Katoen, Joost-Pieter (2001) Hooggespannen verwachtingen model checking. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 3 (4). pp. 31-34. ISSN 1879-6443

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands (pp. pp. 31-36).

D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric (2001) MoDeST: A Modelling language for Stochastic Timed Systems. In: Joint International Workshop on Process Algebra and Probabilistic Methods. Performance Modelling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany (pp. pp. 87-104).

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2001) Model Checking Dynamic Allocation and Deallocation. [Report]

Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. In: 12th International Conference on Concurrency Theory, CONCUR 2001, 20-25 Aug 2001, Aalborg, Denmark (pp. pp. 59-81).

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany (pp. pp. 110-114).

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands (pp. pp. 83-88).

Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany (pp. pp. 57-70).

Katoen, J.P. and D'Argenio, P.R. (2001) General distributions in process algebra. In: Lectures on Formal Methods and Performance Analysis. Lecture notes in Computer Science, 2090 . Springer Verlag, London, pp. 375-428.

Katoen, Joost-Pieter and Baier, Christel and Latella, Diego (2001) Metric semantics for true concurrent real time. Theoretical Computer Science, 254 (1-2). pp. 501-542. ISSN 0304-3975

Katoen, Joost-Pieter and Kwiatkowska, Marta and Norman, Gethin and Parker, David (2001) Faster and symbolic CTMC model checking. In: Joint International Workshop on Process Algebra and Probabilistic Methods & Performance Modeling and Verification, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany (pp. pp. 23-38).

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 220-235).

2000

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA (pp. pp. 358-372).

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Logical Characterisation of Performability Properties. In: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland (pp. pp. 780-792).

Brinksma, Ed and D'Argenio, Pedro R. and Katoen, Joost-Pieter (2000) Stochastic process algebras: linking process descriptions with performance. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 34-42.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a temporal logic for object-based systems. [Report]

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, September 6-8, 2000, Stanford, CA, USA (pp. pp. 305-326).

Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany (pp. pp. 228-237).

Hermanns, H. and Katoen, J.P. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36 (1). pp. 97-127. ISSN 0167-6423

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany (pp. pp. 420-439).

Hermanns, Holger and Katoen, Joost-Pieter and Meyer-Kayser, Joachim and Siegle, M. (2000) A Markov Chain Model Checker. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 March 2000, Berlin, Germany (pp. pp. 347-362).

Katoen, Joost-Pieter and Nymeyer, Albert (2000) Pattern-matching algorithms based on term rewrite systems. Theoretical Computer Science, 238 (1-2). pp. 439-463. ISSN 0304-3975

1999

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger (1999) Approximate symbolic model checking of continous-time Markov chains. In: 10th International Conference on Concurrency Theory, CONCUR '99, August 24-27, 1999, Eindhoven, The Netherlands (pp. pp. 146-162).

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: First International Workshop on Probabilistic Methods in Verification, PROBMIV '98, 19-20 June 1998, Indianapolis, Indiana (pp. pp. 30-54).

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: 20th IEEE Real-Time Systems Symposium, 1-3 December 1999, Phoenix, Arizona (pp. pp. 104-114).

1998

Baier, Christel and Katoen, Joost-Pieter and Latella, Diego (1998) Metric semantics for true concurrent real time. In: 25th International Colloquium Automata, Languages and Programming, ICALP '98, July 13-17, 1998, Aalborg, Denmark (pp. pp. 568-580).

Bowman, H. and Faconti, G. and Katoen, J.P. and Latella, D. and Massink, M. (1998) Automatic verification of a lip-synchronisation protocol using Uppaal. Formal Aspects of Computing, 10 . pp. 550-575.

Bowman, H. and Katoen, J.P. (1998) A true concurrency semantics for ET-LOTOS. In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan (pp. pp. 228-239).

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1998) Partial-order models for quantitative extensions of LOTOS. Computer Networks and ISDN Systems, 30 (9-10). pp. 925-950. ISSN 0169-7552

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York (pp. pp. 126-147).

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) A Compositional Approach to Generalised semi-Markov Processes. In: Proceedings of the 4th Int. Workshop on Discrete Event Systems (WODES'98), Cagliari, Italy (pp. pp. 391-397).

Katoen, J.P. and Lambert, L. (1998) Pomsets for message sequence charts. In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany (pp. pp. 197-207).

Katoen, Joost-Pieter and Latella, Diego and Langerak, Rom and Brinksma, Ed and Bolognesi, Tommaso (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856

1997

D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 416-431).

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997, 26-27 June 1997, Enschede, the Netherlands (pp. pp. 1-16).

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Ruijs, Theo C. and Tretmans, G. Jan (1997) The bounded retransmission protocol must be on time! [Report]

Katoen, J.P. and Nymeyer, A. (1997) The systematic development of a pattern-matching algorithm using term rewrite systems. In: Proceedings of the Computing: the Australasian Theory Symposium (CATS'97), Sydney, Australia (pp. pp. 59-72).

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. [Report]

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland (pp. pp. 317-332).

Nymeyer, A. and Katoen, J.P. (1997) Code generation based on formal BURS theory and heuristic search. Acta informatica, 34 (8). pp. 597-635. ISSN 0001-5903

1996

Katoen, Joost-Pieter and Brinksma, Ed and Latella, Diego and Langerak, Rom (1996) Stochastic simulation of event structures. In: Fourth Process Algebra and Performance Modelling Workshop, PAPM '96, 4-5 July 1996, Torino, Italy (pp. pp. 21-49).

Katoen, Joost-Pieter (1996) Quantitative and qualitative extensions of event structures. thesis.

Katoen, Joost-Pieter and Schoenmakers, Berry (1996) Systolic arrays for the recognition of invariant segments. Science of Computer Programming, 27 (2). pp. 119-137. ISSN 0167-6423

Nymeyer, A. and Katoen, J.P. and Westra, Y. and Alblas, H. (1996) Code Generation = A* + BURS. In: Compiler Construction, 6th International Conference, CC'96, April 24-26, 1996, Linkoping, Sweden (pp. pp. 160-177).

1995

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1995) A stochastic causality-based process algebra. The Computer Journal, 38 (7). pp. 552-565. ISSN 0010-4620

Katoen, J.P. (1995) Functional Integration of B-ISDN and Umts. In: 45th IEEE Vehicular Technology Conference, Chicago, USA, 1995, 25-28 July 1995 (pp. pp. 163-168).

Katoen, J.P. (1995) Causal Behaviours and Nets. In: Application and Theory of Petri Nets 1995, 16th International Conference, June 26-30, 1995, Turin, Italy (pp. pp. 258-278).

Sinderen, Marten van and Ferreira Pires, Luis and Vissers, Chris A. and Katoen, Joost-Pieter (1995) A design model for Open Distributed Processing systems. Computer networks and ISDN systems, 27 (8). pp. 1263-1285. ISSN 0169-7552

This list was generated on Sat Dec 27 05:32:33 2014 CET.