Research Output

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

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)

Advanced reduction techniques for model checking

Keiren, J. J. A., 2013, Eindhoven: Technische Universiteit Eindhoven. 195 p.

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

Open Access
File
219 Downloads (Pure)

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

Assessing and improving the quality of model transformations

Amstel, van, M. F., 2012, Eindhoven: Technische Universiteit Eindhoven. 221 p.

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

Open Access
File
602 Downloads (Pure)

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)

A theory of executability : with a focus on the expressivity of process calculi

Yang, F., 11 Jun 2018, Eindhoven: Technische Universiteit Eindhoven. 161 p.

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

Open Access
File
105 Downloads (Pure)

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

Bridging formal models : an engineering perspective

Stappers, F. P. M., 2012, Eindhoven: Technische Universiteit Eindhoven. 298 p.

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

Open Access
File
223 Downloads (Pure)

Building blocks for the internet of things

Stolikj, M., 2015, Eindhoven: Technische Universiteit Eindhoven. 218 p.

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

Open Access
File
6206 Downloads (Pure)

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
73 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
352 Downloads (Pure)

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)

Co-evolution of the Eclipse framework and its third-party plug-ins

Businge, J., 2013, Eindhoven: Technische Universiteit Eindhoven. 215 p.

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

Open Access
File
437 Downloads (Pure)

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)

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

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)

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)

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)

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)

Domain specific languages and their type systems

Meer, van der, A. P., 2014, Eindhoven: Technische Universiteit Eindhoven. 255 p.

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

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

Engineering the dynamic semantics of domain specific languages

Tikhonova, U., 21 Nov 2017, Eindhoven: Technische Universiteit Eindhoven. 192 p.

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

Open Access
File
565 Downloads (Pure)

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)

Fixpoint logic, games, and relations of consequence

Gazda, M. W., 15 Mar 2016, Eindhoven: Technische Universiteit Eindhoven. 141 p.

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

Open Access
File
178 Downloads (Pure)

Formal analysis and verification of embedded systems for healthcare

Keshishzadeh, S., 24 Mar 2016, Eindhoven: Technische Universiteit Eindhoven. 179 p.

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

Open Access
File
400 Downloads (Pure)

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)

Formal development of control software in the medical systems domain

Osaiweran, A. A. H., 2012, Eindhoven: Technische Universiteit Eindhoven. 172 p.

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

Open Access
File
190 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
169 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
96 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
219 Downloads (Pure)

From conceptual models to safety assurance : applying model-based techniques to support safety assurance

Luo, Y., 26 Apr 2016, Eindhoven: Technische Universiteit Eindhoven. 142 p.

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

Open Access
File
1797 Downloads (Pure)

From concurrent state machines to reliable multi-threaded Java code

Zhang, D., 12 Apr 2018, Eindhoven: Technische Universiteit Eindhoven. 160 p.

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

Open Access
File
685 Downloads (Pure)

From napkin sketches to reliable software

Engelen, L. J. P., 2012, Eindhoven: Technische Universiteit Eindhoven. 179 p.

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

Open Access
File
144 Downloads (Pure)
Open Access
File

Getting the point : obtaining and understanding fixpoints in model checking

Cranen, S., 2015, Eindhoven: Technische Universiteit Eindhoven. 169 p.

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

Open Access
File
213 Downloads (Pure)

Hierarchical process mining for scalable software analysis

Leemans, M., 6 Dec 2018, Eindhoven: Technische Universiteit Eindhoven. 435 p.

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

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

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

Improving input-output conformance testing theories

Noroozi, N., 2014, Eindhoven: Technische Universiteit Eindhoven. 197 p.

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

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

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)

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)

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)

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)

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)

Model analytics and management

Babur, Ö., 20 Feb 2019, Eindhoven: Technische Universiteit Eindhoven. 170 p.

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

Open Access
File
365 Downloads (Pure)

Modeling the dynamics of requirements process improvement

Zawedde, A., 24 Oct 2016, Eindhoven: Technische Universiteit Eindhoven. 192 p.

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

Open Access
File
495 Downloads (Pure)

Modularity and reuse of domain-specific languages: an exploration with MetaMod

Sutii, A. M., 7 Nov 2017, Eindhoven: Technische Universiteit Eindhoven. 198 p.

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

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