• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Tijdschriftartikel
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 blz., 102341.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Finding compact proofs for infinite-data parameterised Boolean equation systems

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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 blz., 1909.10824.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
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 blz., 1902.09880.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
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, blz. 253-286 34 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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, blz. 29-60 32 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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, blz. 130-153 24 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 blz., 19.2.5.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

The k-dimensional cube is k-representable

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 15-17 3 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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 blz., 131.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
5 Citaten (Scopus)
36 Downloads (Pure)

Counting symbol switches in synchronizing automata

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
6 Downloads (Pure)

Finding small counter examples for abstract rewriting properties

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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 .

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
27 Downloads (Pure)

Parity game reductions

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
2 Citaten (Scopus)
26 Downloads (Pure)

Synchronizing non-deterministic finite automata

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (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.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

19 Citaten (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 blz., 15.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
2 Citaten (Scopus)
26 Downloads (Pure)

Ordering sequences by permutation transducers

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
3 Citaten (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.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (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, blz. 143-155

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 93-108 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
7 Citaten (Scopus)
137 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, blz. 933-968 36 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
1 Downloads (Pure)

On the random structure of behavioural transition systems

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

Parity game reductions

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Bestand
13 Downloads (Pure)

Towards a feature mu-calculus targeting SPL verification

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
7 Citaten (Scopus)
65 Downloads (Pure)

Turtle graphics of morphic sequences

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
45 Downloads (Pure)

Unique parallel decomposition in branching and weak bisimulation semantics

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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, blz. 29/1-39 39 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

5 Citaten (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, blz. 1-40

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
6 Citaten (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, blz. 75-81 7 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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, blz. 4-33 30 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
9 Citaten (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, blz. 149-172 24 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
5 Citaten (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, blz. 1935-1944

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
9 Citaten (Scopus)
215 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, blz. 274-283 10 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
240 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, blz. 75-85 11 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

13 Citaten (Scopus)

De kans om Ganzenbord te winnen

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 333-361 29 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
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, blz. 34-35

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
77 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, blz. 73-92

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (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, blz. 4/1-29

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
3 Citaten (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, blz. 153-168

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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, blz. 2435-2452 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (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, blz. 1034-1049 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

Reactive Turing machines

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (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, blz. 39-73 35 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
73 Downloads (Pure)