M.P.W.J. van Osch. Automated Model-based
Testing of Hybrid Systems. Faculty of Mathe-
matics and Computer Science, TU/e. 2009-04
H. Sozer. Architecting Fault-Tolerant Soft-
ware Systems. Faculty of Electrical Engi-
neering, Mathematics & Computer Science,
UT. 2009-05
M.J. van Weerdenburg. Efficient Rewriting
Techniques. Faculty of Mathematics and Com-
puter Science, TU/e. 2009-06
H.H. Hansen. Coalgebraic Modelling: Applica-
tions in Automata Theory and Modal Logic. Fac-
ulty of Sciences, Division of Mathematics and
Computer Science, VUA. 2009-07
A. Mesbah. Analysis and Testing of Ajax-based
Single-page Web Applications. Faculty of Electri-
cal Engineering, Mathematics, and Computer
Science, TUD. 2009-08
A.L. Rodriguez Yakushev. Towards Getting Ge-
neric Programming Ready for Prime Time. Fac-
ulty of Science, UU. 2009-9
K.R. Olmos Joffré. Strategies for Context Sensi-
tive Program Transformation. Faculty of Science,
UU. 2009-10
J.A.G.M. van den Berg. Reasoning about Java
programs in PVS using JML. Faculty of Sci-
ence, Mathematics and Computer Science,
RU. 2009-11
M.G. Khatib. MEMS-Based Storage Devices. In-
tegration in Energy-Constrained Mobile Systems.
Faculty of Electrical Engineering, Mathematics
& Computer Science, UT. 2009-12
S.G.M. Cornelissen. Evaluating Dynamic Anal-
ysis Techniques for Program Comprehension. Fac-
ulty of Electrical Engineering, Mathematics,
and Computer Science, TUD. 2009-13
D. Bolzoni. Revisiting Anomaly-based Network
Intrusion Detection Systems. Faculty of Elec-
trical Engineering, Mathematics & Computer
Science, UT. 2009-14
H.L. Jonker. Security Matters: Privacy in Vot-
ing and Fairness in Digital Exchange. Fac-
ulty of Mathematics and Computer S cience,
TU/e. 2009-15
M.R. Czenko. TuLiP - Reshaping Trust Manage-
ment. Faculty of Electrical Engineering, Math-
ematics & Computer Science, UT. 2009-16
T. Chen. Clocks, Dice and Processes. Faculty of
Sciences, Division of Mathematics and Com-
puter Science, VUA. 2009-17
C. Kaliszyk. Correctness and Availability: Build-
ing Computer Algebra on top of Proof Assistants
and making Proof Assistants available over the
Web. Faculty of Science, Mathematics and
Computer Science, RU. 2009-18
R.S.S. O’Connor. Incompleteness & Complete-
ness: Formalizing Logic and Analysis in Type
Theory. Faculty of Science, Mathematics and
Computer Science, RU. 2009-19
B. Ploeger. Improved Verification Methods for
Concurrent Systems. Faculty of Mathematics
and Computer Science, TU/e. 2009-20
T. Han. Diagnosis, Synthesis and Analysis of
Probabilistic Models. Faculty of Electrical En-
gineering, Mathematics & Computer Science,
UT. 2009-21
R. Li. Mixed-Integer Evolution Strategies for Pa-
rameter Optimization and Their Applications to
Medical Image Analysis. Faculty of Mathemat-
ics and Natural Sciences, UL. 2009-22
J.H.P. Kwisthout. The Computational Complex-
ity of Probabilistic Networks. Faculty of Science,
UU. 2009-23
T.K. Cocx. Algorithmic Tools for Data-Oriented
Law Enforcement. Faculty of Mathematics and
Natural Sciences, UL. 2009-24
A.I. Baars. Embedded Compilers. Faculty of Sci-
ence, UU. 2009-25
M.A.C. Dekker. Flexible Access Control for Dy-
namic Collaborative Environments. Faculty of
Electrical Engineering, Mathematics & Com-
puter Science, UT. 2009-26
J.F.J. Laros. Metrics and Visualisation for Crime
Analysis and Genomics. Faculty of Mathematics
and Natural Sciences, UL. 2009-27
C.J. Boogerd. Focusing Automatic Code Inspec-
tions. Faculty of Electrical Engineering, Math-
ematics, and Computer Science, TUD. 2010-01
M.R. Neuhäußer. Model Checking Nondeter-
ministic and Randomly Timed Systems. Fac-
ulty of Electrical Engineering, Mathematics &
Computer Science, UT. 2010-02
J. Endrullis . Termination and Productivity. Fac-
ulty of Sciences, Division of Mathematics and
Computer Science, VUA. 2010-03
T. Staijen. Graph-Based Specification and Verifi-
cation for Aspect-Oriented Languages. Faculty of
Electrical Engineering, Mathematics & Com-
puter Science, UT. 2010-04
277