Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
2020

Postprocessing of static analysis alarms

Muske, T. B., 7 jul 2020, Eindhoven: Eindhoven University of Technology. 174 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
35 Downloads (Pure)

Reductions for parity games and model checking

Neele, T., 16 sep 2020, (Geaccepteerd/In druk) Eindhoven: Technische Universiteit Eindhoven.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

2019

Model analytics and management

Babur, Ö., 20 feb 2019, Eindhoven: Technische Universiteit Eindhoven. 170 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
104 Downloads (Pure)

From concurrent state machines to reliable multi-threaded Java code

Zhang, D., 12 apr 2018, Eindhoven: Technische Universiteit Eindhoven. 160 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
593 Downloads (Pure)

Hierarchical process mining for scalable software analysis

Leemans, M., 6 dec 2018, Eindhoven: Technische Universiteit Eindhoven. 435 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
572 Downloads (Pure)

Scalable performance analysis of wireless sensor networks

Talebi, M., 25 okt 2018, Eindhoven: Technische Universiteit Eindhoven. 137 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
251 Downloads (Pure)
2017

Engineering the dynamic semantics of domain specific languages

Tikhonova, U., 21 nov 2017, Eindhoven: Technische Universiteit Eindhoven. 192 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
546 Downloads (Pure)
2016

Fixpoint logic, games, and relations of consequence

Gazda, M. W., 15 mrt 2016, Eindhoven: Technische Universiteit Eindhoven. 141 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
174 Downloads (Pure)

Formal analysis and verification of embedded systems for healthcare

Keshishzadeh, S., 24 mrt 2016, Eindhoven: Technische Universiteit Eindhoven. 179 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
1763 Downloads (Pure)

Modeling the dynamics of requirements process improvement

Zawedde, A., 24 okt 2016, Eindhoven: Technische Universiteit Eindhoven. 192 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
477 Downloads (Pure)

Verification of interconnects

Joosten, S., 24 feb 2016, Eindhoven: Technische Universiteit Eindhoven. 128 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
225 Downloads (Pure)
2015

Building blocks for the internet of things

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
6072 Downloads (Pure)

Getting the point : obtaining and understanding fixpoints in model checking

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
202 Downloads (Pure)

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

Dajsuren, Y., 26 mei 2015, Eindhoven: Technische Universiteit Eindhoven. 150 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
2495 Downloads (Pure)
2014

Domain specific languages and their type systems

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
202 Downloads (Pure)

Improving input-output conformance testing theories

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
183 Downloads (Pure)

Social aspects of collaboration in online software communities

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
3169 Downloads (Pure)
2013

Advanced reduction techniques for model checking

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
211 Downloads (Pure)

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

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
425 Downloads (Pure)

Refinement of communication and states in models of embedded systems

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
121 Downloads (Pure)
2012

Assessing and improving the quality of model transformations

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
580 Downloads (Pure)

Bridging formal models : an engineering perspective

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
218 Downloads (Pure)

Formal development of control software in the medical systems domain

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
185 Downloads (Pure)

From napkin sketches to reliable software

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
134 Downloads (Pure)
2011

Capturing and exploiting abstract views of states in OO verification

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
69 Downloads (Pure)

Cell libraries and verification

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
340 Downloads (Pure)

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

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
572 Downloads (Pure)

Formal modeling and verification of distributed failure detectors

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
214 Downloads (Pure)

Probability and hiding in concurrent processes

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
80 Downloads (Pure)
2009

Automated model-based testing of hybrid systems

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
234 Downloads (Pure)

Efficient rewriting techniques

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
62 Downloads (Pure)

Improved verification methods for concurrent systems

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
95 Downloads (Pure)

Security matters : privacy in voting and fairness in digital exchange

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
89 Downloads (Pure)
2008

Formal methods in support of SMC design

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
265 Downloads (Pure)

Process algebras for hybrid systems : comparison and development

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
115 Downloads (Pure)

Real and stochastic time in process algebras for performance evaluation

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
94 Downloads (Pure)

Termination of rewriting and its certification

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
145 Downloads (Pure)

Tree algorithms : two taxonomies and a toolkit

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
570 Downloads (Pure)

Visualization of state transition graphs

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
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 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
724 Downloads (Pure)

Logical calculi for reasoning with binding

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
94 Downloads (Pure)

Silent steps in transition systems and Markov chains

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
95 Downloads (Pure)
2006

Constructive formal methods and protocol standardization

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

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
54 Downloads (Pure)