Research Output

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

Postprocessing of static analysis alarms

Muske, T. B., 7 Jul 2020, Eindhoven: Eindhoven University of Technology. 174 p.

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

Open Access
File
35 Downloads (Pure)

Reductions for parity games and model checking

Neele, T., 16 Sep 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

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

2019

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

Verification of concurrent systems in a model-driven engineering workflow

de Putter, S. M. J., 28 Jan 2019, Eindhoven: Technische Universiteit Eindhoven. 200 p.

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

Open Access
File
135 Downloads (Pure)
2018

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
104 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
593 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
572 Downloads (Pure)

Scalable performance analysis of wireless sensor networks

Talebi, M., 25 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 137 p.

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

Open Access
File
205 Downloads (Pure)

The DSL/Model co-evolution problem in industrial MDE ecosystems

Mengerink, J. G. M., 26 Nov 2018, Eindhoven: Technische Universiteit Eindhoven. 252 p.

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

Open Access
File
251 Downloads (Pure)
2017

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
547 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
546 Downloads (Pure)
2016

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
174 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
395 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
1763 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
477 Downloads (Pure)

Verification of interconnects

Joosten, S., 24 Feb 2016, Eindhoven: Technische Universiteit Eindhoven. 128 p.

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

Open Access
File
225 Downloads (Pure)
2015

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

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

On the design of an architecture framework and quality evaluation for automotive software systems

Dajsuren, Y., 26 May 2015, Eindhoven: Technische Universiteit Eindhoven. 150 p.

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

Open Access
File
2495 Downloads (Pure)
2014

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

Social aspects of collaboration in online software communities

Vasilescu, B. N., 2014, Eindhoven: Technische Universiteit Eindhoven. 219 p.

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

Open Access
File
3169 Downloads (Pure)
2013

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

Refinement of communication and states in models of embedded systems

Beohar, H., 2013, Eindhoven: Technische Universiteit Eindhoven. 165 p.

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

Open Access
File
121 Downloads (Pure)
2012

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
580 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
218 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
185 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
134 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
69 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
340 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
572 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
161 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
214 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
80 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
234 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
62 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
95 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
89 Downloads (Pure)
2008

Formal methods in support of SMC design

Bortnik, E., 2008, Eindhoven: Technische Universiteit Eindhoven. 183 p.

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

Open Access
File
129 Downloads (Pure)

Model-based integration and testing of high-tech multi-disciplinary systems

Braspenning, N. C. W. M., 2008, Eindhoven: Technische Universiteit Eindhoven. 136 p.

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

Open Access
File
265 Downloads (Pure)

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
115 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
94 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
145 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
570 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
331 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
724 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
94 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
95 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
54 Downloads (Pure)