Research Output 1972 2019

Filter
Report
2019
15 Downloads (Pure)

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
58 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
Specifications
Data storage equipment
Experiments
11 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
Decomposition
Distributed computer systems
Large scale systems
Communication
8 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
Model checking
Explosions
Repair
4 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
2018
157 Downloads (Pure)

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
3 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
Tangram
Partition
Number of Solutions
Diagram
26 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
Closure
Approximation
Empirical distribution
45 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
2017
165 Downloads (Pure)

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
191 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
2015
90 Downloads (Pure)

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
59 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
Projection systems
Model checking
51 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
Wireless sensor networks
Network protocols
Communication
Mean field theory
Radio communication
142 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
Ecosystems
Specifications
Lithography
Semiconductor materials
Industry
29 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
1 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

Testing
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

1611 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
Bibliographies
Large scale systems
30 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
Regular Languages
Finite Automata
Term Rewriting
Tree Automata
Rewriting
5 Citations (Scopus)
66 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
Graph Transformation
Semiring
Termination
Rewriting
Graph in graph theory
1 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

Polynomial
Periodic Sequence
Partial Order
Transducer
2014
71 Downloads (Pure)

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
Automation
Synchronization
48 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
40 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
Divergence
Equivalence
2 Citations (Scopus)
57 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
Adenosinetriphosphate
Experiments
21 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
Formal languages
78 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
Random graphs
State space
Modeling
Alternative models
Software
548 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
DSL
Ontology
21 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
24 Citations (Scopus)
134 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
Model checking
Specification languages
Quality assurance
Formal specification
2013
47 Downloads (Pure)

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
Model checking
Syntactics
Set theory
25 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
Specifications
Testing
10 Citations (Scopus)
61 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
Display devices
HTML
Adenosinetriphosphate
30 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
flow control
control system
analysis
fighting
explosion
82 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
Redundancy
Software engineering
Engineers
Error probability
2012
7 Citations (Scopus)
76 Downloads (Pure)

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
Experiments

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

51 Downloads (Pure)

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
Refining
Model checking
Software engineering
43 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
Interchanges
Modeling languages
57 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
Software design
Industry
Productivity
4 Citations (Scopus)
69 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
Formal methods
Model checking
Software design
X rays
Industry
40 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
Software design
Power control
X rays
Industry
Code generation
8 Citations (Scopus)
78 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
communicating
64 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
Network protocols
Cellular telephone systems
Health
Communication
26 Citations (Scopus)
79 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
Apis
33 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
Controllability
Supervisory personnel
Semantics
Feedback
Communication
3 Citations (Scopus)
1 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

Bisimulation
Branching
Decompose
Monoids
Modulo
2011
41 Downloads (Pure)

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
Formal methods
Controllers
Software design
X rays
Testing
33 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
Formal methods
Software design
X rays
Defects