EEMCS

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

EEMCS EPrints Service


Supervisor: Haverkort, B.R.H.M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 19.

2014

Kolesnichenko, A.V. (2014) Model-Checking Mean-Field Models: Algorithms & Applications. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-341 ISBN 978-90-365-3821-3
Barbosa, R.R.R. (2014) Anomaly Detection in SCADA Systems - A Network Based Approach. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 14-300 ISBN 978-90-365-3645-5

2013

Moreira Moura, G.C. (2013) Internet Bad Neighborhoods. PhD thesis, University of Twente. CTIT Ph.D.-thesis Series No. 12-237 ISBN 978-90-365-3460-4
Drago, I. (2013) Understanding and Monitoring Cloud Services. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 13-279 ISBN 978-90-365-3577-9
van Eenennaam, E.M. (2013) Scalable Beaconing for Cooperative Adaptive Cruise Control. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-277 ISBN 978-90-365-3576-2
Reijsbergen, D.P. (2013) Efficient simulation techniques for stochastic model checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-281 ISBN 978-90-365-3586-1

2011

Liu, Fei (2011) Context discovery in ad-hoc networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-200 ISBN 978-90-365-3207-5

2010

Everdij, M.H.C. (2010) Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes. PhD thesis, NLR, Amsterdam and University of Twente. ISBN 978-90-365-3015-6
Fioreze, T. (2010) Self-Management of Hybrid Optical and Packet Switching Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-163 ISBN 978-90-365-2966-2
Sperotto, A. (2010) Flow-based intrusion detection. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-180 ISBN 978-90-365-3089-7
Jongerden, M.R. (2010) Model-based energy analysis of battery powered systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-183 ISBN 978-90-365-3114-6
Mei, Hailiang (2010) Task distribution based adaptation in mobile patient monitoring systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-173 ISBN 978-90-365-3026-2

2009

Jehangir, A. (2009) A Security Architecture for Personal Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-141 ISBN 978-90-365-2818-4

2008

Remke, A.K.I. (2008) Model Checking Structured Infinite Markov Chains. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-118 ISBN 978-90-8570-304-4
Zaburnenko, T.S. (2008) Efficient heuristics for simulating rare events in queuing networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-111 ISBN 978-90-365-2622-7

2007

Sadre, R. (2007) Decomposition-Based Analysis of Queueing Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-95 ISBN 90-365-2444-X

2006

Cloth, L. (2006) Model Checking Algorithms for Markov Reward Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-81 ISBN 90-365-2317-6

2004

Remke, A.K.I. (2004) Model checking Quasi Birth Death processes. Master's thesis, RWTH Aachen.
Ait Yaiz, R. (2004) Intra-piconet scheduling in Bluetooth. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 04-62 ISBN 90-365-2049-5

This list was generated on Mon Apr 24 07:47:43 CEST 2017.