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

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)

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)

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)

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)

Formalizing programming variables in process algebra

Baeten, J. C. M. & Bos, V., 2002, Turku: Turku Centre for Computer Science. 26 blz. (TUCS Technical Report; vol. 493)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2002, March 2003 revised version redactie Aachen: RWTH Aachen. (Aachener Informatik Berichte; vol. AIB2002-11)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
65 Downloads (Pure)

Process algebra with nonstandard timing

Middelburg, C. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computer science reports; vol. 0206)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
3 Citaten (Scopus)
29 Downloads (Pure)

Process algebra with pointers

Baeten, J. C. M., Bergstra, J. A. & Feijs, L. M. G., 2002, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 0203)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
39 Downloads (Pure)

State space visualization

Groote, J. F. & Ham, van, F. J. J., 2002, Eindhoven: Technische Universiteit Eindhoven. 14 blz. (Computer science reports; vol. 0214)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
96 Downloads (Pure)

Transforming DPLL to resolution

Tveretina, O. & Zantema, H., 2002, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0207)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
410 Downloads (Pure)

Weak Type Theory : a formal language for mathematics

Nederpelt, R. P., 2002, Eindhoven: Technische Universiteit Eindhoven. 74 blz. (Computer science reports; vol. 0205)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
196 Downloads (Pure)
2003

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

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)

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)

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)

Efficient almost wait-free parallel accesible dynamic hashtables

Gao, H., Groote, J. F. & Hesselink, W. H., 2003, Eindhoven: Technische Universiteit Eindhoven. 37 blz. (Computer science reports; vol. 0303)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
40 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computer science reports; vol. 0301)

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Located actions in process algebra with timing

Bergstra, J. A. & Middelburg, C. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 31 blz. (Computer science reports; vol. 0312)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
31 Downloads (Pure)

Operational semantics for Petri net components

Groote, J. F. & Voorhoeve, M., 2003, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0308)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
64 Downloads (Pure)

Process algebra for hybrid systems

Bergstra, J. A. & Middelburg, C. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 61 blz. (Computer science reports; vol. 0306)

Onderzoeksoutput: Boek/rapportRapportAcademic

Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Groote, J. F. & Keinänen, M. K., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 12 blz. (CWI report. SEN-R : software engineering; vol. 0310)

Onderzoeksoutput: Boek/rapportRapportAcademic

Termination of string rewriting proved automatically

Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0314)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
166 Downloads (Pure)

Transforming equality logic to propositional logic

Zantema, H. & Groote, J. F., 2003, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Computer science reports; vol. 0305)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
4 Citaten (Scopus)
77 Downloads (Pure)

Verifying a sliding window protocol in mu-CRL

Fokkink, W. J., Groote, J. F., Pang, J., Badban, B. & Pol, van de, J. C., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 36 blz. (CWI report. SEN-R : software engineering; vol. 0308)

Onderzoeksoutput: Boek/rapportRapportAcademic

2004

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
165 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
21 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)

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)

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)

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)

Decomposition orders : another generalisation of the fundamental theorem of arithmetic

Luttik, B. & Oostrom, van, V., 2004, Amsterdam: Centrum voor Wiskunde en Informatica. 36 blz. (CWI report. SEN-R : software engineering; vol. 0414)

Onderzoeksoutput: Boek/rapportRapportAcademic

From timed chi to muCRL : combining performance and functional analysis

Wijs, A. J. & Fokkink, W. J., 2004, Amsterdam: Centrum voor Wiskunde en Informatica. 24 blz. (CWI report. SEN-R : software engineering; vol. 0420)

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Downloads (Pure)

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2004, Amsterdam: Centrum voor Wiskunde en Informatica. 28 blz. (CWI report. SEN-R : software engineering; vol. 0407)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
54 Downloads (Pure)

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2004, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0414)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
91 Downloads (Pure)

Lock-free parallel garbage collection by Mark&Sweep

Gao, H., Groote, J. F. & Hesselink, W. H., 2004, Eindhoven: Technische Universiteit Eindhoven. 38 blz. (Computer science reports; vol. 0431)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
30 Downloads (Pure)

Model theory for process algebra

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
60 Downloads (Pure)

Operational semantics of security protocols

Cremers, C. J. F. & Mauw, S., 2004, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0438)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
76 Downloads (Pure)

Parameterised Boolean equation systems

Groote, J. F. & Willemse, T. A. C., 2004, Eindhoven: Technische Universiteit Eindhoven. 30 blz. (Computer science reports; vol. 0409)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
8 Citaten (Scopus)
74 Downloads (Pure)

Power analysis on smartcard algorithms using simulation

Hollestelle, G., Burgers, W. F. P. W. & Hartog, den, J. I., 2004, Eindhoven: Technische Universiteit Eindhoven. 40 blz. (Computer science reports; vol. 0422)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
41 Downloads (Pure)

Process algebra needs proof methodology

Fokkink, W. J., Groote, J. F. & Reniers, M. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0404)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
104 Downloads (Pure)

Software engineering reference framework

Chaudron, M. R. V., Groote, J. F., Hee, van, K. M., Hemerik, C., Somers, L. J. A. M. & Verhoeff, T., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 0439)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
50 Downloads (Pure)

Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2004, Aarhus: BRICS, University of Aarhus. 16 blz. (BRICS Report Series; vol. RS-04-1)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
73 Downloads (Pure)

Syntax and consistent equation semantics of hybrid Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2004, Eindhoven: Technische Universiteit Eindhoven. 119 blz. (Computer science reports; vol. 0437)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
69 Downloads (Pure)

Thread algebra for strategic interleaving

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
72 Downloads (Pure)

Virtual analysis and reduction of side-channel vulnerabilities of smartcards

Hartog, den, J. I. & Vink, de, E. P., 2004, Enschede: Universiteit Twente. 14 blz. (CTIT Technical Report; vol. TR-CTIT-04-34)

Onderzoeksoutput: Boek/rapportRapportAcademic

Weak bisimulation for action-type coalgebras

Sokolova, A., Vink, de, E. P. & Woracek, H., 2004, Eindhoven: Technische Universiteit Eindhoven. 43 blz. (Computer science reports; vol. 0416)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
71 Downloads (Pure)