• 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
Report
2019

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/ReportReportAcademic

Open Access
File
77 Downloads (Pure)

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/ReportReportAcademic

Open Access
File
56 Downloads (Pure)

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

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)
2018

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/ReportReportAcademic

Open Access
File
209 Downloads (Pure)
2017

Assessing the quality of tabular state machines through metrics

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

Research output: Book/ReportReportAcademic

Open Access
File
192 Downloads (Pure)

Problem solving using process algebra considered insightful

Groote, J. F. & de Vink, E. P., 2017, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computer science reports; vol. 1702)

Research output: Book/ReportReportAcademic

Open Access
File
212 Downloads (Pure)
2015

An O(m log n) algorithm for stuttering equivalence and branching bisimulation

Groote, J. F. & Wijs, A., 2015, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1506)

Research output: Book/ReportReportAcademic

Open Access
File
102 Downloads (Pure)

Coherent branching feature bisimulation

Belder, T., Beek, ter, M. H. & Vink, de, E. P., 2015, s.n. 17 p. (arXiv; vol. 1504.03474 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
70 Downloads (Pure)

Communication patterns in mean field models for wireless sensor networks

Talebi, M., Groote, J. F. & Linnartz, J. P. M. G., 2015, arXiv.org. 22 p. (arXiv.org; vol. 1503.07693 [cs.PF])

Research output: Book/ReportReportAcademic

Open Access
File
57 Downloads (Pure)

Exact real arithmetic with perturbation analysis and proof of correctness

Keshishzadeh, S. & Groote, J. F., 2015, Eindhoven: Technische Universiteit Eindhoven. 58 p. (Computer science reports; vol. 1505)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Improvement in small progress measures

Gazda, M. W. & Willemse, T. A. C., 2015, s.n. 14 p. (arXiv; vol. 1509.07207 [cs.LO])

Research output: Book/ReportReportAcademic

1 Downloads (Pure)

Proving looping and non-looping non-termination by finite automata

Endrullis, J. & Zantema, H., 2015, s.n. 20 p. (arXiv; vol. 1505.00478 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Proving termination of graph transformation systems using weighted type graphs over semirings

Bruggink, H. J. S., König, B., Nolte, D. & Zantema, H., 2015, s.n. 19 p. (arXiv; vol. 1505.01695 [cs.LO])

Research output: Book/ReportReportAcademic

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

The degree of squares is an atom (Extended version)

Endrullis, J., Grabmayer, C. A., Hendriks, D. & Zantema, H., 2015, s.n. 19 p. (arXiv; vol. 1506.00884 [cs.FL])

Research output: Book/ReportReportAcademic

1 Downloads (Pure)
2014

A probablistic analysis of the Game of the Goose

Groote, J. F. & Zantema, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 1404)

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)

Executable behaviour and the $π$-calculus

Luttik, B. & Yang, F., 2014, s.n. 17 p. (arXiv; vol. 1410.4512 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
44 Downloads (Pure)

Non-termination using regular languages

Endrullis, J. & Zantema, H., 2014, s.n. 6 p. (arXiv; vol. 1405.5662 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)

On the random structure of behavioural transition systems

Groote, J. F., van der Hofstad, R. W. & Raffelsieper, M., 2014, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 1401)

Research output: Book/ReportReportAcademic

Open Access
File
95 Downloads (Pure)

Strategy derivation for small progress measures

Gazda, M. W. & Willemse, T. A. C., 2014, s.n. 33 p. (arXiv; vol. 1407.2149 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)

Using mCRL2 for the analysis of software product lines

Beek, ter, M. H. & Vink, de, E. P., 2014, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1402)

Research output: Book/ReportReportAcademic

Open Access
File
26 Citations (Scopus)
154 Downloads (Pure)
2013

Abstraction in parameterised Boolean equation systems

Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2013, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 1301)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)

Decomposability in formal conformance testing

Noroozi, N., Mousavi, M. R. & Willemse, T. A. C., 2013, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 1302)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Formal mathematics on display : a wiki for Flyspeck

Tankink, C., Kaliszyk, C., Urban, J. & Geuvers, J. H., 2013, s.n. (arXiv.org; vol. 1305.5710 [cs.MS])

Research output: Book/ReportReportAcademic

Open Access
File
12 Citations (Scopus)
74 Downloads (Pure)

Improved static analysis of parameterised Boolean equation systems using control flow reconstruction

Keiren, J. J. A., Wesselink, J. W. & Willemse, T. A. C., 2013, s.n. 27 p. (arXiv.org; vol. 1304.6482 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Software engineering : redundancy is key

Brand, van den, M. G. J. & Groote, J. F., 2013, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 1308)

Research output: Book/ReportReportAcademic

Open Access
File
96 Downloads (Pure)
2012

A cure for stuttering parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2012, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 1205)

Research output: Book/ReportReportAcademic

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

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2012, s.n. 27 p. (arXiv.org; vol. 1211.0865 [cs.PL])

Research output: Book/ReportReportAcademic

Evaluating the effect of formal techniques in industry

Osaiweran, A. A. H., Groote, J. F., Schuts, M. T. W., Hooman, J. J. M. & Rijnsoever, van, B. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 1213)

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)

Experience report on designing and developing control components using formal methods

Osaiweran, A. A. H., Fransen, T., Groote, J. F. & Rijnsoever, van, B. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1204)

Research output: Book/ReportReportAcademic

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

Unique parallel decomposition in branching and weak bisimulation semantics

Luttik, S. P., 2012, s.n. 21 p. (arXiv.org; vol. 1205.2117 [cs.LO])

Research output: Book/ReportReportAcademic

3 Citations (Scopus)
1 Downloads (Pure)
2011

Analyzing a controller of a power distribution unit using formal methods

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 1114)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)

Benefits of applying formal methods to industrial control software

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1104)

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)

Dogfooding the structural operational semantics of mCRL2

Stappers, F. P. M., Reniers, M. A., Groote, J. F. & Weber, S., 2011, Eindhoven: Technische Universiteit Eindhoven. 87 p. (Computer science reports; vol. 1118)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

Experience report on developing the Front-end Client unit under the control of formal methods

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1113)

Research output: Book/ReportReportAcademic

Open Access
File
64 Downloads (Pure)

Investigating the effects of designing industrial control software using push and poll strategies

Groote, J. F., Osaiweran, A. A. H., Schuts, M. T. W. & Wesselius, J. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1116)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Property-dependent reductions for the modal mu-calculus

Mateescu, R. & Wijs, A. J., 2011, Grenoble: INRIA. 33 p. (Rapport de Recherche; vol. 7690)

Research output: Book/ReportReportAcademic

7 Citations (Scopus)

Reactive Turing machines

Baeten, J. C. M., Luttik, B. & Tilburg, van, P. J. A., 2011, s.n. 28 p. (arXiv.org [cs.LO]; vol. 1104.1738)

Research output: Book/ReportReportAcademic

4 Citations (Scopus)

Semantics, bisimulation and congruence results for a general stochastic process operator

Groote, J. F. & Lanik, J., 2011, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 1105)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Synchronizing asynchronous conformance testing

Noroozi, N., Khosravi, R., Mousavi, M. R. & Willemse, T. A. C., 2011, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1110)

Research output: Book/ReportReportAcademic

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

TOPAAS : een structurele aanpak voor faalkansanalyse van software intensieve systemen

Brandt, E., Di Bucchianico, A., van Ekris, J., Groote, J. F., Geurts, W., Heslinga, G. & Kolk, G., 2011, Rijkswaterstaat. Ministerie van Verkeer en Waterstaat. 74 p.

Research output: Book/ReportReportAcademic

3 Downloads (Pure)
2010

A linear translation from LTL to the first-order modal µ-calculus

Cranen, S., Groote, J. F. & Reniers, M. A., 2010, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1009)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Desynchronisability of (partial) closed loop systems

Beohar, H. & Cuijpers, P. J. L., 2010, Eindhoven: Technische Universiteit Eindhoven. 66 p. (Computer science reports; vol. 1019)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Folk theorems on the correspondence between state-based and event-based systems

Reniers, M. A. & Willemse, T. A. C., 2010, s.n. 21 p. (arXiv.org [cs.LO]; vol. 1011.0136)

Research output: Book/ReportReportAcademic

Partial bisimulation

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2010, Eindhoven: Technische Universiteit Eindhoven. 26 p. (SE report; vol. 2010-04)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Proviola: a tool for proof re-animation

Tankink, C., Geuvers, J. H., McKinna, J. & Wiedijk, F., 2010, s.n. 15 p. (arXiv.org [cs.DL]; vol. 1005.2672)

Research output: Book/ReportReportAcademic

14 Citations (Scopus)
1 Downloads (Pure)

Specification guidelines to avoid the state space explosion problem

Groote, J. F., Kouters, T. W. D. M. & Osaiweran, A. A. H., 2010, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 1014)

Research output: Book/ReportReportAcademic

Open Access
File
92 Downloads (Pure)

Structural analysis of Boolean equation systems

Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2010, s.n. (arXiv.org [cs.LO]; vol. 1002.3222)

Research output: Book/ReportReportAcademic

9 Downloads (Pure)

Symbolic synthesis of Mealy machines from arithmetic bitstream functions

Hansen, H. H. & Rutten, J. J. M. M., 2010, Amsterdam: Centrum voor Wiskunde en Informatica. 24 p. (CWI Report; vol. SEN-1006)

Research output: Book/ReportReportAcademic

7 Citations (Scopus)
1 Downloads (Pure)
2009

Bisimulation minimisations for Boolean equation systems

Keiren, J. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0917)

Research output: Book/ReportReportAcademic

Open Access
File
75 Downloads (Pure)