Research Output

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
2006

Scyther : semantics and verification of security protocols

Cremers, C. J. F., 2006, Eindhoven: Technische Universiteit Eindhoven. 121 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
2282 Downloads (Pure)
2005

Coalgebraic analysis of probabilistic systems

Sokolova, A., 2005, Eindhoven: Technische Universiteit Eindhoven. 201 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
146 Downloads (Pure)

Decision procedures for equality logic with uninterpreted functions

Tveretina, O., 2005, Eindhoven: Technische Universiteit Eindhoven. 157 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
220 Downloads (Pure)

Scenario-based system architecting : a systematic approach to developing future-proof system architectures

Ionita, M. T., 2005, Eindhoven: Technische Universiteit Eindhoven. 225 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
743 Downloads (Pure)

Specification and analysis of Internet applications

Beek, van, H. M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 264 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
111 Downloads (Pure)

Structuring structural operational semantics

Mousavi, M. R., 2005, Eindhoven: Technische Universiteit Eindhoven. 218 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
283 Downloads (Pure)
2004

Control and selection techniques for the automated testing of reactive systems

Goga, N., 2004, Eindhoven: Technische Universiteit Eindhoven. 173 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
113 Downloads (Pure)

Data synchronization and browsing for home environments

Qian, Y., 2004, Eindhoven: Technische Universiteit Eindhoven. 208 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
432 Downloads (Pure)

Hybrid process algebra

Cuijpers, P. J. L., 2004, Eindhoven: Technische Universiteit Eindhoven. 276 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
197 Downloads (Pure)

Incomplete proofs and terms and their use in interactive theorem proving

Jojgov, G. I., 2004, Eindhoven: Technische Universiteit Eindhoven. 167 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
75 Downloads (Pure)

Quantitative prediction of quality attributes for component-based software architectures

Eskenazi, E. M. & Fioukov, A., 2004, Eindhoven: Technische Universiteit Eindhoven. 298 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
663 Downloads (Pure)
2003

Semantics and verification in process algebras with data and timing

Willemse, T. A. C., 2003, Eindhoven: Technische Universiteit Eindhoven. 181 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
124 Downloads (Pure)
2001

Enhancing state space reduction techniques for model checking

Bosnacki, D., 2001, Eindhoven: Technische Universiteit Eindhoven. 174 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
187 Downloads (Pure)

Languages for analysis and testing of event sequences

Engels, A. G., 2001, Eindhoven: Technische Universiteit Eindhoven. 184 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
54 Downloads (Pure)

Mechanical verification of concurrency control and recovery protocols

Chkliaev, D., 2001, Eindhoven: Technische Universiteit Eindhoven. 152 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
92 Downloads (Pure)
1999

Message sequence chart : syntax and semantics

Reniers, M. A., 1999, Eindhoven: Technische Universiteit Eindhoven. 211 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
188 Downloads (Pure)
1998

In terms of nets : system design with Petri nets and process algebra

Basten, T., 1998, Eindhoven: Technische Universiteit Eindhoven. 237 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
249 Downloads (Pure)
1997

Discrete-time process algebra

Vereijken, J. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 328 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
109 Downloads (Pure)

Preservation of termination for explicit substitution

Bloo, C. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 178 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
85 Downloads (Pure)

The evolution of type theory in logic and mathematics

Laan, T. D. L., 1997, Eindhoven: Technische Universiteit Eindhoven. 341 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
2043 Downloads (Pure)
1996

Abstract interpretation and partition refinement for model checking

Dams, D. R., 1996, Eindhoven: Technische Universiteit Eindhoven. 219 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
449 Downloads (Pure)

Normalisation in lambda calculus and its relation to type inference

Severi, P. G., 1996, Eindhoven: Technische Universiteit Eindhoven. 201 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
376 Downloads (Pure)

The state operator in process algebra

Blanco, J. O., 1996, Eindhoven: Technische Universiteit Eindhoven. 138 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
237 Downloads (Pure)

Variational modeling of curves and surfaces

Wesselink, J. W., 1996, Eindhoven: Technische Universiteit Eindhoven. 159 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
78 Downloads (Pure)
1994

A theory of delay-insensitive systems

Verhoeff, T., 1994, Eindhoven: Technische Universiteit Eindhoven. 137 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
225 Downloads (Pure)
1989

Combining linear time temporal logic descriptions of concurrent computations

Kuiper, R., 1989, Eindhoven: Technische Universiteit Eindhoven. 147 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
280 Downloads (Pure)

Parallel computations

Zwaan, G., 1989, Eindhoven: Technische Universiteit Eindhoven. 184 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
236 Downloads (Pure)

The design of functional programs : a calculational approach

Hoogerwoord, R. R., 1989, Eindhoven: Technische Universiteit Eindhoven. 226 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
396 Downloads (Pure)
1984

Formal definitions of programming languages as a basis for compiler construction

Hemerik, C., 1984, Eindhoven: Technische Hogeschool Eindhoven. 223 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
322 Downloads (Pure)
1973

Strong normalization in a typed lambda calculus with lambda structured types

Nederpelt, R. P., 1973, Eindhoven: Technische Hogeschool Eindhoven. 102 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
121 Downloads (Pure)