Research Output

Filter
Report
2011

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

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

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

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

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

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)

Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols

Mahrooghi, H. R. & Mousavi, M. R., 2011, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 1103)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

Saving time in a space-efficient simulation algorithm

Markovski, J., 2011, Eindhoven: Technische Universiteit Eindhoven. 19 p. (SE report; vol. 2011-03)

Research output: Book/ReportReportAcademic

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

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
34 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)
76 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)

Transforming SOS specifications to linear processes

Stappers, F. P. M., Reniers, M. A. & Weber, S., 2011, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 1107)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
76 Downloads (Pure)

Type checking mCRL2

Keiren, J. J. A. & Reniers, M. A., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 1111)

Research output: Book/ReportReportAcademic

Open Access
File
46 Downloads (Pure)

Using a DSL and fine-grained model : transformations to explore the boundaries of model verification

Amstel, van, M. F., Brand, van den, M. G. J. & Engelen, L. J. P., 2011, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1102)

Research output: Book/ReportReportAcademic

Open Access
File
79 Downloads (Pure)

Visualizing traceability in model transformation compositions

Amstel, van, M. F., Serebrenik, A. & Brand, van den, M. G. J., 2011, Eindhoven: Technische Universiteit Eindhoven. 11 p. (Computer science reports; vol. 1117)

Research output: Book/ReportReportAcademic

Open Access
File
78 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
39 Downloads (Pure)

Analytical software design : introduction and industrial experience report

Osaiweran, A. A. H., Boosten, M. & Mousavi, M. R., 2010, Eindhoven: Technische Universiteit Eindhoven. 34 p. (Computer science reports; vol. 1001)

Research output: Book/ReportReportAcademic

Open Access
File
164 Downloads (Pure)

Decompositional reasoning about the history of parallel processes

Aceto, L., Birgisson, A., Ingólfsdóttir, A. & Mousavi, M. R., 2010, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1017)

Research output: Book/ReportReportAcademic

Open Access
File
85 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

Locally unique labeling of model elements for state-based model differences

Protic, Z., 2010, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1006)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

On rule formats for zero and unit elements

Aceto, L., Cimini, M., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2010, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 1003)

Research output: Book/ReportReportAcademic

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

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)

Reconstruction and verification of group membership protocols

Atif, M., Cranen, S. & Mousavi, M. R., 2010, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1008)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Robustness of behavioral equivalence on open terms

Mosses, P. D., Mousavi, M. R. & Reniers, M. A., 2010, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 1018)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Rule formats for distributivity

Aceto, L., Cimini, M., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2010, Eindhoven: Technische Universiteit Eindhoven. 39 p. (Computer science reports; vol. 1016)

Research output: Book/ReportReportAcademic

Open Access
File
82 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
97 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)

Towards model-based testing of electronic funds transfer systems

Asaadi, H. R., Khosravi, R., Mousavi, M. R. & Noroozi, N., 2010, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1004)

Research output: Book/ReportReportAcademic

Open Access
File
90 Downloads (Pure)
2009

Analysis of ACS using mCRL2

Ploeger, S. C. W., 2009, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0911)

Research output: Book/ReportReportAcademic

Open Access
File
88 Downloads (Pure)

A rule format for unit elements

Aceto, L., Ingólfsdóttir, A., Mousavi, M. R. & Reniers, M. A., 2009, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Computer science reports; vol. 0913)

Research output: Book/ReportReportAcademic

Open Access
File
74 Downloads (Pure)

Behavioural analysis of an I2C Linux driver

Bosnacki, D., Mathijssen, A. H. J. & Usenko, Y. S., 2009, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0909)

Research output: Book/ReportReportAcademic

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

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
76 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
21 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
145 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

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

Formal analysis of consensus protocols in asynchronous distributed systems

Atif, M., 2009, Eindhoven: Technische Universiteit Eindhoven. 34 p. (Computer science reports; vol. 0916)

Research output: Book/ReportReportAcademic

Open Access
File
54 Downloads (Pure)

Formal specification and analysis of accelerated heartbeat protocols

Atif, M. & Mousavi, M. R., 2009, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0904)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Placeholder calculus for first-order logic

Franssen, M. G. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computer science reports; vol. 0905)

Research output: Book/ReportReportAcademic

Open Access
File
42 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
29 Downloads (Pure)

Specifying state-based supervisory control requirements

Jacobs, K. G. M., Markovski, J., Beek, van, D. A., Rooda, J. E. & Somers, L. J. A. M., 2009, Eindhoven: Technische Universiteit Eindhoven. 40 p. (SE report; vol. 2009-06)

Research output: Book/ReportReportAcademic

4 Downloads (Pure)
2008

A communication protocol for interactively controlling software tools

Wulp, van der, J., 2008, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 0823)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

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