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

A formal actor-based model for streaming the future

Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 Feb 2020, In : Science of Computer Programming. 186, 22 p., 102341.

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)
2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 Sep 2019, In : arXiv. 27 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
5 Downloads (Pure)

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
29 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)

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

1 Citation (Scopus)
1 Downloads (Pure)

Lower bounds for synchronizing word lengths in partial automata

de Bondt, M., Don, H. M. & Zantema, H., 2019, In : International Journal of Foundations of Computer Science. 30, 1, p. 29-60 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

On series-parallel pomset languages: rationality, context-freeness and automata

Kappé, T., Brunet, P., Luttik, B., Silva, A. & Zanasi, F., Feb 2019, In : Journal of Logic and Algebraic Programming. 103, p. 130-153 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Solving computational problems in the theory of word-representable graphs

Akgün, Ö., Gent, I., Kitaev, S. & Zantema, H., 2019, In : Journal of Integer Sequences. 22, 2, 18 p., 19.2.5.

Research output: Contribution to journalArticleAcademicpeer-review

The k-dimensional cube is k-representable

Broere, B. & Zantema, H., 2019, In : Journal of Automata, Languages and Combinatorics. 24, 1, p. 3-12 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Bartholomeus, M., Luttik, B., Willemse, T. A. C., Hansen, D., Leuschel, M. & Hendriks, P., 1 Nov 2019, In : IRSE News. 260, 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

The use of formal methods in standardisation of interfaces of signalling systems

van der Werff, M., Elsweiler, B., Luttik, B. & Hendriks, P., Jun 2019, In : IRSE News. 256, p. 15-17 3 p.

Research output: Contribution to journalArticleProfessional

Verification of hypertorus communication grids by infinite Petri nets and process algebra

Zaitsev, D., Shmeleva, T. & Groote, J. F., May 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 3, p. 733-742 10 p., 8707130.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2018

An efficient algorithm to determine probabilistic bisimulation

Groote, J. F., Rivera Verduzco, H. J. & de Vink, E. P., 5 Sep 2018, In : Algorithms. 11, 9, 22 p., 131.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
35 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)

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
34 Downloads (Pure)

Lower bounds for synchronizing word lengths in partial automata

de Bondt, M., Don, H. M. & Zantema, H., 2018, In : arXiv. 1801.10436 .

Research output: Contribution to journalArticleAcademic

Open Access
File
27 Downloads (Pure)

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In : Acta Informatica. 55, 5, p. 401-444 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Synchronizing non-deterministic finite automata

Don, H. & Zantema, H., 2018, In : Journal of Automata, Languages and Combinatorics. 23, 4, p. 307-328 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
19 Downloads (Pure)
2017

An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 1 Jun 2017, In : ACM Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)
4 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)
25 Downloads (Pure)

Ordering sequences by permutation transducers

Bosma, W. & Zantema, H., 1 Feb 2017, In : Indagationes Mathematicae. 28, 1, p. 38-54 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
3 Citations (Scopus)
1 Downloads (Pure)

Termination of cycle rewriting by transformation and matrix interpretation

Sabel, D. & Zantema, H., 1 Jan 2017, In : Logical Methods in Computer Science. 13, 1, 11.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
16 Downloads (Pure)
2016

A probabilistic analysis of the Game of the Goose

Groote, J. F., Wiedijk, F. & Zantema, H., 2016, In : SIAM Review. 58, 1, p. 143-155

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2 Downloads (Pure)

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
7 Citations (Scopus)
135 Downloads (Pure)

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

3 Citations (Scopus)
1 Downloads (Pure)

On the random structure of behavioural transition systems

Groote, J. F., van der Hofstad, R. W. & Raffelsieper, M., 15 Oct 2016, In : Science of Computer Programming. 128, p. 51-67 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 21 Mar 2016, In : arXiv. 1603.06422v1, 52 p.

Research output: Contribution to journalArticleAcademic

File
13 Downloads (Pure)

Towards a feature mu-calculus targeting SPL verification

Ter Beek, M. H., De Vink, E. P. & Willemse, T. A. C., 28 Mar 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 206, p. 61-75 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
7 Citations (Scopus)
65 Downloads (Pure)

Turtle graphics of morphic sequences

Zantema, H., 2016, In : Fractals. 24, 1, 16 p., 1650009.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
43 Downloads (Pure)

Unique parallel decomposition in branching and weak bisimulation semantics

Luttik, B., 2016, In : Theoretical Computer Science. 612, p. 29-44

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
2015

Abstraction in fixpoint logic

Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2015, In : ACM Transactions on Computational Logic. 16, 4, p. 29/1-39 39 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Bisimulation of labelled state-to-function transition systems coalgebraically

Latella, D., Massink, M. & de Vink, E. P., 2015, In : Logical Methods in Computer Science. 11, 4, p. 1-40

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
52 Downloads (Pure)

Software engineering : redundancy is key

Brand, van den, M. G. J. & Groote, J. F., 2015, In : Science of Computer Programming. 97, 1, p. 75-81 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
9 Downloads (Pure)

Specification guidelines to avoid the state space explosion problem

Groote, J. F., Kouters, T. W. D. M. & Osaiweran, A. A. H., 2015, In : Software Testing, Verification and Reliability. 25, 1, p. 4-33 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
9 Citations (Scopus)
123 Downloads (Pure)

Synchrony and asynchrony in conformance testing

Noroozi, N., Khosravi, R., Mousavi, M. R. & Willemse, T. A. C., 2015, In : Software and Systems Modeling. 14, 1, p. 149-172 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
278 Downloads (Pure)
2014

A decision procedure for deadlock-free routing in wormhole networks

Verbeek, F. & Schmaltz, J., 2014, In : IEEE Transactions on Parallel and Distributed Systems. 25, 8, p. 1935-1944

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
9 Citations (Scopus)
214 Downloads (Pure)

Book announcement : Modeling and Analysis of Communicating Systems

Groote, J. F. & Mousavi, M. R., 2014, In : Bulletin of the European Association for Theoretical Computer Science, EATCS. 114, p. 274-283 10 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
239 Downloads (Pure)

Comparison of the molecular topologies of stress- activated transcription factors HSF1, AP-1, NRF2, and NF-kB in their induction kinetics of HMOX1

Pronk, T. E., Veen, van der, J. W., Vandebriel, R. J., Loveren, van, H., Vink, de, E. P. & Pennings, J. L. A., 2014, In : Biosystems. 124, p. 75-85 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

13 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)

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

4 Citations (Scopus)
1 Downloads (Pure)

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
61 Downloads (Pure)

Redundancy on the software design process is essential for designing correct software

Brand, van den, M. G. J. & Groote, J. F., 2014, In : ERCIM News. 99, p. 34-35

Research output: Contribution to journalArticleProfessional

Open Access
File
76 Downloads (Pure)

Results on embeddings between state-based and event-based systems

Reniers, M. A., Schoren, R. J. A. & Willemse, T. A. C., 2014, In : The Computer Journal. 57, 1, p. 73-92

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
5 Downloads (Pure)
2013

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2013, In : Logical Methods in Computer Science. 9, 1, p. 4/1-29

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
51 Downloads (Pure)

Compositional and behavior-preserving reconfiguration of component connectors in Reo

Krause, C., Giese, H. & Vink, de, E. P., 2013, In : Journal of Visual Languages and Computing. 24, 3, p. 153-168

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

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

10 Citations (Scopus)
1 Downloads (Pure)

N.G. de Bruijn’s contribution to the formalization of mathematics

Geuvers, J. H. & Nederpelt, R. P., 2013, In : Indagationes Mathematicae. New Series. 24, 4, p. 1034-1049 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Reactive Turing machines

Baeten, J. C. M., Luttik, S. P. & Tilburg, van, P. J. A., 2013, In : Information and Computation. 231, p. 143-166 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

RNA-editing with combined insertion and deletion preserves regularity

Vink, de, E. P., Zantema, H. & Bosnacki, D., 2013, In : Scientific Annals of Computer Science. XXIII, 1, p. 39-73 35 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
73 Downloads (Pure)