• 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
85 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
97 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
24 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
224 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
201 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
219 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
109 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
74 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
59 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
35 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
40 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
7 Citations (Scopus)
96 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
69 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
46 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
27 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
100 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
33 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)
160 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
54 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
31 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)
85 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
36 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
102 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
9 Citations (Scopus)
92 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
73 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)
86 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
53 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
42 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
51 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
68 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
43 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
36 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)
81 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
40 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
36 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
98 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
79 Downloads (Pure)