Research Output

Filter
Report
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/ReportReportProfessional

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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