 | 2010 |
|---|
| 121 |       | Joost-Pieter Katoen:
Advances in Probabilistic Model Checking.
VMCAI 2010: 25 |
| 2009 |
|---|
| 120 | | Taolue Chen,
Tingting Han,
Joost-Pieter Katoen,
Alexandru Mereacre:
LTL Model Checking of Time-Inhomogeneous Markov Chains.
ATVA 2009: 104-119 |
| 119 | | Marijn R. Jongerden,
Boudewijn R. Haverkort,
Henrik C. Bohnenkamp,
Joost-Pieter Katoen:
Maximizing system lifetime by battery scheduling.
DSN 2009: 63-72 |
| 118 | | Marco 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 |
| 117 | | Joost-Pieter Katoen,
Daniel Klink,
Martin R. Neuhäußer:
Compositional Abstraction for Stochastic Systems.
FORMATS 2009: 195-211 |
| 116 | | Martin R. Neuhäußer,
Mariëlle Stoelinga,
Joost-Pieter Katoen:
Delayed Nondeterminism in Continuous-Time Markov Decision Processes.
FOSSACS 2009: 364-379 |
| 115 | | Taolue Chen,
Tingting Han,
Joost-Pieter Katoen,
Alexandru Mereacre:
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.
LICS 2009: 309-318 |
| 114 | | Marco 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 |
| 113 | | Tingting Han,
Joost-Pieter Katoen,
Berteun Damman:
Counterexample Generation in Probabilistic Model Checking.
IEEE Trans. Software Eng. 35(2): 241-257 (2009) |
| 2008 |
|---|
| 112 | | Manuela L. Bujorianu,
Joost-Pieter Katoen:
Symmetry reduction for stochastic hybrid systems.
CDC 2008: 233-238 |
| 111 | | Benedikt Bollig,
Joost-Pieter Katoen,
Carsten Kern,
Martin Leucker:
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.
CONCUR 2008: 162-166 |
| 110 | | Joost-Pieter Katoen,
Daniel Klink,
Martin Leucker,
Verena Wolf:
Abstraction for Stochastic Systems by Erlang's Method of Stages.
CONCUR 2008: 279-294 |
| 109 | | Joost-Pieter Katoen:
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques.
DATE 2008: 86-87 |
| 108 | | Joost-Pieter Katoen,
Alexandru Mereacre:
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains.
FORMATS 2008: 203-217 |
| 107 | | Tingting Han,
Joost-Pieter Katoen,
Alexandru Mereacre:
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.
HSCC 2008: 244-258 |
| 106 | | Tingting Han,
Joost-Pieter Katoen,
Alexandru Mereacre:
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.
IEEE Real-Time Systems Symposium 2008: 173-182 |
| 105 | | Mani Swaminathan,
Martin Fränzle,
Joost-Pieter Katoen:
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
IFIP TCS 2008: 537-553 |
| 104 | | Berteun Damman,
Tingting Han,
Joost-Pieter Katoen:
Regular Expressions for PCTL Counterexamples.
QEST 2008: 179-188 |
| 103 | | Taolue Chen,
Tingting Han,
Joost-Pieter Katoen:
Time-Abstracting Bisimulation for Probabilistic Timed Automata.
TASE 2008: 177-184 |
| 102 | | Joost-Pieter Katoen:
Perspectives in Probabilistic Verification.
TASE 2008: 3-10 |
| 2007 |
|---|
| 101 |  | Boudewijn 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 |
| 100 | | Tingting Han,
Joost-Pieter Katoen:
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.
ATVA 2007: 331-346 |
| 99 | | Joost-Pieter Katoen,
Daniel Klink,
Martin Leucker,
Verena Wolf:
Three-Valued Abstraction for Continuous-Time Markov Chains.
CAV 2007: 311-324 |
| 98 | | Martin R. Neuhäußer,
Joost-Pieter Katoen:
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.
CONCUR 2007: 412-427 |
| 97 | | Joost-Pieter Katoen:
Abstraction of Probabilistic Systems.
FORMATS 2007: 1-3 |
| 96 | | David 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 |
| 95 | | Boudewijn R. Haverkort,
Joost-Pieter Katoen,
Lothar Thiele:
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.
Quantitative Aspects of Embedded Systems 2007 |
| 94 | | Boudewijn R. Haverkort,
Joost-Pieter Katoen,
Lothar Thiele:
07101 Executive Summary -- Quantitative Aspects of Embedded Systems.
Quantitative Aspects of Embedded Systems 2007 |
| 93 | | Benedikt 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 |
| 92 | | Henrik C. Bohnenkamp,
Holger Hermanns,
Joost-Pieter Katoen:
motor: The modestTool Environment.
TACAS 2007: 500-504 |
| 91 | | Tingting Han,
Joost-Pieter Katoen:
Counterexamples in Probabilistic Model Checking.
TACAS 2007: 72-86 |
| 90 | | Joost-Pieter Katoen,
Tim Kemna,
Ivan S. Zapreev,
David N. Jansen:
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.
TACAS 2007: 87-101 |
| 89 | | Rocco 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 |
|---|
| 88 | | Joost-Pieter Katoen,
Ivan S. Zapreev:
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.
QEST 2006: 301-310 |
| 87 | | Jasper Berendsen,
David N. Jansen,
Joost-Pieter Katoen:
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.
QEST 2006: 311-322 |
| 86 | | Rocco 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) |
| 85 | | Mario Bravetti,
Holger Hermanns,
Joost-Pieter Katoen:
YMCA: - Why Markov Chain Algebra? - .
Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006) |
| 84 | | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Bisimulation and Simulation Relations for Markov Chains.
Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006) |
| 83 | | Henrik 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) |
| 82 | | Giuliana 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) |
| 81 | | Peter Buchholz,
Joost-Pieter Katoen,
Marcel Verhoef:
Guest editors' introduction: quantitative analysis of real-time embedded systems.
STTT 8(6): 605-606 (2006) |
| 2005 |
|---|
| 80 | | Manfred 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 |
| 79 | | Henrik 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 |
| 78 | | Lucia Cloth,
Joost-Pieter Katoen,
Maneesh Khattri,
Reza Pulungan:
Model Checking Markov Reward Models with Impulse Rewards.
DSN 2005: 722-731 |
| 77 | | Dino Distefano,
Joost-Pieter Katoen,
Arend Rensink:
Safety and Liveness in Concurrent Pointer Programs.
FMCO 2005: 280-312 |
| 76 | | Joost-Pieter Katoen,
Maneesh Khattri,
Ivan S. Zapreev:
A Markov Reward Model Checker.
QEST 2005: 243-244 |
| 75 | | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Verena Wolf:
Comparative branching-time semantics for Markov chains.
Inf. Comput. 200(2): 149-214 (2005) |
| 74 | | Pedro R. D'Argenio,
Joost-Pieter Katoen:
A theory of stochastic systems part I: Stochastic automata.
Inf. Comput. 203(1): 1-38 (2005) |
| 73 | | Pedro R. D'Argenio,
Joost-Pieter Katoen:
A theory of Stochastic systems. Part II: Process algebra.
Inf. Comput. 203(1): 39-74 (2005) |
| 72 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Model checking meets performance evaluation.
SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005) |
| 71 | | Boudewijn R. Haverkort,
Joost-Pieter Katoen:
Performance and verification.
SIGMETRICS Performance Evaluation Review 32(4): 3 (2005) |
| 70 | | Christel 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 |
|---|
| 69 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen,
Markus Siegle:
Validation of Stochastic Systems - A Guide to Current Research
Springer 2004 |
| 68 | | Mieke Massink,
Joost-Pieter Katoen,
Diego Latella:
Model Checking Dependability Attributes of Wireless Group Communication.
DSN 2004: 711-720 |
| 67 | | Dino Distefano,
Joost-Pieter Katoen,
Arend Rensink:
Who is Pointing When to Whom?
FSTTCS 2004: 250-262 |
| 66 | | Henrik 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 |
| 65 | | Joost-Pieter Katoen:
Labelled Transition Systems.
Model-Based Testing of Reactive Systems 2004: 615-616 |
| 64 | | Joost-Pieter Katoen,
Henrik C. Bohnenkamp,
Ric Klaren,
Holger Hermanns:
Embedded Software Analysis with MOTOR.
SFM 2004: 268-294 |
| 63 | | Christel 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 |
| 62 | | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen:
Probabilistic weak simulation is decidable in polynomial time.
Inf. Process. Lett. 89(3): 123-130 (2004) |
| 61 | | Joost-Pieter Katoen,
Perdita Stevens:
Guest editors' introduction: Advancements and extensions of verification techniques.
STTT 6(2): 99-101 (2004) |
| 2003 |
|---|
| 60 | | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Comparative Branching-Time Semantics.
CONCUR 2003: 482-497 |
| 59 | | Henrik C. Bohnenkamp,
Holger Hermanns,
Joost-Pieter Katoen,
Ric Klaren:
The Modest Modeling Tool and Its Implementation.
Computer Performance Evaluation / TOOLS 2003: 116-133 |
| 58 | | Henrik 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 |
| 57 | | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
ETMCC: Model Checking Performability Properties of Markov Chains.
DSN 2003: 673- |
| 56 | | Suzana Andova,
Holger Hermanns,
Joost-Pieter Katoen:
Discrete-Time Rewards Model-Checked.
FORMATS 2003: 88-104 |
| 55 | | David N. Jansen,
Holger Hermanns,
Joost-Pieter Katoen:
A QoS-Oriented Extension of UML Statecharts.
UML 2003: 76-91 |
| 54 | | Christel 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) |
| 53 | | Peter Buchholz,
Joost-Pieter Katoen,
Peter Kemper,
Carsten Tepper:
Model-checking large structured Markov chains.
J. Log. Algebr. Program. 56(1-2): 69-97 (2003) |
| 52 | | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
A tool for model-checking Markov chains.
STTT 4(2): 153-172 (2003) |
| 2002 |
|---|
| 51 | | Joost-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 |
| 50 | | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains.
CONCUR 2002: 338-354 |
| 49 | | Boudewijn R. Haverkort,
Lucia Cloth,
Holger Hermanns,
Joost-Pieter Katoen,
Christel Baier:
Model Checking Performability Properties.
DSN 2002: 103-112 |
| 48 | | David N. Jansen,
Holger Hermanns,
Joost-Pieter Katoen:
A Probabilistic Extension of UML Statecharts.
FTRTFT 2002: 355-374 |
| 47 | | Dino Distefano,
Arend Rensink,
Joost-Pieter Katoen:
Model Checking Birth and Death.
IFIP TCS 2002: 435-447 |
| 46 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Automated Performance and Dependability Evaluation Using Model Checking.
Performance 2002: 261-289 |
| 45 | | Holger Hermanns,
Joost-Pieter Katoen:
Guest editors' introduction: Model checking in a nutshell.
J. Log. Algebr. Program. 52-53: 1-5 (2002) |
| 44 | | Holger Hermanns,
Ulrich Herzog,
Joost-Pieter Katoen:
Process algebra for performance evaluation.
Theor. Comput. Sci. 274(1-2): 43-87 (2002) |
| 43 | | Joost-Pieter Katoen:
Real-Time and Probabilistic Systems - Foreword.
Theor. Comput. Sci. 282(1): 1-3 (2002) |
| 2001 |
|---|
| 42 | | Ed 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 |
| 41 | | Holger Hermanns,
Joost-Pieter Katoen:
Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.
CONCUR 2001: 59-81 |
| 40 | | Joost-Pieter Katoen,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
Faster and Symbolic CTMC Model Checking.
PAPM-PROBMIV 2001: 23-38 |
| 39 | | Gabriel G. Infante López,
Holger Hermanns,
Joost-Pieter Katoen:
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains.
PAPM-PROBMIV 2001: 57-70 |
| 38 | | Pedro 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 |
| 37 | | Theo 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 |
| 36 | | Joost-Pieter Katoen,
Christel Baier,
Diego Latella:
Metric semantics for true concurrent real time.
Theor. Comput. Sci. 254(1-2): 501-542 (2001) |
| 2000 |
|---|
| 35 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Model Checking Continuous-Time Markov Chains by Transient Analysis.
CAV 2000: 358-372 |
| 34 | | Joost-Pieter Katoen,
Pedro R. D'Argenio:
General Distributions in Process Algebra.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 375-430 |
| 33 | | Dino Distefano,
Joost-Pieter Katoen,
Arend Rensink:
On a Temporal Logic for Object-Based Systems.
FMOODS 2000: 285-304 |
| 32 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
On the Logical Characterisation of Performability Properties.
ICALP 2000: 780-792 |
| 31 | | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
Towards Model Checking Stochastic Process Algebra.
IFM 2000: 420-439 |
| 30 | | Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
On the Use of Model Checking Techniques for Dependability Evaluation.
SRDS 2000: 228-237 |
| 29 | | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
A Markov Chain Model Checker.
TACAS 2000: 347-362 |
| 28 | | Holger Hermanns,
Joost-Pieter Katoen:
Automated compositional Markov chain generation for a plain-old telephone system.
Sci. Comput. Program. 36(1): 97-127 (2000) |
| 27 | | Joost-Pieter Katoen,
Albert Nymeyer:
Pattern-matching algorithms based on term rewrite systems.
Theor. Comput. Sci. 238(1-2): 439-464 (2000) |
| 1999 |
|---|
| 26 | | Joost-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 |
| 25 | | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns:
Approximate Symbolic Model Checking of Continuous-Time Markov Chains.
CONCUR 1999: 146-161 |
| 24 | | Pedro 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 |
| 23 | | Pedro R. D'Argenio,
Holger Hermanns,
Joost-Pieter Katoen:
On Generative Parallel Composition.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 |
|---|
| 22 | | Howard Bowman,
Joost-Pieter Katoen:
A True Concurrency Semantics for ET-LOTOS.
ACSD 1998: 228-238 |
| 21 | | Joost-Pieter Katoen,
Lennard Lambert:
Pomsets for MSC.
FBT 1998: 197-207 |
| 20 | | Christel Baier,
Joost-Pieter Katoen,
Diego Latella:
Metric Semantics for True Concurrent Real Time.
ICALP 1998: 568-579 |
| 19 | | Pedro R. D'Argenio,
Joost-Pieter Katoen,
Ed Brinksma:
An algebraic approach to the specification of stochastic systems.
PROCOMET 1998: 126-147 |
| 18 | | Ed Brinksma,
Joost-Pieter Katoen,
Rom Langerak,
Diego Latella:
Partial Order Models for Quantitative Extensions of LOTOS.
Computer Networks 30(9-10): 925-950 (1998) |
| 17 | | Howard 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) |
| 16 | | Joost-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 |
|---|
| 15 | | Rom Langerak,
Ed Brinksma,
Joost-Pieter Katoen:
Causal Ambiguity and Partial Orders in Event Structures.
CONCUR 1997: 317-331 |
| 14 | | Pedro R. D'Argenio,
Joost-Pieter Katoen,
Theo C. Ruys,
Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time!
TACAS 1997: 416-431 |
| 13 | | Albert Nymeyer,
Joost-Pieter Katoen:
Code Generation Based on Formal BURS Therory and Heuristic Search.
Acta Inf. 34(8): 597-635 (1997) |
| 1996 |
|---|
| 12 | | Albert Nymeyer,
Joost-Pieter Katoen,
Ymte Westra,
Henk Alblas:
Code Generation = A* + BURS.
CC 1996: 160-176 |
| 11 | | Joost-Pieter Katoen,
Rom Langerak,
Diego Latella,
Ed Brinksma:
On Specifying Real-Time Systems in a Causality-Based Setting.
FTRTFT 1996: 385-404 |
| 10 | | Jacob 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) |
| 9 | | Joost-Pieter Katoen,
Berry Schoenmakers:
Systolic Arrays for the Recognition of Permutation-Invariant Segments.
Sci. Comput. Program. 27(2): 119-137 (1996) |
| 1995 |
|---|
| 8 | | Joost-Pieter Katoen:
Causal Behaviours and Nets.
Application and Theory of Petri Nets 1995: 258-277 |
| 7 | | Ed Brinksma,
Joost-Pieter Katoen,
Rom Langerak,
Diego Latella:
A Stochastic Causality-Based Process Algebra.
Comput. J. 38(7): 552-565 (1995) |
| 6 | | Marten 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 |
|---|
| 5 | | Joost-Pieter Katoen,
Rom Langerak,
Diego Latella:
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.
FORTE 1993: 253-268 |
| 4 | | Joost-Pieter Katoen:
A Semi-Markov Model of a Home Network Access Protocol.
MASCOTS 1993: 293-298 |
| 3 | | Joost-Pieter Katoen,
Martin Rem:
Recognizing k-Rotated Segments.
International Journal of High Speed Computing 5(2): 293-305 (1993) |
| 1991 |
|---|
| 2 | | Joost-Pieter Katoen,
Berry Schoenmakers:
A Parallel program for the recognition of P-Invariant segments.
Algorithms and Parallel VLSI Architectures 1991: 79-84 |
| 1989 |
|---|
| 1 | | C. Hemerik,
Joost-Pieter Katoen:
Bottom-Up Tree Acceptors.
Sci. Comput. Program. 13(1): 51-72 (1989) |
