• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Report
2007

Machine structure oriented control code logic

Bergstra, J. A. & Middelburg, K., 2007, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 0710)

Research output: Book/ReportReportAcademic

Open Access
File
72 Downloads (Pure)

Operational and epistemic approaches to protocol analysis : bridging the gap

Dechesne, F., Mousavi, M. & Orzan, S. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0715)

Research output: Book/ReportReportAcademic

Open Access
File
18 Citations (Scopus)
95 Downloads (Pure)

Real-time in stochastic process algebra : keeping track of winners and losers

Markovski, J. & Vink, de, E. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0713)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

Search algorithms for automated validation

Engels, T. A. N., Groote, J. F., Weerdenburg, van, M. J. & Willemse, T. A. C., 2007, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0724)

Research output: Book/ReportReportAcademic

Open Access
File
114 Downloads (Pure)

Testing and model-checking techniques for diagnosis

Gromov, M. & Willemse, T. A. C., 2007, Nijmegen: Radboud Universiteit Nijmegen. 27 p. (Technical Report; vol. ICIS-R07016)

Research output: Book/ReportReportAcademic

4 Citations (Scopus)

The role of graphs in computer science

Baeten, J. C. M. & Hee, van, K. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0720)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)
2008

A ground-complete axiomatization of finite-state processes in generic process algebra

Baeten, J. C. M. & Bravetti, M., 2008, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 0820)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)

A proof system for invariants in layered OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computer science reports; vol. 0801)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Basic timed process algebra with non-existence ($BPA^{srt}_{\bot}$)

Khadim, U. & Cuijpers, P. J. L., 2008, Eindhoven: Technische Universiteit Eindhoven. 281 p. (Computer science reports; vol. 0809)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Branching bisimulation equivalence with explicit divergence

Glabbeek, van, R. J., Luttik, S. P. & Trcka, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 0825)

Research output: Book/ReportReportAcademic

Open Access
File
53 Downloads (Pure)

Computation tree logic with deadlock detection

Glabbeek, van, R. J., Luttik, B. & Trcka, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 0807)

Research output: Book/ReportReportAcademic

Open Access
File
84 Downloads (Pure)

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

Markovski, J. & Vink, de, E. P., 2008, Eindhoven: Technische Universiteit Eindhoven. 82 p. (Computer science reports; vol. 0810)

Research output: Book/ReportReportAcademic

Open Access
File
1 Citation (Scopus)
65 Downloads (Pure)

Dynamic system adaptation by constraint orchestration

Groenewegen, L. P. J. & Vink, de, E. P., 2008, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 0829)

Research output: Book/ReportReportAcademic

Open Access
File
25 Downloads (Pure)

Finite equational bases for fragments of CCS with restriction and relabelling

Aceto, L., Ingólfsdóttir, A., Luttik, B. & Tilburg, van, P. J. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0808)

Research output: Book/ReportReportAcademic

Open Access
File
7 Citations (Scopus)
62 Downloads (Pure)

Instantiation for parameterised Boolean equation systems

van Dam, A., Ploeger, B. & Willemse, T. A. C., 2008, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0811)

Research output: Book/ReportReportAcademic

Open Access
File
9 Citations (Scopus)
57 Downloads (Pure)

Invariants for parameterised Boolean equation systems

Orzan, S. M. & Willemse, T. A. C., 2008, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0817)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
62 Downloads (Pure)

Parameterised anonymity

Groote, J. F. & Orzan, S. M., 2008, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0822)

Research output: Book/ReportReportAcademic

Open Access
File
60 Downloads (Pure)

Performance analysis of chi models using discrete-time probabilistic reward graphs

Trcka, N., Georgievska, S., Markovski, J., Andova, S. & Vink, de, E. P., 2008, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0802)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)

Switching graphs

Groote, J. F. & Ploeger, B., 2008, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 0828)

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)
2009

Bisimulation minimisations for Boolean equation systems

Keiren, J. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0917)

Research output: Book/ReportReportAcademic

Open Access
File
79 Downloads (Pure)

Breadth-bounded model checking

Meulen, M. G., Stappers, F. P. M. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 0903)

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

De 15e Nederlandse testdag, 4 november, 2009, Technische Universiteit Eindhoven

Stappers, F. P. M. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 19 p.

Research output: Book/ReportReportPopular

Open Access
File
147 Downloads (Pure)

Degrees of undecidability in rewriting

Endrullis, J., Geuvers, J. H. & Zantema, H., 2009, s.n. 19 p. (arXiv.org [cs.LO]; vol. 0902.4723)

Research output: Book/ReportReportAcademic

Design of asynchronous supervisors

Beohar, H., Cuijpers, P. J. L. & Baeten, J. C. M., 2009, s.n. 26 p. (arXiv.org [cs.LO]; vol. 0910.0868)

Research output: Book/ReportReportAcademic

Efficient on-the-fly computation of weak tau-confluence

Wijs, A. J. & Mateescu, R., 2009, Grenoble: INRIA. 45 p. (Rapport de Recherche; vol. 7000)

Research output: Book/ReportReportAcademic

2 Downloads (Pure)

Evaluation of a business continuity plan using process algebra and modal logic

Boehmer, W., Brandt, C. & Groote, J. F., 2009, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 0912)

Research output: Book/ReportReportAcademic

Open Access
File
11 Citations (Scopus)
150 Downloads (Pure)

Queue merge : a binary operator for modeling queueing behavior

Cuijpers, P. J. L., Koenders, F. A. J., Pustjens, M. G. P., Senders, B. A. G., Tilburg, van, P. J. A. & Verduin, P., 2009, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computer science reports; vol. 0902)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)
2010

A linear translation from LTL to the first-order modal µ-calculus

Cranen, S., Groote, J. F. & Reniers, M. A., 2010, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1009)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Desynchronisability of (partial) closed loop systems

Beohar, H. & Cuijpers, P. J. L., 2010, Eindhoven: Technische Universiteit Eindhoven. 66 p. (Computer science reports; vol. 1019)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Folk theorems on the correspondence between state-based and event-based systems

Reniers, M. A. & Willemse, T. A. C., 2010, s.n. 21 p. (arXiv.org [cs.LO]; vol. 1011.0136)

Research output: Book/ReportReportAcademic

Partial bisimulation

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2010, Eindhoven: Technische Universiteit Eindhoven. 26 p. (SE report; vol. 2010-04)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Proviola: a tool for proof re-animation

Tankink, C., Geuvers, J. H., McKinna, J. & Wiedijk, F., 2010, s.n. 15 p. (arXiv.org [cs.DL]; vol. 1005.2672)

Research output: Book/ReportReportAcademic

14 Citations (Scopus)
1 Downloads (Pure)

Specification guidelines to avoid the state space explosion problem

Groote, J. F., Kouters, T. W. D. M. & Osaiweran, A. A. H., 2010, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 1014)

Research output: Book/ReportReportAcademic

Open Access
File
98 Downloads (Pure)

Structural analysis of Boolean equation systems

Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2010, s.n. (arXiv.org [cs.LO]; vol. 1002.3222)

Research output: Book/ReportReportAcademic

9 Downloads (Pure)

Symbolic synthesis of Mealy machines from arithmetic bitstream functions

Hansen, H. H. & Rutten, J. J. M. M., 2010, Amsterdam: Centrum voor Wiskunde en Informatica. 24 p. (CWI Report; vol. SEN-1006)

Research output: Book/ReportReportAcademic

7 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
53 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
42 Downloads (Pure)

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
51 Downloads (Pure)

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
68 Downloads (Pure)

Investigating the effects of designing industrial control software using push and poll strategies

Groote, J. F., Osaiweran, A. A. H., Schuts, M. T. W. & Wesselius, J. H., 2011, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1116)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Property-dependent reductions for the modal mu-calculus

Mateescu, R. & Wijs, A. J., 2011, Grenoble: INRIA. 33 p. (Rapport de Recherche; vol. 7690)

Research output: Book/ReportReportAcademic

7 Citations (Scopus)

Reactive Turing machines

Baeten, J. C. M., Luttik, B. & Tilburg, van, P. J. A., 2011, s.n. 28 p. (arXiv.org [cs.LO]; vol. 1104.1738)

Research output: Book/ReportReportAcademic

4 Citations (Scopus)

Semantics, bisimulation and congruence results for a general stochastic process operator

Groote, J. F. & Lanik, J., 2011, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 1105)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Synchronizing asynchronous conformance testing

Noroozi, N., Khosravi, R., Mousavi, M. R. & Willemse, T. A. C., 2011, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1110)

Research output: Book/ReportReportAcademic

Open Access
File
9 Citations (Scopus)
81 Downloads (Pure)

TOPAAS : een structurele aanpak voor faalkansanalyse van software intensieve systemen

Brandt, E., Di Bucchianico, A., van Ekris, J., Groote, J. F., Geurts, W., Heslinga, G. & Kolk, G., 2011, Rijkswaterstaat. Ministerie van Verkeer en Waterstaat. 74 p.

Research output: Book/ReportReportAcademic

3 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
9 Citations (Scopus)
92 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

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
73 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)
86 Downloads (Pure)