Research Output per year
Research Output 1972 2019
- 1 - 50 out of 411 results
- Publication Year, Title (descending)
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/Report › Report › Professional
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Professional
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
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/Report › Report › Academic
Open Access
File
Formal methods
Software design
X rays
Defects