Research Output per year
Research Output
2019
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., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer Science Reports; vol. 19-03)Research output: Book/Report › Report › Professional
Open Access
File
37
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
77
Downloads
(Pure)
Distribution of Behaviour into parallel communicating subsystems
Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.Research output: Book/Report › Report › Academic
Open Access
File
22
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/Report › Report › Academic
Open Access
File
57
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 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)Research output: Book/Report › Report › Academic
Open Access
File
27
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
209
Downloads
(Pure)
Determining the essentially different partitions of all Japanese convex tangrams
Beelen, T. G. J. & Verhoeff, T., Nov 2018, 07 ed. Eindhoven: Technische Universiteit Eindhoven. 83 p. (CASA report)Research output: Book/Report › Report › Academic
Open Access
File
7
Downloads
(Pure)
First-order moment closure approximations for middle-sized systems with non-linear rates
Talebi, M., 9 Jul 2018, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computer Science Reports; vol. 18/02)Research output: Book/Report › Report › Professional
Open Access
File
34
Downloads
(Pure)
Solving parameterised Boolean equation systems with infinite data through quotienting
Neele, T. S., Willemse, T. A. C. & Groote, J. F., 2018, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 18-03)Research output: Book/Report › Report › Academic
Open Access
File
64
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/Report › Report › Academic
Open Access
File
193
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/Report › Report › Academic
Open Access
File
213
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/Report › Report › Academic
Open Access
File
103
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/Report › Report › Academic
Open Access
File
71
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/Report › Report › Academic
Open Access
File
57
Downloads
(Pure)
Evolution specification evaluation in industrial MDSE ecosystems
Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & Brand, van den, M. G. J., 2015, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1504)Research output: Book/Report › Report › Academic
Open Access
File
160
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/Report › Report › Academic
Open Access
File
33
Downloads
(Pure)
Generalised tally-based decoders for traitor tracing and group testing
Skoric, B. & Groot, de, W., 2015, IACR. 8 p. (Cryptology ePrint Archive; vol. 2015/617)Research output: Book/Report › Report › Academic
1
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/Report › Report › Academic
1
Downloads
(Pure)
Multiphysics and multiscale software frameworks : an annotated bibliography
Babur, O., Verhoeff, T. & Brand, van den, M. G. J., 2015, Eindhoven: Technische Universiteit Eindhoven. 37 p. (Computer science reports; vol. 1501)Research output: Book/Report › Report › Academic
Open Access
File
1731
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
1
Downloads
(Pure)
2014
A modeling environment supporting the co-evolution of user requirements and design
Peeters, F. A. I., Barosan, I., Yue, T. & Serebrenik, A., 2014, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1403)Research output: Book/Report › Report › Academic
Open Access
File
86
Downloads
(Pure)
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
44
Downloads
(Pure)
Initial experiments with TPTP-style automated theorem provers on ACL2 problems
Joosten, S. J. C., Kaliszyk, C. & Urban, J., 2014, s.n. 9 p. (arXiv; vol. 1406.1559 [cs.AI])Research output: Book/Report › Report › Academic
Open Access
File
2
Citations
(Scopus)
72
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
96
Downloads
(Pure)
Ontologies in domain specific languages : a systematic literature review
Sutii, A. M., Verhoeff, T. & Brand, van den, M. G. J., 2014, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1409)Research output: Book/Report › Report › Academic
Open Access
File
584
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
12
Citations
(Scopus)
75
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
Checking property preservation of refining transformations for model-driven development
Engelen, L. J. P. & Wijs, A. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 1208)Research output: Book/Report › Report › Academic
Open Access
File
57
Downloads
(Pure)
CIF MSOS type system
Meer, van der, A. P., 2012, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 1206)Research output: Book/Report › Report › Academic
Open Access
File
46
Downloads
(Pure)
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
4
Citations
(Scopus)
82
Downloads
(Pure)
Incorporating formal techniques into industrial practice
Osaiweran, A. A. H., Schuts, M. T. W. & Hooman, J. J. M., 2012, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 1214)Research output: Book/Report › Report › Academic
Open Access
File
48
Downloads
(Pure)
Model checking the FlexRay startup phase
Cranen, S., 2012, Eindhoven: Technische Universiteit Eindhoven. 38 p. (Computer science reports; vol. 1201)Research output: Book/Report › Report › Academic
Open Access
File
8
Citations
(Scopus)
97
Downloads
(Pure)
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2
Keiren, J. J. A. & Klabbers, M. D., 2012, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 1212)Research output: Book/Report › Report › Academic
Open Access
File
68
Downloads
(Pure)
Survival of Eclipse third-party plug-ins
Businge, J., Serebrenik, A. & Brand, van den, M. G. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1211)Research output: Book/Report › Report › Academic
Open Access
File
28
Citations
(Scopus)
97
Downloads
(Pure)
Towards a concurrency theory for supervisory control
Baeten, J. C. M., Hulst, van, A. C., Beek, van, D. A. & Markovski, J., 2012, Eindhoven: Technische Universiteit Eindhoven. 38 p. (SE report; vol. 2012-01)Research output: Book/Report › Report › Academic
Open Access
File
39
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
51
Downloads
(Pure)