Research Output

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
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)
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
324 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
240 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
397 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
227 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
452 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
377 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)
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
2049 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)
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)
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
188 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
93 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)
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
433 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
200 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
670 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
221 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
747 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
112 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
285 Downloads (Pure)
2006

Constructive formal methods and protocol standardization

Mooij, A. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 133 p.

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

Open Access
File
55 Downloads (Pure)

Formal specification and analysis of hybrid systems

Man, K. L. & Schiffelers, R. R. H., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 p.

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

Open Access
File
97 Downloads (Pure)

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
2303 Downloads (Pure)
2007

Assessing and improving the quality of modeling : a series of empirical studies about the UML

Lange, C. F. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 181 p.

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

Open Access
File
761 Downloads (Pure)

Logical calculi for reasoning with binding

Mathijssen, A. H. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 140 p.

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

Open Access
File
97 Downloads (Pure)

Silent steps in transition systems and Markov chains

Trcka, N., 2007, Eindhoven: Technische Universiteit Eindhoven. 271 p.

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

Open Access
File
97 Downloads (Pure)
2008

Process algebras for hybrid systems : comparison and development

Khadim, U., 2008, Eindhoven: Technische Universiteit Eindhoven. 369 p.

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

Open Access
File
123 Downloads (Pure)

Real and stochastic time in process algebras for performance evaluation

Markovski, J., 2008, Eindhoven: Technische Universiteit Eindhoven. 203 p.

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

Open Access
File
96 Downloads (Pure)

Termination of rewriting and its certification

Koprowski, A., 2008, Eindhoven: Technische Universiteit Eindhoven. 186 p.

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

Open Access
File
155 Downloads (Pure)

Tree algorithms : two taxonomies and a toolkit

Cleophas, L. G. W. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 294 p.

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

Open Access
File
580 Downloads (Pure)

Visualization of state transition graphs

Pretorius, A. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 155 p.

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

Open Access
File
350 Downloads (Pure)
2009

Automated model-based testing of hybrid systems

Osch, van, M. P. W. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 143 p.

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

Open Access
File
241 Downloads (Pure)

Efficient rewriting techniques

Weerdenburg, van, M. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 172 p.

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

Open Access
File
63 Downloads (Pure)

Improved verification methods for concurrent systems

Ploeger, S. C. W., 2009, Eindhoven: Technische Universiteit Eindhoven. 158 p.

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

Open Access
File
101 Downloads (Pure)

Security matters : privacy in voting and fairness in digital exchange

Jonker, H. L., 2009, Eindhoven: Technische Universiteit Eindhoven. 175 p.

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

Open Access
File
94 Downloads (Pure)
2011

Capturing and exploiting abstract views of states in OO verification

Middelkoop, R., 2011, Eindhoven: Technische Universiteit Eindhoven. 197 p.

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

Open Access
File
74 Downloads (Pure)

Cell libraries and verification

Raffelsieper, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 167 p.

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

Open Access
File
356 Downloads (Pure)

Configuration management for models : generic methods for model comparison and model co-evolution

Protic, Z., 2011, Eindhoven: Technische Universiteit Eindhoven. 208 p.

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

Open Access
File
581 Downloads (Pure)

Formal modeling and verification of distributed failure detectors

Atif, M., 2011, Eindhoven: Technische Universiteit Eindhoven. 214 p.

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

Open Access
File
170 Downloads (Pure)

From computability to executability : a process-theoretic view on automata theory

Tilburg, van, P. J. A., 2011, Eindhoven: Technische Universiteit Eindhoven. 161 p.

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

Open Access
File
220 Downloads (Pure)

Probability and hiding in concurrent processes

Georgievska, S., 2011, Eindhoven: Technische Universiteit Eindhoven. 143 p.

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

Open Access
File
85 Downloads (Pure)