Research Output

Filter
Report
Report

$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 9715)

Research output: Book/ReportReportAcademic

Open Access
File
55 Downloads (Pure)

A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

Pol, van de, J. C. & Tveretina, O., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 19 p. (CWI report. SEN-R : software engineering; vol. 0509)

Research output: Book/ReportReportAcademic

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
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 p. (Computer science reports; vol. 1301)

Research output: Book/ReportReportAcademic

Open Access
File
53 Downloads (Pure)

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 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
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 p. (Computer science reports; vol. 0216)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A communication protocol for interactively controlling software tools

Wulp, van der, J., 2008, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 0823)

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

A comparative study of process algebras for hybrid systems

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

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Open Access
File
77 Downloads (Pure)

A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

Groote, J. F. & Luttik, S. P., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 12 p. (CWI report. SEN-R : software engineering; vol. 9830)

Research output: Book/ReportReportAcademic

A complete equational axiomatization for MPA with string iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. 30 p. (CWI report. SEN-R : software engineering; vol. 9708)

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)

A compositional proof system for real-time systems based on explicit clock temporal logic : soundness and completeness

Zhou, P., Hooman, J. J. M. & Kuiper, R., 1991, Eindhoven: Technische Universiteit Eindhoven. 52 p. (Computing science notes; vol. 9125)

Research output: Book/ReportReportAcademic

Open Access
File
44 Downloads (Pure)

A computer checked algebraic verification of a distributed summation algorithm

Groote, J. F., Monin, F. G. & Springintveld, J., 1997, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computing science reports; vol. 9714)

Research output: Book/ReportReportAcademic

Open Access
File
105 Downloads (Pure)

A congruence theorem for structured operational semantics with predicates

Baeten, J. C. M. & Verhoef, C., 1993, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 9305)

Research output: Book/ReportReportAcademic

Open Access
File
97 Downloads (Pure)

A continuous version of the prisoner's dilemma

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9302)

Research output: Book/ReportReportAcademic

Open Access
File
116 Downloads (Pure)

A correspondence between Nuprl and the Ramified Theory of Types

Kamareddine, F. & Laan, T. D. L., 1996, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 9612)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)

A Correspondence between Nuprl and the Ramified Theory of Types

Kamareddine, F. & Laan, T. D. L., 1996, Glasgow: University of Glasgow. 12 p. (Technical Report; vol. Tr-1996-18)

Research output: Book/ReportReportAcademic

Action abstraction in timed process algebra : the case for an untimed silent step

Reniers, M. A. & Weerdenburg, van, M. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0632)

Research output: Book/ReportReportAcademic

Open Access
File
22 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 cure for stuttering parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2012, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 1205)

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

A discretisation method for asynchronous timed systems

Knaack, B. T. & Gerth, R. T., 1997, Eindhoven: Technische Universiteit Eindhoven. (Computing science reports; vol. 9701)

Research output: Book/ReportReportAcademic

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 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 p. (Computer science reports; vol. 0607)

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)

A formal derivation of a sliding window protocol

Hoogerwoord, R. R., 2006, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0631)

Research output: Book/ReportReportAcademic

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

Aggregation methods for Markov reward chains with fast and silent transitions

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

Research output: Book/ReportReportAcademic

Open Access
File
46 Downloads (Pure)

A graph model for a basic process algebra for hybrid systems

Khadim, U., 2005, Eindhoven: Technische Universiteit Eindhoven. 77 p. (Computer science reports; vol. 0531)

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

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

A hierarchy of communication models for Message Sequence Charts

Engels, A. G., Mauw, S. & Reniers, M. A., 1997, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science reports; vol. 9711)

Research output: Book/ReportReportAcademic

Open Access
File
125 Downloads (Pure)

A language independent framework for context-sensitive formatting

Brand, van den, M. G. J., Kooiker, A. T., Vinju, J. J. & Veerman, N. P., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 10 p. (CWI report. SEN-R : software engineering; vol. 0601)

Research output: Book/ReportReportAcademic

7 Citations (Scopus)

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)

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)

Algebraic specification and simulation of lazy functional programs in a concurrent environment

Feijs, L. M. G., 1996, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computing science reports; vol. 9620)

Research output: Book/ReportReportAcademic

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

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

A modeling environment supporting the co-evolution of user requirements and design

Peeters, F. A. I., Barosan, I., Yue, T. & Serebrenik, A., 2014, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1403)

Research output: Book/ReportReportAcademic

Open Access
File
90 Downloads (Pure)

An account of implementing applicative term rewriting

Weerdenburg, van, M. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0637)

Research output: Book/ReportReportAcademic

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

An algebraic semantics of basic message sequence charts

Mauw, S. & Reniers, M. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 9 p. (Computing science notes; vol. 9417)

Research output: Book/ReportReportAcademic

Open Access
File
77 Citations (Scopus)
108 Downloads (Pure)

An algebraic semantics of message sequence charts

Mauw, S. & Reniers, M. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computing science notes; vol. 9423)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)

An algorithm for the asynchronous write-all problem based on process collision

Groote, J. F., Hesselink, W. H., Mauw, S. & Vermeulen, R., 1999, Eindhoven: Technische Universiteit Eindhoven. 11 p. (Computing science reports; vol. 9915)

Research output: Book/ReportReportAcademic

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

Analysis and verification of an automatic document feeder

Ploeger, B. & Somers, L. J. A. M., 2006, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0625)

Research output: Book/ReportReportAcademic

Open Access
File
60 Downloads (Pure)

Analysis of ACS using mCRL2

Ploeger, S. C. W., 2009, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0911)

Research output: Book/ReportReportAcademic

Open Access
File
88 Downloads (Pure)

Analysis of hierarchical fixed-priority pre-emptive scheduling revisited

Bril, R. J. & Cuijpers, P. J. L., 2006, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0636)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Analysis of timed processes with data using algebraic transformations

Reniers, M. A. & Usenko, Y. S., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0522)

Research output: Book/ReportReportAcademic

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