Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

Filter
Conference contribution
2018
4 Citations (Scopus)
80 Downloads (Pure)

Multi-cost Bounded Reachability in MDP

Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Costs
Model checking
Scalability
2 Citations (Scopus)
10 Downloads (Pure)

One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Semantics
53 Downloads (Pure)

Rule-based conditioning of probabilistic data

van Keulen, M., Kaminski, B., Matheja, C. & Katoen, J. P., 1 Jan 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Springer, p. 290-305 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11142 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Data integration
Conditioning
Data Integration
Interoperability
Information management
2016
24 Citations (Scopus)
152 Downloads (Pure)

The Probabilistic Model Checking Landscape

Katoen, J. P., Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016). USA: Association for Computing Machinery (ACM), p. 31-45 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
15 Citations (Scopus)
62 Downloads (Pure)

Uncovering dynamic fault trees

Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A., Jun 2016, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016. Toulouse, France: IEEE, p. 299-310 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Fault tree analysis
Industry
2015
5 Citations (Scopus)
4 Downloads (Pure)

Fault Trees on a Diet: Automated Reduction by Graph Rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Nutrition
Directed graphs
Scalability
Experiments
21 Downloads (Pure)

Probabilistic Programming: A True Verification Challenge

Katoen, J. P., Oct 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). London: Springer, p. 1-3 3 p. (Lecture Notes in Computer Science; vol. 9364).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Competitive intelligence
Describing functions
Epidemiology
Bioinformatics
Semantic Web
2014
21 Downloads (Pure)

Model Checking Gigantic Markov Models

Katoen, J. P., Sep 2014, Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. Giannakopoulou, D. & Salaün, G. (eds.). London: Springer, p. xv-xvii 2 p. (Lecture Notes in Computer Science; vol. 8702).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
7 Citations (Scopus)
22 Downloads (Pure)

Probably safe or live

Katoen, J. P., Song, L. & Zhang, L., Jul 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York: Association for Computing Machinery (ACM), p. 55 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)
74 Downloads (Pure)

Smart railroad maintenance engineering with stochastic model checking

Guck, D., Katoen, J. P., Stoelinga, M. I. A., Luiten, T. & Romijn, J., Apr 2014, Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014. Pombo, J. (ed.). Stirlingshire, UK: Civil-Comp Press, p. 299 15 p. (Civil-Comp Proceedings; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2013
7 Downloads (Pure)

Concurrency meets probability: theory and practice (abstract)

Katoen, J. P., Aug 2013, 24th International Conference on Concurrency Theory, CONCUR 2013. London: Springer, p. 44-45 2 p. (Lecture Notes in Computer Science; vol. 8052).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
28 Citations (Scopus)
100 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., Aug 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). Joshi, K. R., Siegle, M., Stoelinga, M. I. A. & d' Argenio, P. R. (eds.). Berlin: Springer, p. 55-71 17 p. (Lecture Notes in Computer Science; vol. 8054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
43 Downloads (Pure)

Taming confusion for modeling and implementing probabilistic concurrent systems

Katoen, J. P. & Peled, D., Mar 2013, Proceedings of the 22nd European Symposium on Programming (ESOP 2013). Felleisen, M. & Gardner, P. (eds.). London: Springer, p. 411-430 20 p. (Lecture Notes in Computer Science; vol. 7792).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2012
37 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
Syntactics
Linearization
Chemical analysis
26 Citations (Scopus)
37 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
59 Citations (Scopus)

Formal correctness, safety, dependability, and performance analysis of a satellite

Esteve, M. A., Katoen, J. P., Nguyen, V. Y., Postma, B. & Yushstein, Y., Jun 2012, 34th International Conference on Software Engineering, ICSE 2012. USA: IEEE Computer Society, p. 1022-1031 10 p. (ACM Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

GSPNs Revisited: Simple Semantics and New Analysis Algorithms

Katoen, J. P., Jun 2012, 12th International Conference on Application of Concurrency to System Design, ACSD 2012. USA: IEEE Computer Society, p. 6-11 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2 Citations (Scopus)
8 Downloads (Pure)

Model checking: one can do much more than you think!

Katoen, J. P., 2012, Fundamentals of Software Engineering: fourth IPM International Conference, FSEN 2011. Berlin: Springer, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 7141).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Model checking
Scheduling
Temporal logic
Software design
NASA
33 Citations (Scopus)
67 Downloads (Pure)

Quantitative timed analysis of interactive Markov chains

Guck, D., Han, T., Katoen, J-P. & Neuhäußer, M. R., Apr 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (eds.). Berlin: Springer, p. 8-23 15 p. (Lecture Notes in Computer Science; vol. 7226).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Markov processes
Chemical analysis
Scalability
Semantics
2010
45 Downloads (Pure)

Advances in Probabilistic Model Checking

Katoen, J. P., Jan 2010, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Barthe, G. & Hermenegildo, M. (eds.). Berlin: Springer, p. 25-25 1 p. (Lecture Notes in Computer Science; vol. 5944).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
126 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Downloads (Pure)

Quantitative Verification in Practice

Haverkort, B. R. H. M., Katoen, J-P. & Larsen, K. G., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Systems analysis
Model checking
Embedded systems
Data structures
Cables
27 Citations (Scopus)
139 Downloads (Pure)

The How and Why of Interactive Markov Chains

Hermanns, H. & Katoen, J. P., 2010, Symposium on Formal Methods for Components and Objects, FMCO 2009. de Boer, F. S., Bonsangue, S. H. & Leuschel, M. (eds.). Berlin: Springer, p. 311-337 27 p. (Lecture Notes in Computer Science; vol. 6286).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2009
25 Citations (Scopus)
80 Downloads (Pure)

Compositional Abstraction of Stochastic Systems

Katoen, J. P., Klink, D. & Neuhausser, M., 3 Sep 2009, Formal Modeling and Analysis of Timed Systems. Berlin: Springer, p. 195-211 17 p. 10.1007/978-3-642-04368-0_16. (Lecture Notes in Computer Science; vol. 5813).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
32 Citations (Scopus)

Delayed Nondeterminism in Continuous-Time Markov Decision Processes

Neuhausser, M., Stoelinga, M. I. A. & Katoen, J. P., 27 Mar 2009, Foundations of Software Science and Computational Structures. Berlin: Springer, p. 364-379 16 p. 10.1007/978-3-642-00596-1_26. (Lecture Notes in Computer Science; vol. 5504).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Citations (Scopus)
66 Downloads (Pure)

Maximizing System Lifetime by Battery Scheduling

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
29 Citations (Scopus)
36 Downloads (Pure)

Quantitative model checking of continuous-time Markov chains against timed automata specifications

Chen, T., Han, T., Katoen, J. P. & Mereacre, A., Aug 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science. Piscataway: IEEE Computer Society, p. 309-318 10 p. 10.1109/LICS.2009.21

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Citations (Scopus)
64 Downloads (Pure)

Simulation-based CTMC Model Checking: An Empirical Evaluation

Katoen, J. P. & Zapreev, I. S., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 31-40 10 p. 10.1109/QEST.2009.25

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
44 Downloads (Pure)

Symmetry reduction for stochastic hybrid systems

Bujorianu, L. M. & Katoen, J. P., 6 Jan 2009, 47th IEEE Conference on Decision and Control, CDC 2008. Los Alamitos: IEEE Computer Society, p. 233-238 6 p. 10.1109/CDC.2008.4739086

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
72 Citations (Scopus)
86 Downloads (Pure)

The Ins and Outs of the Probabilistic Model Checker MRMC

Katoen, J. P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 167-176 10 p. 10.1109/QEST.2009.11

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
74 Downloads (Pure)

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE Computer Society, p. 133-142 10 p. 10.1109/QEST.2009.9

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2008
42 Citations (Scopus)

Approximate parameter synthesis for probabilistic time-bounded reachability

Han, T., Katoen, J. P. & Mereacre, A., Dec 2008, Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008). Los Alamitos: IEEE Computer Society Press, p. 173-182 10 p. 10.1109/RTSS.2008.19

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

Han, T., Katoen, J. P. & Mereacre, A., Apr 2008, Hybrid Systems: Computation and Control (HSCC). Berlin: Springer, p. 244-258 15 p. 10.1007/978-3-540-78929-1. (Lecture Notes in Computer Science; vol. 4981, no. 69160R).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

40 Citations (Scopus)

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

Jansen, D. N., Katoen, J. P., Oldenkamp, M., Stoelinga, M. I. A. & Zapreev, I. S., Feb 2008, Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007. Yohav, K. (ed.). London: Springer, p. 69-85 17 p. 10.1007/978-3-540-77966-7_9. (Lecture Notes in Computer Science; vol. 4899, no. 2008/16200).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
47 Downloads (Pure)

Perspectives in probabilistic verification

Katoen, J. P., Jun 2008, Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos: IEEE Computer Society, p. 3-10 8 p. 10.1109/TASE.2008.44

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
23 Downloads (Pure)

Reachability in continuous-time Markov reward decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Graedel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
14 Citations (Scopus)

Regular Expressions for PCTL Counterexamples

Damman, B., Han, T. & Katoen, J. P., Sep 2008, Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). Los Alamitos: IEEE Computer Society Press, p. 179-188 10 p. 10.1109/QEST.2008.11

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Regular Expressions
Counterexample
Likelihood
Combinatorial argument
Leader Election
5 Citations (Scopus)

Time-Abstracting Bisimulation for Probabilistic Timed Automata

Chen, T., Han, T. & Katoen, J. P., Jun 2008, Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, p. 177-184 8 p. 10.1109/TASE.2008.29

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2007
18 Citations (Scopus)

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

Neuhausser, M. & Katoen, J. P., Sep 2007, 18th International Conference on Concurrency Theory (CONCUR). London: Springer, p. 412-427 16 p. 10.1007/978-3-540-74407-8_28. (Lecture Notes in Computer Science; vol. 4703, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

77 Citations (Scopus)

Bisimulation minimisation mostly speeds up probabilistic model checking

Katoen, J. P., Katoen, J. P., Kemna, T., Zapreev, I. S. & Jansen, D. N., 2007, Tools and algorithms for the construction and analysis of systems. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 87-101 15 p. 10.1007/978-3-540-71209-1_9. (Lecture notes in computer science; vol. 4424, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

38 Citations (Scopus)
53 Downloads (Pure)

Counterexamples in probabilistic model checking

Han, T. & Katoen, J. P., 31 Jul 2007, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Grumberg, O. & Huth, M. (eds.). Berlin, Germany: Springer, p. 72-86 15 p. 10.1007/978-3-540-71209-1_8. (Lecture Notes in Computer Science; vol. 4424, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
11 Citations (Scopus)

Motor: The MoDeST Tool Environment

Bohnenkamp, H. C., Hermanns, H. & Katoen, J. P., 2007, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Berlin: Springer, p. 500-504 5 p. 10.1007/978-3-540-71209-1_38. (Lecture Notes in Computer Science; vol. 4424, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Providing evidence of likely being on time - Counterexample generation for CTMC model checking

Han, T. & Katoen, J. P., 2007, Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Namjoshi, K., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Springer, p. 331-346 16 p. 10.1007/978-3-540-75596-8_24. (Lecture Notes in Computer Science; vol. 4762, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2006
3 Citations (Scopus)

Bisimulation and Simulation Relations for Markov Chains

Baier, C., Hermanns, H., Katoen, J. P. & Wolf, V., 2006, Essays on Algebraic Process Calculi. Aceto, L. & Gordon, A. (eds.). Amsterdam: Elsevier, p. 73-78 6 p. (Electronic Notes in Theoretical Computer Science; vol. 162, no. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Probably on time and within budget - On reachability in priced probabilistic timed automata

Berendsen, J., Jansen, D. N. & Katoen, J. P., Sep 2006, Quantitative Evaluation of Systems (QEST). Los Alamitos: IEEE Computer Society, p. 311-322 12 p. 10.1109/QEST.2006.43

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

17 Citations (Scopus)

Safe on-the-fly steady-state detection for time-bounded reachability

Katoen, J. P. & Zapreev, I. S., Sep 2006, Quantitative Evaluation of Systems (QEST). Los Alamitos: IEEE Computer Society Press, p. 301-310 10 p. 10.1109/QEST.2006.47

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Safety and Liveness in Concurrent Pointer Programs

Distefano, D. S., Katoen, J. P. & Rensink, A., 2006, Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W-P. (eds.). Berlin: Springer, p. 280-312 33 p. 10.1007/11804192_14. (Lecture Notes in Computer Science; vol. 4111, no. suppl 2/4111).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

YMCA: Why Markov Chain Algebra?

Bravetti, M., Hermanns, H. & Katoen, J. P., 2006, Essays on Algebraic Process Calculi. Aceto, L. & Gordon, A. (eds.). Amsterdam: Elsevier, p. 107-112 6 p. (Electronic Notes in Theoretical Computer Science; vol. 162, no. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2005
169 Citations (Scopus)
55 Downloads (Pure)

A Markov reward model checker

Katoen, J. P., Maneesh Khattri, M., Zapreev, I. S. & Zapreev, I. S., 2005, 2nd Int. Conf. on Quantitative Evaluation of Systems. Los Alamitos, California: IEEE Computer Society, p. 243-245 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
5 Downloads (Pure)

Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks

Bohnenkamp, H., Gorter, J., Guidi, J. & Katoen, J-P., 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). Los Alamitos, CA: IEEE Computer Society, p. 704-709 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Parallel algorithms
Personal digital assistants
Mobile phones
Topology
Availability