EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Supervisor: van de Pol, J.C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 9.

2016

van Dijk, T. (2016) Sylvan - Multi-core decision diagrams. PhD thesis, University of Twente. CTIT Ph.D.-thesis no. 16-398 ISBN 978-90-365-4160-2

2014

Ngo, Minh Tri (2014) Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 14-305 ISBN 978-90-365-3652-3
Laarman, A.W. (2014) Scalable multi-core model checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-308 ISBN 978-90-365-3656-1
Belinfante, A.F.E. (2014) JTorX: Exploring Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-319 ISBN 978-90-365-3707-0

2013

Timmer, M. (2013) Efficient Modelling, Generation and Analysis of Markov Automata. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-261 ISBN 978-90-365-0592-5

2012

Kuijper, W. (2012) Compositional Synthesis of Safety Controllers. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-243 ISBN 978-90-365-3487-1

2011

Adolfsen, M. (2011) Industrial Validation of Test Coverage Quality. Master's thesis, University of Twente.

2008

Calamé, J.R. (2008) Testing reactive systems with data: enumerative methods and constraint solving. PhD thesis, University of Twente. IPA dissertation series 2008-20 ISBN 978-90-6464-273-9
Timmer, M. (2008) Evaluating and Predicting Actual Test Coverage. Master's thesis, University of Twente.

This list was generated on Mon May 29 08:11:23 CEST 2017.