• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

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

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
563 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
249 Downloads (Pure)
2016

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
1761 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
212 Downloads (Pure)
1989

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