• 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
Report

A brief history of process algebra

Baeten, J. C. M., 2004, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0402)

Research output: Book/ReportReportAcademic

Open Access
File
165 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/ReportReportAcademic

Open Access
File
53 Downloads (Pure)

A characterization of regular expressions under bisimulation

Baeten, J. C. M., Corradini, F. & Grabmayer, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0527)

Research output: Book/ReportReportAcademic

Open Access
File
61 Downloads (Pure)

A checker for modal formulas for processes with data

Groote, J. F. & Willemse, T. A. C., 2002, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 0216)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A companion to coalgebraic weak bisimulation for action-type systems

Sokolova, A., Vink, de, E. P. & Woracek, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0712)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

A comparative study of process algebras for hybrid systems

Khadim, U., 2006, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0623)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A comparison of Java Cards : state-of-affairs 2006

Mostowski, W., Pan, J., Akkiraju, S., Vink, de, E. P., Poll, E. & Hartog, den, J. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0706)

Research output: Book/ReportReportAcademic

Open Access
File
77 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/ReportReportAcademic

Open Access
File
8 Citations (Scopus)
89 Downloads (Pure)

A dedicated verification approach for scheduling in complex manufacturing machines

Nieuwelaar, van den, N. J. M., Driessen, M. M. H. & Groote, J. F., 2004, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0427)

Research output: Book/ReportReportAcademic

Open Access
File
21 Downloads (Pure)

A distributed spanning tree algorithm for topology-aware networks

Mooij, A. J., Goga, N. & Wesselink, J. W., 2003, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0309)

Research output: Book/ReportReportAcademic

Open Access
File
100 Downloads (Pure)

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2006, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0607)

Research output: Book/ReportReportAcademic

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

A formal analysis of a dynamic distributed spanning tree algorithm

Mooij, A. J. & Wesselink, J. W., 2003, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 0316)

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)

Aggregation methods for Markov reward chains with fast and silent transitions

Markovski, J. & Trcka, N., 2007, Eindhoven: Technische Universiteit Eindhoven. 68 p. (Computer science reports; vol. 0708)

Research output: Book/ReportReportAcademic

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

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

Baeten, J. C. M. & Bravetti, M., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0518)

Research output: Book/ReportReportAcademic

Open Access
File
13 Citations (Scopus)
51 Downloads (Pure)

Algebraic representation of bisimulation for the tagh-format

Sokolova, A. & Vink, de, E. P., 2002, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0202)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

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)

An algebraic approach to transactional processes

Beek, van, H. M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0218)

Research output: Book/ReportReportAcademic

Open Access
File
50 Downloads (Pure)

Analysing the BKE-security protocol with µCRL

Groote, J. F., Mauw, S. & Serebrenik, A., 2004, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 0430)

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

Bortnik, E., Trcka, N., Wijs, A. J., Luttik, B., Mortel - Fronczak, van de, J. M., Baeten, J. C. M., Fokkink, W. J. & Rooda, J. E., 2004, Eindhoven: Technische Universiteit Eindhoven. 65 p. (Computer science reports; vol. 0423)

Research output: Book/ReportReportAcademic

Open Access
File
103 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/ReportReportAcademic

Open Access
File
53 Downloads (Pure)

A new equivalence for processes with timing

Baeten, J. C. M., Middelburg, C. A. & Reniers, M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0210)

Research output: Book/ReportReportAcademic

Open Access
File
33 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/ReportReportAcademic

Open Access
File
104 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/ReportReportAcademic

Open Access
File
69 Downloads (Pure)

A proof system and a decision procedure for equality logic

Tveretina, O. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0302)

Research output: Book/ReportReportAcademic

Open Access
File
152 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
42 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

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

A sub-quadratic algorithm for conjunctive and disjunctive BESs

Groote, J. F. & Keinänen, M. K., 2004, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 0413)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A syntactic commutativity format for SOS

Mousavi, M. R., Reniers, M. A. & Groote, J. F., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0425)

Research output: Book/ReportReportAcademic

Open Access
File
65 Downloads (Pure)

A thread algebra with multi-level strategic interleaving (extended version)

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 0628)

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)

A thread calculus with molecular dynamics

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0624)

Research output: Book/ReportReportAcademic

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

Open Access
File
219 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
39 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)

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
52 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)

CCS with Hennessy's merge has no finite equational axiomatization

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2004, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 0403)

Research output: Book/ReportReportAcademic

Open Access
File
60 Downloads (Pure)

CCS with Hennessy's merge has no finite equational axiomatization

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2003, Aarhus: BRICS, University of Aarhus. 37 p. (BRICS Report Series; vol. RS-03-04)

Research output: Book/ReportReportAcademic

Open Access
File
84 Downloads (Pure)

Certification of proving termination of term rewriting by matrix interpretations

Koprowski, A. & Zantema, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0722)

Research output: Book/ReportReportAcademic

Open Access
File
68 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/ReportReportAcademic

Open Access
File
72 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/ReportReportAcademic

Open Access
File
58 Downloads (Pure)

Compositionality for Markov reward chains with fast transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0717)

Research output: Book/ReportReportAcademic

Open Access
File
2 Citations (Scopus)
67 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
82 Downloads (Pure)

Congruence for SOS with data

Mousavi, M. R., Reniers, M. A. & Groote, J. F., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computing science reports; vol. 0405)

Research output: Book/ReportReportAcademic

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

Continuity controlled hybrid automata

Bergstra, J. A. & Middelburg, C. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 53 p. (Computer science reports; vol. 0411)

Research output: Book/ReportReportAcademic

Open Access
File
61 Downloads (Pure)

Coordination in networked organizations : the Paradigm approach

Vink, de, E. P., Groenewegen, L. P. J. & Kampenhout, van, N., 2003, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0313)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Core security requirements of DRM systems

Jonker, H. L. & Mauw, S., 2005, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 0524)

Research output: Book/ReportReportAcademic

Open Access
File
47 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/ReportReportAcademic

Open Access
File
84 Downloads (Pure)