Research Output

Filter
Report
2003

On hardcoding finite state automata processing

Ngassam, E. K., Watson, B. W. & Kourie, D. G., 2003, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 0310)

Research output: Book/ReportReportAcademic

Open Access
File
55 Downloads (Pure)

Operational semantics for Petri net components

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

Research output: Book/ReportReportAcademic

Open Access
File
64 Downloads (Pure)

Process algebra for hybrid systems

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

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Termination of string rewriting proved automatically

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

Research output: Book/ReportReportAcademic

Open Access
File
166 Downloads (Pure)

Transforming equality logic to propositional logic

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

Research output: Book/ReportReportAcademic

Open Access
File
4 Citations (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 p. (CWI report. SEN-R : software engineering; vol. 0308)

Research output: Book/ReportReportAcademic

2002

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)

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)

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)

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)

Aspects + GAMMA = AspectGAMMA : A formal framework for aspect-oriented specification

Mousavi, M. R., Russello, G., Chaudron, M. R. V., Reniers, M. A., Basten, T., Corsaro, A., Shukla, S. K., Gupta, R. K. & Schmidt, D. C., 2002, Irvine CA, USA: Center for Embedded Computer Systems, UCI. 13 p. (Technical Report; vol. CECS-02-01)

Research output: Book/ReportReportAcademic

Formal derivations of non-blocking multiprograms

Mooij, A. J., 2002, Eindhoven: Technische Universiteit Eindhoven. 95 p. (Computer science reports; vol. 0213)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Hybrid transition systems

Cuijpers, P. J. L., Reniers, M. A. & Heemels, W. P. M. H., 2002, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0212)

Research output: Book/ReportReportAcademic

Open Access
File
292 Downloads (Pure)

Leslie Lamport's logical clocks : a tutorial

Hoogerwoord, R. R., 2002, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Universitaet Hamburg. FBI-HH-B, Fachbereich Informatik : Bericht; vol. 238)(Computer science reports; vol. 0201)

Research output: Book/ReportReportAcademic

Open Access
File
153 Downloads (Pure)

Linearization of µCRL specifications

Usenko, Y. S., 2002, Amsterdam: Centrum voor Wiskunde en Informatica. 62 p. (CWI report. SEN-R : software engineering; vol. 0209)

Research output: Book/ReportReportAcademic

Liveness in rewriting

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

Research output: Book/ReportReportAcademic

Open Access
File
65 Downloads (Pure)

Process algebra with nonstandard timing

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

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

Separating functionality, behavior and timing in the design of reactive systems : (GAMMA + coordination) + time

Mousavi, M. R., Basten, T., Reniers, M. A., Chaudron, M. R. V. & Russello, G., 2002, Eindhoven: Technische Universiteit Eindhoven. 95 p. (Computer science reports; vol. 0209)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

State space visualization

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

Research output: Book/ReportReportAcademic

Open Access
File
96 Downloads (Pure)

The 43rd International Mathematical Olympiad : a reflective report on IMO 2002

Verhoeff, T., 2002, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0211)

Research output: Book/ReportReportAcademic

Open Access
File
906 Downloads (Pure)

Topological (Bi-)Simulation

Cuijpers, P. J. L. & Reniers, M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0204)

Research output: Book/ReportReportAcademic

Open Access
File
169 Downloads (Pure)

Transforming DPLL to resolution

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

Research output: Book/ReportReportAcademic

Open Access
File
410 Downloads (Pure)

Weak Type Theory : a formal language for mathematics

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

Research output: Book/ReportReportAcademic

Open Access
File
196 Downloads (Pure)
2001

A rewriting approach to binary decision diagrams

Zantema, H. & Pol, van de, J. C., 2001, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computing science reports; vol. 0101)

Research output: Book/ReportReportAcademic

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

Axiomatizing GSOS with termination

Baeten, J. C. M. & Vink, de, E. P., 2001, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0106)

Research output: Book/ReportReportAcademic

Open Access
File
79 Downloads (Pure)

Computer assisted manipulation of algebraic process specifications

Groote, J. F. & Lisser, B., 2001, Amsterdam: Centrum voor Wiskunde en Informatica. 16 p. (CWI report. SEN-R : software engineering; vol. 0117)

Research output: Book/ReportReportAcademic

Design of the mine pump control system

Hammer, D. K., Hooman, J. J. M., Reniers, M. A., Roosmalen, van, O. S. & Sintotski, A., 2001, Eindhoven: Technische Universiteit Eindhoven. 70 p. (Computer science reports; vol. 0105)

Research output: Book/ReportReportAcademic

Open Access
File
357 Downloads (Pure)

Interpretations of automata

Willemse, T. A. C., 2001, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computer science reports; vol. 0102)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

Investigating the basic notions of Hintikka's independence friendly logic

Dechesne, F., 2001, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computer science reports; vol. 0116)

Research output: Book/ReportReportAcademic

Open Access
File
61 Downloads (Pure)

Language-driven system design

Mauw, S., Wiersma, W. T. & Willemse, T. A. C., 2001, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0107)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Operational conservativity with binding terms

Middelburg, C. A., 2001, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 0113)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Operational semantics of DiCons : a formal language for developing internet applications

Baeten, J. C. M., Beek, van, H. M. A. & Mauw, S., 2001, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 0112)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

Systems for open terms : an overview

Jojgov, G. I., 2001, Eindhoven: Technische Universiteit Eindhoven. 39 p. (Computer science reports; vol. 0103)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)
2000

A case study in formal methods : specification and validation of the OM/RR protocol

Willemse, T. A. C., Tretmans, J. & Klomp, A., 2000, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science reports; vol. 0010)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

A formal development of distributed summation

Hoogerwoord, R. R., 2000, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 0009)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)

Algebraic process verification

Groote, J. F. & Reniers, M. A., 2000, Eindhoven: Technische Universiteit Eindhoven. 65 p. (Computing science reports; vol. 0005)

Research output: Book/ReportReportAcademic

Open Access
File
134 Downloads (Pure)

A new equivalence for processes with timing: with an application to protocol verification

Baeten, J. C. M., Middelburg, C. A. & Reniers, M. A., 2000, Utrecht: Utrecht University. 22 p. (Logic Group Preprint Series; vol. 215)

Research output: Book/ReportReportPopular

Open Access
File
32 Downloads (Pure)

A process algebra for interworkings

Mauw, S. & Reniers, M. A., 2000, Eindhoven: Technische Universiteit Eindhoven. 63 p. (Computing science reports; vol. 0003)

Research output: Book/ReportReportAcademic

Open Access
File
77 Downloads (Pure)

Belief revision with explicit justifications : an exploration in type theory

Borghuis, V. A. J. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science reports; vol. 0017)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

Characterizing lambda-terms with equal reduction behavior

Kamareddine, F., Bloo, R. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 0016)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Enhancing partial-order reduction via process clustering

Basten, T. & Bosnacki, D., 2000, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science reports; vol. 0011)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Impossible futures and determinism

Voorhoeve, M. & Mauw, S., 2000, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science reports; vol. 0014)

Research output: Book/ReportReportAcademic

Open Access
File
103 Downloads (Pure)

Message sequence charts in the software engineering process

Mauw, S., Reniers, M. A. & Willemse, T. A. C., 2000, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 0012)

Research output: Book/ReportReportAcademic

Open Access
File
117 Downloads (Pure)

Mode transfer in process algebra

Baeten, J. C. M. & Bergstra, J. A., 2000, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science reports; vol. 0001)

Research output: Book/ReportReportAcademic

Open Access
File
54 Downloads (Pure)

Parameters in pure type systems

Laan, T. D. L., Bloo, R., Kamareddine, F. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computing science reports; vol. 0018)

Research output: Book/ReportReportAcademic

Open Access
File
102 Downloads (Pure)

Process algebra with explicit termination

Baeten, J. C. M., 2000, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science reports; vol. 0002)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

Real time process algebra with time-dependent conditions

Baeten, J. C. M. & Middelburg, C. A., 2000, Utrecht: Utrecht University. 33 p. (Logic Group Preprint Series; vol. 200)

Research output: Book/ReportReportAcademic

Open Access
File
54 Downloads (Pure)

Specifying Internet applications with DiCons

Baeten, J. C. M., Beek, van, H. M. A. & Mauw, S., 2000, Eindhoven: Technische Universiteit Eindhoven. 9 p. (Computing science reports; vol. 0019)

Research output: Book/ReportReportAcademic

Open Access
File
112 Downloads (Pure)