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

Realizability criteria for compositional MSC

Mooij, A. J., Romijn, J. M. T. & Wesselink, J. W., 2006, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0611)

Research output: Book/ReportReportAcademic

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

Recursive path ordering for infinite labelled rewrite systems

Koprowski, A. & Zantema, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0617)

Research output: Book/ReportReportAcademic

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

Synchronous cooperation for explicit multi-threading

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

Research output: Book/ReportReportAcademic

Open Access
File
61 Downloads (Pure)

What is algebraic in process theory?

Luttik, B., 2006, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0606)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
63 Downloads (Pure)
2005

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

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)

Detecting strongly connected components in large distributed state spaces

Orzan, S. M. & Pol, van de, J. C., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 21 p. (CWI report SEN-E : software engineering; vol. 0501)

Research output: Book/ReportReportAcademic

Duplication of constants in process algebra

Baeten, J. C. M. & Reniers, M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0532)

Research output: Book/ReportReportAcademic

Open Access
File
56 Downloads (Pure)

Maurer computers with single-thread control

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computer science reports; vol. 0517)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

On compositions and paths for coalgebras

Sokolova, A., 2005, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0526)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

Preferential choice and coordination conditions

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

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)

Process algebra with conditionals in the presence of epsilon

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computer science reports; vol. 0515)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0506)

Research output: Book/ReportReportAcademic

Open Access
File
57 Downloads (Pure)

Reducing right hand sides for termination

Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0519)

Research output: Book/ReportReportAcademic

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

Regular expressions in process algebra

Baeten, J. C. M. & Corradini, F., 2005, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 0511)

Research output: Book/ReportReportAcademic

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

Simulating Turing machines on Maurer machines

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0528)

Research output: Book/ReportReportAcademic

Open Access
File
85 Downloads (Pure)

Splitting bisimulations and retrospective conditions

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computer science reports; vol. 0503)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0523)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)

Strong splitting bisimulation equivalence

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0504)

Research output: Book/ReportReportAcademic

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

Stuttering congruence for $\Chi$

Luttik, B. & Trcka, N., 2005, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0513)

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)

Syntax and semantics of timed Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0509)(DCT rapporten; vol. 2005.000)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Thread algebra with multi-level strategies

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0508)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

Timing the untimed : terminating successfully while being conservative

Baeten, J. C. M., Mousavi, M. R. & Reniers, M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 0521)

Research output: Book/ReportReportAcademic

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

Verification of multi-protocol attacks

Cremers, C. J. F., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0510)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Verifying Chi models of industrial systems with Spin

Trcka, N., 2005, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0512)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)
2004

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)

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)

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)

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)

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)

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)

Decomposition orders : another generalisation of the fundamental theorem of arithmetic

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

Research output: Book/ReportReportAcademic

From timed chi to muCRL : combining performance and functional analysis

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

Research output: Book/ReportReportAcademic

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 p. (CWI report. SEN-R : software engineering; vol. 0407)

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (Computer science reports; vol. 0414)

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (Computer science reports; vol. 0431)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Model theory for process algebra

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

Research output: Book/ReportReportAcademic

Open Access
File
60 Downloads (Pure)

Operational semantics of security protocols

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

Research output: Book/ReportReportAcademic

Open Access
File
76 Downloads (Pure)

Parameterised Boolean equation systems

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

Research output: Book/ReportReportAcademic

Open Access
File
8 Citations (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 p. (Computer science reports; vol. 0422)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

Process algebra needs proof methodology

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

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (Computer science reports; vol. 0439)

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (BRICS Report Series; vol. RS-04-1)

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (Computer science reports; vol. 0437)

Research output: Book/ReportReportAcademic

Open Access
File
69 Downloads (Pure)

Thread algebra for strategic interleaving

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

Research output: Book/ReportReportAcademic

Open Access
File
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 p. (CTIT Technical Report; vol. TR-CTIT-04-34)

Research output: Book/ReportReportAcademic