Joost-Pieter Katoen Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Advances in Probabilistic Model Checking. VMCAI 2010: 25
2009
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer: Compositional Abstraction for Stochastic Systems. FORMATS 2009: 195-211
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen: Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FOSSACS 2009: 364-379
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS 2009: 309-318
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTingting Han, Joost-Pieter Katoen, Berteun Damman: Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009)
2008
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuela L. Bujorianu, Joost-Pieter Katoen: Symmetry reduction for stochastic hybrid systems. CDC 2008: 233-238
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. DATE 2008: 86-87
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Alexandru Mereacre: Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS 2008: 203-217
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. IEEE Real-Time Systems Symposium 2008: 173-182
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMani Swaminathan, Martin Fränzle, Joost-Pieter Katoen: The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS 2008: 537-553
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerteun Damman, Tingting Han, Joost-Pieter Katoen: Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Tingting Han, Joost-Pieter Katoen: Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Perspectives in Probabilistic Verification. TASE 2008: 3-10
2007
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTingting Han, Joost-Pieter Katoen: Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin R. Neuhäußer, Joost-Pieter Katoen: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. CONCUR 2007: 412-427
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Abstraction of Probabilistic Systems. FORMATS 2007: 1-3
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev: How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS 2007: 435-450
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTingting Han, Joost-Pieter Katoen: Counterexamples in Probabilistic Model Checking. TACAS 2007: 72-86
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS 2007: 87-101
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
2006
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Ivan S. Zapreev: Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. QEST 2006: 301-310
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Towards a Logic for Performance and Mobility. Electr. Notes Theor. Comput. Sci. 153(2): 161-175 (2006)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. 32(10): 812-830 (2006)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside: Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). IEEE Trans. Software Eng. 32(8): 529-530 (2006)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Buchholz, Joost-Pieter Katoen, Marcel Verhoef: Guest editors' introduction: quantitative analysis of real-time embedded systems. STTT 8(6): 605-606 (2006)
2005
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner: Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Springer 2005
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen: Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. DSN 2005: 704-709
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Distefano, Joost-Pieter Katoen, Arend Rensink: Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev: A Markov Reward Model Checker. QEST 2005: 243-244
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen: A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1): 1-38 (2005)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen: A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203(1): 39-74 (2005)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen: Performance and verification. SIGMETRICS Performance Evaluation Review 32(4): 3 (2005)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. 345(1): 2-26 (2005)
2004
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Distefano, Joost-Pieter Katoen, Arend Rensink: Who is Pointing When to Whom? FSTTCS 2004: 250-262
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko: An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) 2004: 284-295
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Labelled Transition Systems. Model-Based Testing of Reactive Systems 2004: 615-616
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS 2004: 61-76
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen: Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. STTT 6(2): 99-101 (2004)
2003
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders: On Integrating the MÖBIUS and MODEST Modeling Tools. DSN 2003: 671
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673-
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6): 524-541 (2003)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper: Model-checking large structured Markov chains. J. Log. Algebr. Program. 56(1-2): 69-97 (2003)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A tool for model-checking Markov chains. STTT 4(2): 153-172 (2003)
2002
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Perdita Stevens: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Springer 2002
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Distefano, Arend Rensink, Joost-Pieter Katoen: Model Checking Birth and Death. IFIP TCS 2002: 435-447
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: Guest editors' introduction: Model checking in a nutshell. J. Log. Algebr. Program. 52-53: 1-5 (2002)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Ulrich Herzog, Joost-Pieter Katoen: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1-2): 43-87 (2002)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Real-Time and Probabilistic Systems - Foreword. Theor. Comput. Sci. 282(1): 1-3 (2002)
2001
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Holger Hermanns, Joost-Pieter Katoen: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures Springer 2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR 2001: 59-81
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen: Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV 2001: 57-70
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001: 87-104
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink: First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS 2001: 220-235
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Christel Baier, Diego Latella: Metric semantics for true concurrent real time. Theor. Comput. Sci. 254(1-2): 501-542 (2001)
2000
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Pedro R. D'Argenio: General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 375-430
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. FMOODS 2000: 285-304
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A Markov Chain Model Checker. TACAS 2000: 347-362
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Joost-Pieter Katoen: Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. 36(1): 97-127 (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Albert Nymeyer: Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci. 238(1-2): 439-464 (2000)
1999
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings Springer 1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. IEEE Real-Time Systems Symposium 1999: 104-114
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. Electr. Notes Theor. Comput. Sci. 22: (1999)
1998
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Bowman, Joost-Pieter Katoen: A True Concurrency Semantics for ET-LOTOS. ACSD 1998: 228-238
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Lennard Lambert: Pomsets for MSC. FBT 1998: 197-207
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Diego Latella: Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks 30(9-10): 925-950 (1998)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Asp. Comput. 10(5-6): 550-575 (1998)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-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): 189-216 (1998)
1997
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRom Langerak, Ed Brinksma, Joost-Pieter Katoen: Causal Ambiguity and Partial Orders in Event Structures. CONCUR 1997: 317-331
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Nymeyer, Joost-Pieter Katoen: Code Generation Based on Formal BURS Therory and Heuristic Search. Acta Inf. 34(8): 597-635 (1997)
1996
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas: Code Generation = A* + BURS. CC 1996: 160-176
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma: On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw: Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing 9(4): 157-171 (1996)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Berry Schoenmakers: Systolic Arrays for the Recognition of Permutation-Invariant Segments. Sci. Comput. Program. 27(2): 119-137 (1996)
1995
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: Causal Behaviours and Nets. Application and Theory of Petri Nets 1995: 258-277
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen: A Design Model for Open Distributed Processing Systems. Computer Networks and ISDN Systems 27(8): 1263-1285 (1995)
1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Rom Langerak, Diego Latella: Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE 1993: 253-268
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen: A Semi-Markov Model of a Home Network Access Protocol. MASCOTS 1993: 293-298
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Martin Rem: Recognizing k-Rotated Segments. International Journal of High Speed Computing 5(2): 293-305 (1993)
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Berry Schoenmakers: A Parallel program for the recognition of P-Invariant segments. Algorithms and Parallel VLSI Architectures 1991: 79-84
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Hemerik, Joost-Pieter Katoen: Bottom-Up Tree Acceptors. Sci. Comput. Program. 13(1): 51-72 (1989)

Coauthor Index

1Henk Alblas [12]
2Suzana Andova [56]
3Christel Baier [20] [25] [32] [35] [36] [46] [49] [50] [54] [60] [62] [63] [69] [70] [72] [75] [84]
4Jasper Berendsen [87]
5Henrik C. Bohnenkamp [58] [59] [64] [66] [79] [83] [92] [119]
6Benedikt Bollig [93] [111]
7Tommaso Bolognesi [16]
8Howard Bowman [17] [22]
9Marco Bozzano [114] [118]
10Mario Bravetti [85]
11Ed Brinksma [7] [11] [15] [16] [18] [19] [24] [42]
12Manfred Broy [80]
13Jacob Brunekreef [10]
14Peter Buchholz [53] [81]
15Manuela L. Bujorianu [112]
16Taolue Chen [103] [115] [120]
17Alessandro Cimatti [114] [118]
18Lucia Cloth [49] [78]
19Tod Courtney [58]
20Pedro R. D'Argenio [14] [19] [23] [24] [34] [38] [73] [74] [83]
21David Daly [58]
22Berteun Damman [104] [113]
23Salem Derisavi [58]
24Dino Distefano [33] [47] [67] [77]
25Giorgio P. Faconti (Giorgio Faconti) [17]
26Giuliana Franceschinis [82]
27Martin Fränzle [105]
28Johan Gorter [79]
29Jarno Guidi [79]
30Tingting Han [91] [100] [103] [104] [106] [107] [113] [115] [120]
31Boudewijn R. Haverkort [30] [32] [35] [46] [49] [50] [54] [63] [69] [70] [71] [72] [94] [95] [101] [119]
32Kees Hemerik (C. Hemerik) [1]
33Holger Hermanns [23] [25] [28] [29] [30] [31] [32] [35] [38] [39] [41] [42] [44] [45] [46] [48] [49] [50] [52] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [66] [69] [70] [72] [75] [83] [84] [85] [92]
34Ulrich Herzog [44]
35David N. Jansen [48] [55] [66] [87] [90] [96]
36Marijn R. Jongerden [119]
37Bengt Jonsson [80]
38Tim Kemna [90]
39Peter Kemper [53]
40Carsten Kern [93] [111]
41Maneesh Khattri [76] [78]
42Ric Klaren [38] [58] [59] [64]
43Daniel Klink [99] [110] [117]
44Ron Koymans [10]
45Marta Z. Kwiatkowska [40]
46Vinh Vi Lam [58]
47Lennard Lambert [21]
48Rom Langerak [5] [7] [11] [15] [16] [18] [37]
49Diego Latella [5] [7] [11] [16] [17] [18] [20] [36] [37] [68] [86] [89]
50Martin Leucker [80] [93] [99] [110] [111]
51Gabriel G. Infante López [39]
52Michele Loreti [89]
53Mieke Massink [17] [37] [68] [86] [89]
54Sjouke Mauw [10]
55Alexandru Mereacre [106] [107] [108] [115] [120]
56Joachim Meyer-Kayser [29] [31] [52] [57]
57Martin R. Neuhäußer [98] [116] [117]
58Viet Yen Nguyen [114] [118]
59Rocco De Nicola [86] [89]
60Thomas Noll [114] [118]
61Gethin Norman [40]
62Albert Nymeyer [12] [13] [27]
63Marcel Oldenkamp [96]
64David Parker [40]
65Luís Ferreira Pires [6]
66Alexander Pretschner [80]
67Reza Pulungan [78]
68Martin Rem [3]
69Arend Rensink [33] [47] [67] [77]
70Marco Roveri [114] [118]
71Theo C. Ruys [14] [37]
72William H. Sanders [58]
73Berry Schoenmakers [2] [9]
74Markus Siegle [29] [31] [52] [57] [69]
75Marten van Sinderen [6]
76Perdita Stevens [51] [61]
77Mariëlle Stoelinga [96] [116]
78Mani Swaminathan [105]
79Carsten Tepper [53]
80Lothar Thiele [94] [95] [101]
81Jan Tretmans [14]
82Yaroslav S. Usenko [66]
83Marcel Verhoef [81]
84Chris A. Vissers [6]
85Ymte Westra [12]
86Verena Wolf [60] [75] [84] [99] [110]
87C. Murray Woodside [82]
88Ivan S. Zapreev [76] [88] [90] [96]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)