• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

2020

Active Learning of Decomposable Systems

al Duhaiby, O. & Groote, J. F., 13 jul 2020, 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE). Seoul, Republic of Korea: ACM/IEEE, blz. 1-10 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
12 Downloads (Pure)

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

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

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 1 jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 3-20 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
1 Citaat (Scopus)

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)

Modelling and Analysing Software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., 1 jan 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S-S. (redactie). Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

Neele, T., Willemse, T. A. C. & Wesselink, W., 17 apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 307-324 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Reductions for parity games and model checking

Neele, T., 16 sep 2020, (Geaccepteerd/In druk) Eindhoven: Technische Universiteit Eindhoven.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Up-to techniques for branching bisimilarity

Erkens, R., Rot, J. & Luttik, B., 17 jan 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (redactie). Cham: Springer, blz. 285-297 13 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Active learning of industrial software with data

Sanchez, L., Groote, J. F. & Schiffelers, R., 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (redactie). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, blz. 51-65 14 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Cham: Springer, blz. 95-110 16 blz. (Lecture notes in computer science; vol. 11761).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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

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., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 19/01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
77 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)

Modelling and analysing software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer Science Reports; vol. 19-05)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
57 Downloads (Pure)

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

Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity

Belder, A., Luttik, B. & Baeten, J., nov 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 22 blz. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
6 Downloads (Pure)

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

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computer science reports; vol. 19-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
22 Downloads (Pure)

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

A comparison of BDD-based parity game solvers

Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, blz. 103-117 15 blz. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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)

Automatic generation of hardware checkers from formal micro-architectural specifications

Fedotov, A. & Schmaltz, J., 19 apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-January. blz. 1568-1573 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computer science reports; vol. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
209 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)

Deadlock detection for actor-based coroutines

Azadbakht, K., de Boer, F. S. & de Vink, E., 1 jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (redactie). Cham: Springer, blz. 39-54 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)

Evidence extraction from parameterised Boolean equation systems

Wesselink, W. & Willemse, T. A. C., 1 jan 2018, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018): Oxford, UK, July 18, 2018.. Benzmüller, C. & Otten, J. (redactie). CEUR-WS.org, blz. 86-100 15 blz. (CEUR Workshop Proceedings; vol. 2095).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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)

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)

Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings

Havelund, K. (redactie), Peleska, J. (redactie), Roscoe, B. (redactie) & de Vink, E. (redactie), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Formal micro-architectural analysis of on-chip ring networks

van Wesel, P. & Schmaltz, J., 24 jun 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. New York: ACM/IEEE, 6 blz. 94

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Logistics modeling and analysis for chuck exchange using Product Line Engineering

Fekade Yimam, B., 24 okt 2018, Eindhoven: Technische Universiteit Eindhoven. 57 blz.

Onderzoeksoutput: ScriptiePd Eng Thesis

Open Access
Bestand
155 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)

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Bartholomeus, M., Luttik, B. & Willemse, T., 1 jan 2018, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Howar, F. & Barnat, J. (redactie). Berlin: Springer, blz. 98-114 17 blz. (Lecture Notes in Computer Science; vol. 11119).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1 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)

Pitfalls in applying model learning to industrial legacy software

al Duhaiby, O., Mooij, A., van Wezep, H. & Groote, J. F., 30 okt 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (redactie). Cham: Springer, blz. 121-138 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
1 Downloads (Pure)

Scalable performance analysis of wireless sensor networks

Talebi, M., 25 okt 2018, Eindhoven: Technische Universiteit Eindhoven. 137 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
205 Downloads (Pure)

Solving parameterised boolean equation systems with infinite data through quotienting

Neele, T., Willemse, T. A. C. & Groote, J. F., 5 okt 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (redactie). Berlin: Springer, blz. 216-236 21 blz. (Lecture Notes in Computer Science; vol. 11222).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
2 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

A formalisation of consistent consequence for boolean equation systems

van Delft, M., Geuvers, H. & Willemse, T. A. C., 2017, Interactive theorem proving - 8th International Conference, ITP 2017,Proceedings. Ayala-Rincón, M. & Muñoz, C. A. (redactie). Springer, blz. 462-478 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10499).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

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)

Assessing the quality of tabular state machines through metrics

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 2017, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 1701)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
193 Downloads (Pure)

Assessing the quality of tabular state machines through metrics.

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 11 aug 2017, Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017. Piscataway: IEEE Press, blz. 426-433 8 blz. 8009946

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review