Research Output 1972 2019

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
2019
190 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
101 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
2018
89 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
465 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
390 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
158 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
158 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
2017
397 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
474 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
2016
150 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
345 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
1573 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
349 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
198 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
2015
4874 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
173 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
2239 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
2014
143 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
140 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
2517 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
2013
178 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
378 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
Maintainability
Statistical Models
102 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
Interchanges
Embedded systems
Communication
Semantics
Syntactics
2012
463 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
software
visualization
engineering
transform
artifact
193 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
Specification languages
Syntactics
Semantics
Specifications
Model checking
156 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
Productivity
Codes (standards)
Model checking
Specifications
X rays
101 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
Semantics
Software engineering
Concretes
Modeling languages
Model checking
2011
58 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
Specifications
Semantics
Concretes
293 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
Hardware
Transistors
Electric power utilization
Clocks
Productivity
514 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
Software engineering
Visualization
Experiments
Defects
Railroad cars
122 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
Detectors
Network protocols
Model checking
Specifications
Communication
190 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
automata theory
Turing machines
grammars
preserving
divergence
63 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
Chemical analysis
Trees (mathematics)
Testing
Labels
Synchronization
2009
212 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
Hybrid systems
Testing
Specifications
Vacuum
Controllers
46 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
Specifications
75 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
69 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
fairness
privacy
voting
voter
selling
2008
106 Downloads (Pure)

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
203 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
95 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
Hybrid systems
Algebra
Positive ions
Linearization
Mathematical operators
80 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
Hazards and race conditions
Algebra
Random processes
Markov processes
Interpolation
129 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
Computer programming languages
Refining
Formal verification
515 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
Taxonomies
Pattern matching
296 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
Visualization
Computer science
2007
564 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
Unified Modeling Language
Defects
Experiments
Quality assurance
Semantics
85 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
Logic
Calculi
Avoidance
Substitution
First-order Logic
77 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
2006
45 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
Formal methods
Standardization
Network protocols
Specifications
Communication
80 Downloads (Pure)

Formalising interface specifications

Gool, van, L. C. M., 2006, Eindhoven: Technische Universiteit Eindhoven. 309 p.

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

Open Access
File
68 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