• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Chapter
2019

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, p. 449-463 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2018

Extending paradigm with data

Groenewegen, L. P. J., Verschuren, J. H. S. & de Vink, E. P., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Dordrecht: Springer, p. 224-244 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)
2017

Problem solving using process algebra considered insightful.

Groote, J. F. & de Vink, E. P., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Cham: Springer, p. 48-63 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

4 Citations (Scopus)
2016

Parity games

Willemse, T. A. C. & Gazda, M. W., 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). 2nd ed. Berlin: Springer, p. 1532-1537

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Towards a proof method for paradigm

Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (eds.). Lecture Notes in Computer Science ed. Berlin: Springer, Vol. 9660. p. 242-260 19 p. (Lecture notes in computer science ; vol. 9660).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)
2011

Modeling and analysis of biological networks with model checking (Chapter 39)

Bosnacki, D., Hilbers, P. A. J., Mans, R. S. & Vink, de, E. P., 2011, Algorithms in computational molecular biology : techniques, approaches and applications. Elloumi, M. & Zomaya, A. Y. (eds.). Hoboken: Wiley, p. 915-940 (Wiley Series in Bioinformatics).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
7 Downloads (Pure)
2010

A small step for mankind

Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
2009

Architecting security with Paradigm

Andova, S., Groenewegen, L. P. J., Verschuren, J. H. S. & Vink, de, E. P., 2009, Architecting Dependable Systems VI. Lemos, de, R., Fabre, J. C., Gacek, C., Gadducci, F. & Beek, ter, M. (eds.). Berlin: Springer, p. 255-283 (Lecture notes in computer science; vol. 5835).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
5 Citations (Scopus)
94 Downloads (Pure)

Dynamic epistemic logic for protocol analysis

Dechesne, F., Eijck, van, J., Teepe, W. & Wang, Y., 2009, Discourses on Social Software. Eijck, van, J. & Verbrugge, R. (eds.). Amsterdam: Amsterdam University Press, p. 161-146 (Texts in Logic and Games; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2009, Transactions on Computational Systems Biology XI. Priami, C., Back, R. J. & Petre, I. (eds.). Berlin: Springer, p. 69-89 (Lecture notes in computer science; vol. 5750).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

What is protocol analysis?

Dechesne, F., Eijck, van, J., Teepe, W. & Wang, Y., 2009, Discourses on Social Software. Eijck, van, J. & Verbrugge, R. (eds.). Amsterdam: Amsterdam University Press, p. 147-160 (Texts in Logic and Games; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2008

Analysis of distributed systems with mCRL2

Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 99-128 (CRC Computational Science Series; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

29 Citations (Scopus)
2 Downloads (Pure)

Core security requirements of DRM systems

Jonker, H. L. & Mauw, S., 2008, Digital Rights Management : An Introduction. Satish, D. (ed.). Hyderabad: Icfai Books, p. 73-90

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Declarations of dependence

Dechesne, F., 2008, New Perspectives on Games and Interaction. Apt, K. R. & Rooij, van, R. (eds.). Amsterdam: Amsterdam University Press, p. 255-263 (Texts in Logic and Games; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2007

Iteration and primitive recursion in categorical terms

Geuvers, J. H. & Poll, E., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, E., Capretta, V., Geuvers, H. & Niqui, M. (eds.). p. 101-114

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)

Model-based testing of hybrid systems

Osch, van, M. P. W. J., 2007, Tangram : model-based integration and testing of complex high-tech systems. Tretmans, J. (ed.). Eindhoven : Embedded Systems Institute: Embedded Systems Institute, p. 129-141

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Process algebra

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2007, Handbook of Dynamic System Modeling. Fishwick, P. A. (ed.). Boca Raton: Chapman & Hall/CRC Press, p. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Test-based modeling

Willemse, T. A. C., 2007, Tangram : model-based integration and testing of complex high-tech systems. Tretmans, J. (ed.). Eindhoven: Embedded Systems Institute, p. 143-161

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2006

Signalling in IF-games : a tricky business

Janssen, T. M. V. & Dechesne, F., 2006, The Age of Alternative Logics : Assessing the Philosophy of Logic and Mathematics Today. Benthem, van, J. F. A. K., Heinzmann, G., Rebuschi, M. & Visser, H. (eds.). Dordrecht: Kluwer, p. 221-241 (Logic, Epistemology, and the Unity of Science; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

9 Citations (Scopus)
2005

Finite equational bases in process algebra : results and open questions

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (eds.). Berlin: Springer, p. 338-367 (Lecture Notes in Computer Science; vol. 3838).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

32 Citations (Scopus)

Hard real-time development environments

Baeten, J. C. M., Baufreton, P., Benveniste, A., Boutin, S., Bouyssounouse, B., Brière, D., Caspi, P., Damm, W., Fuchs, E., Gafni, V., Gautier, T., Goshen, D., Gruensteidl, G., Halbwachs, N., Kopetz, H., Larsen, K. G., Le Berre, H., Leupers, R., Nielsen, B., Olderog, E-R. & 13 others, Papadopoulos, Y., Peti, P., Pisecky, M., Puschner, P., Rennhack, J., Sangiovanni-Vincentelli, A., Scheidler, C., Skou, A., Sorel, Y., Virnich, U., Vogel-Heuser, B., Wilhelm, R. & Willemse, T. A. C., 2005, Embedded systems design: the ARTIST roadmap for research and development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin: Springer, p. 1-102 (Lecture Notes in Computer Science; vol. 3436).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Model theory for process algebra

Bergstra, J. A. & Middelburg, C. A., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middelkoop, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (eds.). Berlin: Springer, p. 445-495 (Lecture Notes in Computer Science; vol. 3838).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

5 Citations (Scopus)

Reducing right-hand sides for termination

Zantema, H., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (eds.). Berlin: Springer, p. 173-197 (Lecture Notes in Computer Science; vol. 3838).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

8 Citations (Scopus)
2 Downloads (Pure)

Timing the untimed : terminating successfully while being conservative

Baeten, J. C. M., Mousavi, M. R. & Reniers, M. A., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (eds.). Berlin: Springer, p. 251-279 (Lecture Notes in Computer Science; vol. 3838).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)

Update semantics for security protocols

Hommersom, A., Meyer, J-JC. & Vink, de, E. P., 2005, Information, Interaction, and Agency. Hoek, van der, W. (ed.). New York: Springer, p. ...-...

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
2004

Probabilistic automata : system types, parallel composition and comparison

Sokolova, A. & Vink, de, E. P., 2004, Validation of Stochastic Systems : A Guide to Current Research. Baier, C. & et al., X. (eds.). Berlin: Springer, p. 1-43 (Lecture Notes in Computer Science; vol. 2925).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

62 Citations (Scopus)
2003

De Bruijn's Automath and pure type systems

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Thirty Five Years of Automating Mathematics. Kamareddine, F. D. (ed.). Dordrecht: Kluwer Academic Publishers, p. 71-124 (Applied Logic Series; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Termination

Zantema, H., 2003, Term Rewriting Systems. Terese, X. (ed.). Cambridge: Cambridge University Press, p. 181-259 (Cambridge Tracts in Theoretical Computer Science; vol. 55).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)
2002

Bits, trits, qits, pits of hits

Groote, J. F., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 89-92 226 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Building metric structures with the Maes-factor

Hartog, den, J. I. & Vink, de, E. P., 2002, Liber amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. & Klint, P. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 93-107

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Message Sequence Charts in the software engineering process

Mauw, S., Reniers, M. A. & Willemse, T. A. C., 2002, Handbook of Software Engineering and Knowledge Engineering. Chang, S. K. (ed.). Singapore: World Scientific, Vol. 1. p. 437-464

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review