• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Hoofdstuk
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. (redactie). Cham: Springer, blz. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Dordrecht: Springer, blz. 224-244 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Cham: Springer, blz. 48-63 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

4 Citaten (Scopus)
2016

Parity games

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Lecture Notes in Computer Science redactie Berlin: Springer, Vol. 9660. blz. 242-260 19 blz. (Lecture notes in computer science ; vol. 9660).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Hoboken: Wiley, blz. 915-940 (Wiley Series in Bioinformatics).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (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. (redactie). Berlin: Springer, blz. 66-73 8 blz. (Lecture Notes in Computer Science; vol. 5930).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (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. (redactie). Berlin: Springer, blz. 255-283 (Lecture notes in computer science; vol. 5835).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
5 Citaten (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. (redactie). Amsterdam: Amsterdam University Press, blz. 161-146 (Texts in Logic and Games; vol. 5).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Berlin: Springer, blz. 69-89 (Lecture notes in computer science; vol. 5750).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)

What is protocol analysis?

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Chapman & Hall, blz. 99-128 (CRC Computational Science Series; vol. 2).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

29 Citaten (Scopus)
2 Downloads (Pure)

Core security requirements of DRM systems

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Declarations of dependence

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). blz. 101-114

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Eindhoven : Embedded Systems Institute: Embedded Systems Institute, blz. 129-141

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Process algebra

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Eindhoven: Embedded Systems Institute, blz. 143-161

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Dordrecht: Kluwer, blz. 221-241 (Logic, Epistemology, and the Unity of Science; vol. 3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

9 Citaten (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. (redactie). Berlin: Springer, blz. 338-367 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

32 Citaten (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 anderen, 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. (redactie). Berlin: Springer, blz. 1-102 (Lecture Notes in Computer Science; vol. 3436).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Berlin: Springer, blz. 445-495 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

5 Citaten (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. (redactie). Berlin: Springer, blz. 173-197 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

8 Citaten (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. (redactie). Berlin: Springer, blz. 251-279 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)

Update semantics for security protocols

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (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. (redactie). Berlin: Springer, blz. 1-43 (Lecture Notes in Computer Science; vol. 2925).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

62 Citaten (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. (redactie). Dordrecht: Kluwer Academic Publishers, blz. 71-124 (Applied Logic Series; vol. 28).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Termination

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 89-92 226 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 93-107

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Singapore: World Scientific, Vol. 1. blz. 437-464

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review