• 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
Article

Continuity controlled hybrid automata

Bergstra, J. A. & Middelburg, C. A., 2006, In : Journal of Logic and Algebraic Programming. 68, 1-2, p. 5-53

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
3 Citations (Scopus)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 Feb 2019, In : arXiv. 28 p., 1902.09880.

Research output: Contribution to journalArticleAcademic

Open Access
File
33 Downloads (Pure)

Counting symbol switches in synchronizing automata

Don, H. M. & Zantema, H., 2018, In : arXiv. 26 p., 1812.04050v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
6 Downloads (Pure)

Counting symbol switches in synchronizing automata

Don, H. & Zantema, H., 1 Jan 2019, In : Journal of Automata, Languages and Combinatorics. 24, 2-4, p. 253-286 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

De Bruijn's syntax and reductional behaviour of lambda-terms : the typed case

Kamareddine, F. & Bloo, C. J., 2005, In : Journal of Logic and Algebraic Programming. 62, 2, p. 159-189

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

De Bruijn's syntax and reductional behaviour of lambda-terms : the untyped case

Kamareddine, F. & Bloo, C. J., 2005, In : Journal of Logic and Algebraic Programming. 62, 1, p. 109-131

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Decomposition orders : another generalisation of the fundamental theorem of arithmetic

Luttik, B. & Oostrom, van, V., 2005, In : Theoretical Computer Science. 335, 2-3, p. 147-186

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

De kans om Ganzenbord te winnen

Groote, J. F. & Zantema, H., 2014, In : Nieuw Archief voor Wiskunde. 5/15, 4, p. 234-239

Research output: Contribution to journalArticleAcademicpeer-review

6 Downloads (Pure)

Denkniveaus bij algoritmen

Perrenet, J. C., Groote, J. F. & Kaasenbrood, E. J. S., 2004, In : TINFON : Tijdschrift voor INFormatica-ONderwijs. 13, 4, p. 116-118

Research output: Contribution to journalArticleAcademicpeer-review

Distributed state space minimization

Blom, S. C. C. & Orzan, S. M., 2005, In : International Journal on Software Tools for Technology Transfer. 7, 3, p. 280-291

Research output: Contribution to journalArticleAcademicpeer-review

25 Citations (Scopus)
1 Downloads (Pure)

Distribution of a simple shared dataspace architecture

Orzan, S. M. & Pol, van de, J. C., 2006, In : Fundamenta Informaticae. 73, 4, p. 535-559

Research output: Contribution to journalArticleAcademicpeer-review

Divide and congruence III: from decomposition of modal formulas to preservation of stability and divergence

Fokkink, W. J., van Glabbeek, R. & Luttik, B., Oct 2019, In : Information and Computation. 268, 31 p., 104435.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Duplication of constants in process algebra

Baeten, J. C. M. & Reniers, M. A., 2007, In : Journal of Logic and Algebraic Programming. 70, 2, p. 151-171

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Citation (Scopus)

Dynamic adaptation with distributed control in paradigm

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2014, In : Science of Computer Programming. 94, 3, p. 333-361 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Dynamic consistency in process algebra : from Paradigm to ACP

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2011, In : Science of Computer Programming. 76, 8, p. 711-735

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

Een gezamenlijke opleiding met een universiteit in India : overeenkomsten en verschillen

Baeten, J. C. M., 2007, In : TINFON : Tijdschrift voor INFormatica-ONderwijs. 16, 1, p. 30-31

Research output: Contribution to journalArticlePopular

Eén minister voor onze nationale ICT : maak één ministerie eindverantwoordelijkheid over de informatietechnologie

Bots, J., Groote, J. F. & Bosman, J., 2010, In : Binnenlands Bestuur. 2010, 44, p. 43-43

Research output: Contribution to journalArticlePopular

Embedding untimed into timed process algebra : the case for explicit termination

Baeten, J. C. M., 2003, In : Electronic Notes in Theoretical Computer Science. 39, 1, p. 1-18

Research output: Contribution to journalArticlePopular

Embedding untimed into timed process algebra : the case for explicit termination

Baeten, J. C. M., 2003, In : Mathematical Structures in Computer Science. 13, 4, p. 589-618

Research output: Contribution to journalArticleAcademicpeer-review

Equivalence and quantifier rules in logics with imperfect information

Caicedo, X., Dechesne, F. & Janssen, T. M. V., 2009, In : Logic Journal of the IGPL. 17, 1, p. 91-129

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)

Evaluating the effect of a lightweight formal technique in industry

Osaiweran, A. A. H., Schuts, M. T. W., Hooman, J. J. M., Groote, J. F. & Rijnsoever, van, B. J., 1 Feb 2016, In : International Journal on Software Tools for Technology Transfer. 18, 1, p. 93-108 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
8 Citations (Scopus)
149 Downloads (Pure)

Experiences in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2011, In : Software : Practice and Experience. 41, 2, p. 143-153

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

Expressiveness modulo bisimilarity of regular expressions with parallel composition

Baeten, J. C. M., Luttik, B., Muller, T. & Tilburg, van, P. J. A., Sep 2016, In : Mathematical Structures in Computer Science. 26, 6, p. 933-968 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)

Extended beam search for non-exhaustive state space analysis

Wijs, A. J. & Torabi Dashti, M., 2012, In : Journal of Logic and Algebraic Programming. 81, 1, p. 46-69

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Falsity conditions for IF-sentences

Dechesne, F., 2005, In : Philosophia Scientiae. 9, 2, p. 305-322 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Finding compact proofs for infinite-data parameterised Boolean equation systems

Neele, T., Willemse, T. A. C. & Groote, J. F., 1 Mar 2020, In : Science of Computer Programming. 188, 22 p., 102389.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Finding finite automata that certify termination of string rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, In : International Journal of Foundations of Computer Science. 16, 3, p. 471-486

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

Finding small counter examples for abstract rewriting properties

Zantema, H., 1 Sep 2018, In : Mathematical Structures in Computer Science. 28, 8, p. 1485-1505 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
41 Downloads (Pure)

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Y. L., Keiren, J. J. A., Kusters, V. J. J., Leemans, S. J. J. & Willemse, T. A. C., 2013, In : Science of Computer Programming. 78, 12, p. 2435-2452 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)
1 Downloads (Pure)

Formalizing belief revision in type theory

Borghuis, V. A. J., Kamareddine, F. & Nederpelt, R. P., 2002, In : Logic Journal of the IGPL. 10, 5, p. 461-500

Research output: Contribution to journalArticleAcademicpeer-review

Formal methods for security protocols : three examples of the black-box approach

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2003, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 7, p. 21-32

Research output: Contribution to journalArticleAcademicpeer-review

Formal specification and analysis of production systems

Bos, V. & Kleijn, J. J. T., 2002, In : International Journal of Production Research. 40, 15, p. 3879-3894

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)

Formal specification of a generic separation kernel

Verbeek, F., Tverdyshev, S., Havle, O., Blasum, H., Langenstein, B., Stephan, W., Nemouchi, Y., Feliachi, A., Wolff, B. & Schmaltz, J., 2014, In : Archive of Formal Proofs. 2014, 2014-07-18

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
66 Downloads (Pure)

Games for bisimulations and abstraction

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 22 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p., 15.

Research output: Contribution to journalArticleAcademic

Open Access
File
2 Citations (Scopus)
30 Downloads (Pure)

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2007, In : Information and Computation. 205, 8, p. 1188-1211

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
7 Citations (Scopus)
2 Downloads (Pure)

Generation and evaluation of business continuity processes using algebraic graph transformation and the mCRL2 process algebra

Brandt, C., Hermann, F. & Groote, J. F., 2011, In : Journal of Research and Practice in Information Technology. 43, 1, p. 65-85

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
42 Downloads (Pure)

Generic trace semantics via coinduction

Hasuo, I., Jacobs, B. P. F. & Sokolova, A., 2007, In : Logical Methods in Computer Science. 3, 4, p. 11-1/36

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
108 Downloads (Pure)

Grip op ontwikkelen van correcte software

Groote, J. F., Stappers, F. P. M. & Reniers, M. A., 2010, In : Release. 2010, 4, p. 18-21

Research output: Contribution to journalArticlePopular

2 Downloads (Pure)

Guidelines for a graduate curriculum on embedded software and systems

Caspi, P., Sangiovanni-Vincentelli, A., Almeida, L., Benveniste, A., Bouyssounouse, B., Buttazo, G. C., Crnkovic, I., Damm, W., Engblom, J., Fohler, G., Garcia-Valls, M., Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, P., Puente, de la, J. A., Scaife, N. & 8 others, Sifakis, J., Simone, de, R., Törngen, M., Verissimo, P., Wellings, A. J., Wilhelm, R., Willemse, T. A. C. & Yi, W., 2005, In : ACM Transactions on Embedded Computing Systems. 4, 3, p. 587-611

Research output: Contribution to journalArticleProfessional

41 Citations (Scopus)
3 Downloads (Pure)

Increased security through open source

Hoepman, J. H. & Jacobs, B. P. F., 2007, In : Communications of the ACM. 50, 1, p. 79-83

Research output: Contribution to journalArticleAcademicpeer-review

68 Citations (Scopus)

Informatica komt niet met strik om de haven van Rotterdam binnen

Groote, J. F. & Verhoef, C., 2006, In : De Automatisering Gids. 2006, 10, p. 15-

Research output: Contribution to journalArticlePopular

Injective synchronisation : an extension of the authentication hierarchy

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2006, In : Theoretical Computer Science. 367, 1-2, p. 139-161

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
35 Citations (Scopus)

Integration of a security type system into a program logic

Hähnle, R., Pan, J., Rümmer, P. & Walter, D., 2008, In : Theoretical Computer Science. 402, 2-3, p. 172-189

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
4 Citations (Scopus)

Interactive visualization of large state spaces

Groote, J. F. & Ham, van, F. J. J., 2006, In : International Journal on Software Tools for Technology Transfer. 8, 1, p. 77-91

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
1 Downloads (Pure)

Invariants for parameterised Boolean equation systems

Orzan, S. M. & Willemse, T. A. C., 2010, In : Theoretical Computer Science. 411, 11-13, p. 1338-1371

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
5 Citations (Scopus)

Is timed branching bisimilarity a congruence indeed?

Fokkink, W. J., Pang, J. & Wijs, A. J., 2008, In : Fundamenta Informaticae. 87, 3-4, p. 287-311

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Language-driven system design

Mauw, S., Wiersma, W. T. & Willemse, T. A. C., 2004, In : International Journal of Software Engineering and Knowledge Engineering. 14, 6, p. 625-663

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)

Levels of undecidability in rewriting

Endrullis, J., Geuvers, J. H., Simonsen, J. G. & Zantema, H., 2011, In : Information and Computation. 209, 2, p. 227-245

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)
2 Downloads (Pure)

Liveness verification in trss using tree automata and termination analysis

Mousazadeh, M., Ladani, B. T. & Zantema, H., 2010, In : Computing and Informatics. 29, 3, p. 407-426

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Located actions in process algebra with timing

Bergstra, J. A. & Middelburg, C. A., 2004, In : Fundamenta Informaticae. 61, 3-4, p. 183-211

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)