Research Output 1972 2019

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Systems engineering
Supervisory personnel
Cost reduction
Control systems
Costs