Harsh Beohar Promoters: prof.dr. J.C.M. Baeten (TU/e and CWI) and prof.dr.ir. J.E. Rooda (TU/e) Co-promotor: dr.ir. P.J.L. Cuijpers (TU/e) Faculty of Mathematics and Computer Science, TU/e Technische Universiteit Eindhoven Date: 22 January, 2013. Thesis: PDF Summary This thesis addresses two particular issues related to the design of embedded systems; namely, refinement of …
Georgete Igna Promotor: prof.dr. F.W. Vaandrager (RU) Faculty of Science, Mathematics and Computer Science, RU Radboud Universiteit Nijmegen Date: 22 January, 2013. Thesis: PDF Summary Computer systems are part of our daily life being included in various systems such as: home appliances, aircrafts, intelligent highway systems, and multimedia communication systems. As …
Eduardo Zambon Promotor: prof.dr.ir. A. Rensink Faculty of Electrical Engineering, Mathematics & Computer Science, UT Universiteit Twente Date: 24 January, 2013. Summary The verification of systems with respect to a desired set of behavioural properties is a crucial step in increasing our confidence that these systems will correctly function under …
Bas Lijnse Promotor: Prof.dr.dr.hc.ir. M.J. Plasmeijer (RU) Co-promotor: dr. J.M. Jansen (Nederlandse Defensie Academie) Radboud Universiteit Nijmegen Date: 27 March, 2013, 10:30 Summary When we use computers to accomplish a task, we usually do so to make our work easier, faster, cheaper, or simply because the task would be practically impossible …
Gerhard de Koning Gans Promotor: prof.dr. B.P.F. Jacobs (RU) Copromotor: dr. F.D. Garcia (RU) Radboud Universiteit Nijmegen Date: 11 April, 2013, 15:30 Thesis: PDF Summary The focus of this thesis is on the security and privacy of contact-based and contactless smart cards. Assessing the security of deployed smart card systems is …
Michaela Greiler Promotor: prof.dr. A. van Deursen (TUD) Technische Universiteit Delft Date: 22 April, 2013, 12:30 Summary Testing related activities may consume a large part of the effort required during software development, and test code often constitutes a large part of the overall software code. Increasing maintenance overhead caused by …
Hotel De Zeven Heuvelen, Groesbeek, May 13-17, 2013 The IPA Spring Days are an annual multi-day event, dedicated to a specific theme of current interest to the research community of IPA. This year’s Spring Days are dedicated to Cyber-Physical Systems, fitting in the homonymous focus area Cyber-Physical Systems of the research …
Sander van der Burg Promotor: prof.dr. A. van Deursen (TUD) Co-promotor: dr. E. Visser (TUD) Technische Universiteit Delft Date: June 3, 15:00, 2013 Summary Changing non-functional requirements and various developments in the software engineering process have increased programmer productivity and the quality of software systems. A negative side effect is …
Martijn van den Heuvel Promotor: prof.dr. J.J. Lukkien (TU/e) Co-promotor: dr.ir. R.J. Bril (TU/e) Technische Universiteit Eindhoven Date: 12 June, 2013, 16:00 Summary Many industrial systems have various hardware and software functions for controlling mechanics. If these functions act independently, as they do in legacy situations, their overall performance is …
John Businge Promotores: prof.dr. M.G.J. van den Brand (TU/e) and prof.dr.ir. T.P. van der Weide (RU) Co-promotor: dr. A. Serebrenik (TU/e) Technische Universiteit Eindhoven Date: 4 July, 2013, 16:00 Summary The research conducted in this thesis aims at quantifying/qualifying the challenges faced by software developers building systems on top of …