Research Output

Filter
Report
2005

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)

Action and predicate safety of hybrid processes

Cuijpers, P. J. L. & Reniers, M. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0410)

Research output: Book/ReportReportAcademic

Open Access
File
32 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 new taxonomy of sublinear keyword pattern matching algorithms

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2004, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0407)

Research output: Book/ReportReportAcademic

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

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

Research output: Book/ReportReportAcademic

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

Constitutive hybrid processes

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0412)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Constructing factor oracles

Cleophas, L. G. W. A., Zwaan, G. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0401)

Research output: Book/ReportReportAcademic

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

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)

Inductive sets, the algebraic way

Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0442)

Research output: Book/ReportReportAcademic

Open Access
File
114 Downloads (Pure)

Industry experience in using an abstract model to select software development tools

Zwartjes, G., van Geffen, J., Kourie, D. G., Boake, A. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0417)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Linearization of hybrid processes

Brand, van den, P. C. W., Reniers, M. A. & Cuijpers, P. J. L., 2004, Eindhoven: Technische Universiteit Eindhoven. 79 p. (Computer science reports; vol. 0429)

Research output: Book/ReportReportAcademic

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

Modal abstractions in µCRL

Pol, van de, J. C. & Valero Espada, M. A., 2004, Amsterdam: Centrum voor Wiskunde en Informatica. 52 p. (CWI report. SEN-R : software engineering; vol. 0401)

Research output: Book/ReportReportAcademic

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)

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)

Specification, simulation, and verification of component connectors in Reo

Mousavi, M. R., Sirjani, M. & Arbab, F., 2004, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0415)

Research output: Book/ReportReportAcademic

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

Structural congruences and structural operational semantics

Mousavi, M. R. & Reniers, M. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 34 p. (Computer science reports; vol. 0428)

Research output: Book/ReportReportAcademic

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

Weak bisimulation for action-type coalgebras

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

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

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

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)

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)

Efficient almost wait-free parallel accesible dynamic hashtables

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

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Hybrid process algebra

Cuijpers, P. J. L. & Reniers, M. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 120 p. (Computer science reports; vol. 0307)

Research output: Book/ReportReportAcademic

Open Access
File
83 Downloads (Pure)

Liveness in rewriting

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

Research output: Book/ReportReportAcademic

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

Located actions in process algebra with timing

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

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Modeling and validation of globally asynchronous design in synchronous frameworks

Mousavi, M. R., Guernic, le, P., Talpin, J-P., Shukla, S. K. & Basten, T., 2003, Rennes: INRIA. 18 p. (INRIA; vol. RR-4935)

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)