Research Output per year
Research Output 1972 2019
- 1 - 50 out of 362 results
- Publication Year, Title (descending)
2019
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
Equivalence
Divergence
2
Citations
(Scopus)
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
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
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
Graph model
Alternative models
Modeling
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
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
22
Citations
(Scopus)
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
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
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)
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
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
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)
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
Positive ions
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
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
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
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)
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
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
7
Citations
(Scopus)
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
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
24
Citations
(Scopus)
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
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)
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
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
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
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 p. (Computer science reports; vol. 1118)Research output: Book/Report › Report › Academic
Open Access
File
Semantics
Formal languages
Specification languages
Specifications
Network protocols
Eclipse API usage : the good and the bad
Businge, J., Serebrenik, A. & Brand, van den, M. G. J., 2011, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1115)Research output: Book/Report › Report › Academic
Open Access
File
Application programming interfaces (API)
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 p. (Computer science reports; vol. 1113)Research output: Book/Report › Report › Academic
Open Access
File
Formal methods
Software design
Coding errors
X rays
Formal verification of unreliable failure detectors in partially synchronous systems
Atif, M., Mousavi, M. R. & Osaiweran, A. A. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 1112)Research output: Book/Report › Report › Academic
Open Access
File
Detectors
Model checking
Formal verification
Integration of supervisory control synthesis in model-based systems engineering
Baeten, J. C. M., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2011, Eindhoven: Eindhoven University of Technology. 20 p. (SE report; vol. 2011-04)Research output: Book/Report › Report › Academic
Systems engineering
Supervisory personnel
Cost reduction
Control systems
Costs