• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Rapport
2019

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)

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1701)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
192 Downloads (Pure)

Problem solving using process algebra considered insightful

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1506)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
102 Downloads (Pure)

Coherent branching feature bisimulation

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (arXiv.org; vol. 1503.07693 [cs.PF])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
57 Downloads (Pure)

Exact real arithmetic with perturbation analysis and proof of correctness

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
33 Downloads (Pure)

Improvement in small progress measures

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

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (arXiv; vol. 1505.01695 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
6 Citaten (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 blz. (arXiv; vol. 1506.00884 [cs.FL])

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Downloads (Pure)
2014

A probablistic analysis of the Game of the Goose

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
63 Downloads (Pure)

Executable behaviour and the $π$-calculus

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
44 Downloads (Pure)

Non-termination using regular languages

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1401)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
95 Downloads (Pure)

Strategy derivation for small progress measures

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1402)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
26 Citaten (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 blz. (Computer science reports; vol. 1301)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
52 Downloads (Pure)

Decomposability in formal conformance testing

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
12 Citaten (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 blz. (arXiv.org; vol. 1304.6482 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
34 Downloads (Pure)

Software engineering : redundancy is key

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1205)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
8 Citaten (Scopus)
87 Downloads (Pure)

A rewriting view of simple typing

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1204)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
4 Citaten (Scopus)
82 Downloads (Pure)

Unique parallel decomposition in branching and weak bisimulation semantics

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

Onderzoeksoutput: Boek/rapportRapportAcademic

3 Citaten (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 blz. (Computer science reports; vol. 1114)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1104)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1118)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1113)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1116)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
40 Downloads (Pure)

Property-dependent reductions for the modal mu-calculus

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

Onderzoeksoutput: Boek/rapportRapportAcademic

7 Citaten (Scopus)

Reactive Turing machines

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

Onderzoeksoutput: Boek/rapportRapportAcademic

4 Citaten (Scopus)

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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
32 Downloads (Pure)

Synchronizing asynchronous conformance testing

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
38 Downloads (Pure)

Desynchronisability of (partial) closed loop systems

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (arXiv.org [cs.LO]; vol. 1011.0136)

Onderzoeksoutput: Boek/rapportRapportAcademic

Modeling and reconfiguration of critical business processes for the purpose of a business continuity management respecting security, risk and compliance requirements at Credit Suisse using algebraic graph transformation (Extended version)

Brandt, C., Hermann, F. & Groote, J. F., 2010, Berlin: Technische Universität Berlin. 52 blz. (Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik; vol. 2010-11)

Onderzoeksoutput: Boek/rapportRapportAcademic

Partial bisimulation

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
33 Downloads (Pure)

Proviola: a tool for proof re-animation

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

Onderzoeksoutput: Boek/rapportRapportAcademic

14 Citaten (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 blz. (Computer science reports; vol. 1014)

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CWI Report; vol. SEN-1006)

Onderzoeksoutput: Boek/rapportRapportAcademic

7 Citaten (Scopus)
1 Downloads (Pure)
2009

Bisimulation minimisations for Boolean equation systems

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
75 Downloads (Pure)