• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

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

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)

2018

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)
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)

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)
2007

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

Formalising interface specifications

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

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

Open Access
Bestand
98 Downloads (Pure)

Formal specification and analysis of hybrid systems

Man, K. L. & Schiffelers, R. R. H., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 blz.

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

Open Access
Bestand
94 Downloads (Pure)

Scyther : semantics and verification of security protocols

Cremers, C. J. F., 2006, Eindhoven: Technische Universiteit Eindhoven. 121 blz.

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

Open Access
Bestand
2097 Downloads (Pure)
2005

Coalgebraic analysis of probabilistic systems

Sokolova, A., 2005, Eindhoven: Technische Universiteit Eindhoven. 201 blz.

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

Open Access
Bestand
142 Downloads (Pure)

Specification and analysis of Internet applications

Beek, van, H. M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 264 blz.

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

Open Access
Bestand
109 Downloads (Pure)
2003

Semantics and verification in process algebras with data and timing

Willemse, T. A. C., 2003, Eindhoven: Technische Universiteit Eindhoven. 181 blz.

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

Open Access
Bestand
121 Downloads (Pure)