Currently browsing

Software Language Evolution

Sander Vermolen Promotor: prof.dr. A. van Deursen (TUD) Co-promotor: dr. E. Visser (TUD) Technische Universiteit Delft Date: 1 October, 2012. Summary Software increases in size and complexity. To cope with continuously increasing complexity and size of software, model driven software development (MDSD) proposes to use domain-specific models, which abstract away from …

Fall Days @ ICT.OPEN 2012

World Trace Center, Rotterdam, October 22-23, 2012 The traditional IPA Fall Days are this year part of the ICT.OPEN event. This event aims to bring together researchers coming from diverse fields of ICT. The event is organised by NWO, STW and the three Dutch Research Schools ASCI, IPA and SIKS. …

Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms

Hossein Rahmani Promotor: prof.dr. J.N. Kok (UL) Co-promotor: dr. H. Blockeel (UL) Universiteit Leiden Date: 30 October, 2012 Summary This thesis discusses solutions to several open problems in Protein-Protein Interaction (PPI) networks with the aid of Knowledge Discovery. PPI networks are usually represented as undirected graphs, with nodes corresponding to proteins and …

Bridging Formal Models – An Engineering Perspective

Frank Stappers Promotores: prof.dr.ir. J.F. Groote (TU/e) and prof.dr. M.G.J. van den Brand (TU/e) Co-promotor: dr. M.A. Reniers (TU/e) Technische Universiteit Eindhoven Date: 8 November, 2012. Summary The thesis presents different techniques that can be used to build formal behavioral models. If modal properties are formulated, the models can be …

Higher Order Termination

Cynthia Kop Promotor: Prof.dr. J.W. Klop (VUA) Co-promotor: Dr. F. van Raamsdonk (VUA) Vrije Universiteit Amsterdam Date: 13 November, 2012 Summary Higher-order term rewriting is a collective name for a number of different formalisms. These formalisms can be used as a higher-order logic, or as the underlying framework of functional …

A Compositional Interchange Format for Hybrid Systems: Design and Implementation

Damian Nadales Promotores: prof.dr.ir. J.E. Rooda (TU/e) and prof.dr. J.C.M. Baeten (TU/e, CWI) Co-promotor: dr.ir. D.A. van Beek (TU/e) Technische Universiteit Eindhoven Date: 29 November, 2012 Thesis: PDF Summary The design of large industrial controlled systems is a difficult task, which calls for a model-based design approach. For this, different formalisms exist. Each …

Compositional Synthesis of Safety Controllers

Wouter Kuijper Promotor: prof.dr. J.C. van de Pol (UT) Universiteit Twente Date: 7 December 2012 Summary In my thesis I investigate compositional techniques for synthesis of safety controllers. A safety controller, in this context, is a state machine that gives the set of safe control outputs for every possible sequence …

From Napkin Sketches to Reliable Software

Luc Engelen Promotor: prof.dr.M.G.J. van den Brand (TU/e) Co-promotor: dr. S. Andova (TU/e) Technische Universiteit Eindhoven Date: 11 December, 2012. Thesis: PDF Summary In the past few years, model-driven software engineering (MDSE) and domain-specific modeling languages (DSMLs) have received a lot of attention from both research and industry. The main goal …

Formal Development of Control Software in the Medical Systems Domain

Ammar Osaiweran Promotores: prof.dr.ir. J.F. Groote (TU/e) and prof.dr. J. Hooman Technische Universiteit Eindhoven Date: 17 December, 2012. Summary In this thesis we describe the effectiveness of applying a number of formal techniques to the development of industrial control software at Philips Healthcare. We demonstrate how these techniques were tightly …

Course: Software Engineering and Technology

Eindhoven University of Technology, Eindhoven January 21-25, 2013 IPA organises Advanced Courses on each of its major research fields: Algorithmics and Complexity, Formal Methods and Software Technology. Each of these Advanced Courses intends to give an overview of (part of) the research of IPA in this specific field. The Advanced Course, which …