Tim A.C. Willemse

2024

It’s All a Game: Apartness and Bisimilarity

Keiren, J. J. A. & Willemse, T. A. C., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 150-167 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Modelling and Analysing a Mechanical Lung Ventilator in mCRL2

van Dortmont, D., Keiren, J. J. A. & Willemse, T. A. C., 2024, Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Proceedings. Bonfanti, S., Gargantini, A., Scandurra, P., Leuschel, M. & Riccobene, E. (eds.). Springer, p. 341-359 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14759 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

OIL: an industrial case study in language engineering with Spoofax

Bunte, O. (Corresponding author), Denkers, J. (Corresponding author), van Gool, L. C. M., Vinju, J. J., Visser, E., Willemse, T. A. C. & Zaidman, A., 3 Jun 2024, (E-pub ahead of print) In: Software and Systems Modeling. XX, XX

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications

Arshad, H. (Corresponding author), Horne, R., Johansen, C., Owe, O. & Willemse, T. A. C., Jan 2024, In: Science of Computer Programming. 232, 10 p., 103046.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

21 Downloads (Pure)

2023

Decomposing monolithic processes in a process algebra with multi-actions

Laveaux, M. (Corresponding author) & Willemse, T. A. C., Apr 2023, In: Journal of Logical and Algebraic Methods in Programming. 132, 24 p., 100858.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

22 Downloads (Pure)

On the Preservation of Properties When Changing Communication Models

Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (ed.). Springer, p. 239-253 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

1 Citation (Scopus)

Preface

Ferreira, C. & Willemse, T. A. C., 2023, Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

Real Equation Systems with Alternating Fixed-Points.

Groote, J. F. & Willemse, T. A. C., Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (eds.). p. 28:1-28:17 17 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Real Equation Systems with Alternating Fixed-points (full version with proofs).

Groote, J. F. & Willemse, T. A. C., 2023, In: CoRR. abs/2307.07455

Research output: Contribution to journal › Article › Academic

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing

van Spaendonck, P. H. M. & Willemse, T. A. C., Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2022

Decompositional Branching Bisimulation Minimisation of Monolithic Processes

Bouwman, M., Laveaux, M., Luttik, B. & Willemse, T., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (eds.). Springer, p. 161-182 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Formal methods and tools for industrial critical systems

ter Beek, M. H. (Corresponding author), Larsen, K. G., Ničković, D. & Willemse, T. A. C., Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 325-330 6 p.

Research output: Contribution to journal › Editorial › Academic › peer-review

Open Access

File

10 Citations (Scopus)

28 Downloads (Pure)

Formal verification of OIL component specifications using mCRL2

Bunte, O. (Corresponding author), van Gool, L. C. M. (Corresponding author) & Willemse, T. A. C. (Corresponding author), Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 441-472 32 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

3 Citations (Scopus)

111 Downloads (Pure)

On-The-Fly Solving for Symbolic Parity Games

Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, In: CoRR. abs/2201.09607

Research output: Contribution to journal › Article › Academic

On-The-Fly Solving for Symbolic Parity Games

Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

2 Citations (Scopus)

Partial-order reduction for parity games and parameterised Boolean equation systems

Neele, T. (Corresponding author), Willemse, T. A. C., Wesselink, W. & Valmari, A., Oct 2022, In: International Journal on Software Tools for Technology Transfer. 24, 5, p. 735-756 22 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

2 Citations (Scopus)

59 Downloads (Pure)

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

Arshad, H., Horne, R., Johansen, C., Owe, O. & Willemse, T. A. C., 2022, Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. Mousavi, M. R. & Philippou, A. (eds.). Springer, p. 11-30 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13273 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

Groote, J. F., Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Citation (Scopus)

2021

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Neele, T., Valmari, A. & Willemse, T. A. C., 21 Jul 2021, In: Logical Methods in Computer Science. 17, 3, p. 8:1–8:27 27 p., 8.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

1 Citation (Scopus)

62 Downloads (Pure)

Correct and Efficient Antichain Algorithms for Refinement Checking

Laveaux, M., Groote, J. F. & Willemse, T. A. C., 2021, In: Logical Methods in Computer Science. 17, 1, 40 p., 8.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

1 Citation (Scopus)

29 Downloads (Pure)

Decomposing monolithic processes in a process algebra with multi-actions

Laveaux, M. & Willemse, T. A. C., 2 Oct 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 347, p. 57-76 20 p.

Research output: Contribution to journal › Conference article › peer-review

Open Access

File

4 Citations (Scopus)

62 Downloads (Pure)

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)

Bouwman, M., Luttik, B. & Willemse, T., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer, p. 182-187 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Preface

Peters, K. & Willemse, T. A. C., 2021, Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Peters, K. & Willems, T. A. C. (eds.). Springer, p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation

Bartholomeus, M., Erkens, R., Luttik, S. P. & Willemse, T. A. C., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (eds.). p. 498-499 (Lecture Notes in Computer Science; no. 13036).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

2020

A process algebra with global variables

Bouwman, M. (Corresponding author), Luttik, B., Schols, W. & Willemse, T. A. C., 27 Aug 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 322, p. 33-50 18 p.

Research output: Contribution to journal › Conference article › peer-review

Open Access

5 Citations (Scopus)

A symmetric protocol to establish service level agreements

Groote, J. F. (Corresponding author) & Willemse, T. A. C. (Corresponding author), 2020, In: Logical Methods in Computer Science. 16, 3, 19 p., 19.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

2 Citations (Scopus)

22 Downloads (Pure)

A symmetric protocol to establish service level agreements

Groote, J. F. & Willemse, T. A. C., 2020, In: arXiv. abs/2001.07658

Research output: Contribution to journal › Article › Academic

A symmetric protocol to establish service level agreements.

Groote, J. F. & Willemse, T. A. C., Jan 2020, In: arXiv. 2020, 19 p., 2001.07658.

Research output: Contribution to journal › Article › Academic

Open Access

Decompositional Minimisation of Monolithic Processes

Laveaux, M. & Willemse, T. A. C., 11 Dec 2020, In: arXiv. 2020, 24 p., 2012.06468.

Research output: Contribution to journal › Article › Academic

Open Access

File

20 Downloads (Pure)

Family-Based SPL model checking using parity games with variability

ter Beek, M. H., van Loo, S., de Vink, E. P. & Willemse, T. A. C., 2020, Fundamental Approaches to Software Engineering- 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Wehrheim, H. & Cabot, J. (eds.). Springer, p. 245-265 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12076 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

9 Citations (Scopus)

Finding compact proofs for infinite-data parameterised Boolean equation systems

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

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

4 Citations (Scopus)

87 Downloads (Pure)

Formal Verification of OIL Component Specifications using mCRL2

Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (eds.). Springer, p. 231-251 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Modelling and analysing software in mCRL2

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (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. (eds.). Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

Off-the-shelf automated analysis of liveness properties for just paths

Bouwman, M., Luttik, B. (Corresponding author) & Willemse, T., 1 Oct 2020, In: Acta Informatica. 57, 3-5, p. 551-590 40 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

10 Citations (Scopus)

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. (eds.). Springer, p. 307-324 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

3 Citations (Scopus)

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Neele, T., Valmari, A. & Willemse, T. A. C., 17 Apr 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Springer, p. 482-501 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

4 Citations (Scopus)

2019

A framework for the extended evaluation of ABAC policies

Morisset, C., Willemse, T. A. C. & Zannone, N., 1 Dec 2019, In: Cybersecurity. 2, 1, 21 p., 6.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

11 Citations (Scopus)

110 Downloads (Pure)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)

Research output: Book/Report › Report › Academic

Open Access

File

216 Downloads (Pure)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Correct and efficient antichain algorithms for refinement checking

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

Research output: Contribution to journal › Article › Academic

Open Access

File

113 Downloads (Pure)

Correct and Efficient Antichain Algorithms for Refinement Checking

Laveaux, M., Groote, J. F. & Willemse, T. A. C., 2019, FORTE. p. 185-203 19 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Correct and Efficient Antichain Algorithms for Refinement Checking

Laveaux, M., Groote, J. F. & Willemse, T. A. C., 2019, In: CoRR. abs/1902.09880

Research output: Contribution to journal › Article › Academic

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 p. (Computer Science Reports; vol. 19-05)

Research output: Book/Report › Report › Academic

Open Access

File

652 Downloads (Pure)

Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Neele, T., Willemse, T. & Wesselink, W., 1 Sept 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

Research output: Book/Report › Report › Academic

Open Access

File

89 Downloads (Pure)

Preface

Larsen, K. G. & Willemse, T., 1 Jan 2019, Formal Methods for Industrial Critical Systems. Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

96 Citations (Scopus)

105 Downloads (Pure)

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 journal › Article › Academic › peer-review

1 Downloads (Pure)

2018

A comparison of BDD-based parity game solvers

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

5 Citations (Scopus)

2 Downloads (Pure)

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 p. (Computer science reports; vol. 1801)

Research output: Book/Report › Report › Academic

Open Access

File

556 Downloads (Pure)

Tim A.C. Willemse

Research output

Search results