• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Rapport
Rapport

A brief history of process algebra

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
167 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 blz. (Computer science reports; vol. 1301)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0527)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
62 Downloads (Pure)

A checker for modal formulas for processes with data

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0712)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Downloads (Pure)

A comparative study of process algebras for hybrid systems

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0706)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1205)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
8 Citaten (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 blz. (Computer science reports; vol. 0427)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
22 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 blz. (Computer science reports; vol. 0309)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0607)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
3 Citaten (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 blz. (Computer science reports; vol. 0316)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
23 Downloads (Pure)

Aggregation methods for Markov reward chains with fast and silent transitions

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0820)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0518)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
13 Citaten (Scopus)
51 Downloads (Pure)

Algebraic representation of bisimulation for the tagh-format

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
39 Downloads (Pure)

An algebraic approach to transactional processes

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
50 Downloads (Pure)

Analysing the BKE-security protocol with µCRL

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0423)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1114)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0210)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1506)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
104 Downloads (Pure)

A probablistic analysis of the Game of the Goose

Groote, J. F. & Zantema, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 1404)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
69 Downloads (Pure)

A proof system and a decision procedure for equality logic

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
42 Downloads (Pure)

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2012, s.n. 27 blz. (arXiv.org; vol. 1211.0865 [cs.PL])

Onderzoeksoutput: Boek/rapportRapportAcademic

Assessing the quality of tabular state machines through metrics

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 2017, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 1701)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0413)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
32 Downloads (Pure)

A syntactic commutativity format for SOS

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0628)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)

A thread calculus with molecular dynamics

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0809)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 1104)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
39 Downloads (Pure)

Bisimulation minimisations for Boolean equation systems

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
76 Downloads (Pure)

Branching bisimulation equivalence with explicit divergence

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
52 Downloads (Pure)

Breadth-bounded model checking

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0403)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (BRICS Report Series; vol. RS-03-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
84 Downloads (Pure)

Certification of proving termination of term rewriting by matrix interpretations

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
69 Downloads (Pure)

Coherent branching feature bisimulation

Belder, T., Beek, ter, M. H. & Vink, de, E. P., 2015, s.n. 17 blz. (arXiv; vol. 1504.03474 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (arXiv.org; vol. 1503.07693 [cs.PF])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0717)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
2 Citaten (Scopus)
67 Downloads (Pure)

Computation tree logic with deadlock detection

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
82 Downloads (Pure)

Congruence for SOS with data

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
9 Citaten (Scopus)
30 Downloads (Pure)

Continuity controlled hybrid automata

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0313)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
34 Downloads (Pure)

Core security requirements of DRM systems

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
47 Downloads (Pure)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 19/01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
84 Downloads (Pure)