Current, Past, and Future Ph.D Students

Home


    Current Ph.D Students

            


     

    Stepan Shevtsov started his PhD in 2014 in the AdaptWise research group. One key challenge in the field of self-adaptive systems is to provide evidence to assure the required quality properties during system opertation. To tackle this challenge, Stepan studies an approach that combines formal modelling and verification with online learning. He take an architecture-centric perspective on self-adaptation, which provides the right level of abstraction to manage complexity and the required generality of solutions. To design feedback loops, he employs principles from control theory, which provide a mathematical basis for analysing key properties of self-adaptation, incl. stability and transient behaviour. Online learning provides the means to enable the self-adaptive system to acquire knowledge about design time uncertainties during system operation. E.g., the system learns over time the reliability of a set of services, which enables better service selection. The research results will be validated in one of the domains of that are studied in the ongoing research projects of the research group.

            


     

    Sara Mahdavi-Hezavehi started her Ph.D in 2014 as a joint study at Linnaeus University and Groningen University. Sara studies a systematic approach for self-adaption of multiple concerns at runtime. The research is driven by requirements in the domain of healthy ageing and smart home services for elderly people, such as fall detection and services to enable old adults and caregivers to interact. The particular fucus will be on two main concerns in this domain: robustness and openness of systems. We study for example: openness for dynamic service selection and integration of new services, and robustness of solutions when the technology is scaled up. To accomplish the research goals, Sara will: a) study and develop models that capture the required knowledge of these concerns, and b) investigate how these models can be employed at runtime to support tradeoff analysis and conflict resolution. I supervise Sara's research together with Paris Avgeriou.

            


     

    M. Usman Iftakhir started his Ph.D in 2012 at Linnaeus University. His research is situated in the field of self-adaptative systems. Self-adaptation endows a system with the capability to adapt itself autonomously to changes in its environment and user requirements in order to achieve particular quality objectives. A key challenges in self-adaptation is to handle design time uncertainties such as evolving user needs and changing operating conditions. The goal of Usman's research is to study and develop an formally founded approach to guarantee the required quality properties in self-adaptive systems in the face of uncertainty. This approach integrates verification of the behavior of self-adaptive systems during architectural design with runtime exploitation of the formally verified models after deployment. The research will mainly focus on robustness and openness requirements, and will be applied to, and empirically validated in, the domain or multi-robot systems.

            


     

    Didac Gil de la Iglesia started his Ph.D in 2008 at Linnaeus University. In his research, Didac is developing systematic support for engineering self-adaptive systems. His research focusses on consolidating design expertise in the form of patterns for so called MAPE-K feedback loops (Monito-Analyze-Plan-Execute + Knowledge). The patterns, which comprise reusable behavioral models and specification properties, are formally specified, supporting rigorous modeling and formal verification at design time. Didac derived the patters from applications in different domains, including multi-robotic systems and mobile learning. In mobile learning, pupils use mobile devices with GPS support to do outdoor learning activities (e.g., learn about geometric figures). A particular challenge in this domain is the uncertainty of the operating environment, e.g., degrading quality of a GPS signal. The patterns have been validated in a series of case studies. These studies demonstrate that the patterns provide reusable building blocks that can support designers of self-adaptive systems for a family of self-adaptive systems.


    Past Ph.D Students

            


     

    Robrecht Haesevoets worked between 2006 and 2012 on his Ph.D at the Katholieke Universiteit Leuven. In his research, Robrecht tackled a number of complex engineering problems related to the integration and collaboration of informations systems used both within and across companies borders. State of practice in this area relies on middleware, workflow management, service-oriented architecture (SOA), and Web services. However, these approaches lack proper support for modularization of complex collaborations, and separation of concerns (e.g. collaboration functionality versus collaboration management). To tackle these problems, Robrecht propsosed an approach called Macodo (Middelware architecture for context driven dynamic organzations). Macodo consists of three complementary parts: (1) a set of modeling abstractions for dynamic collaborations, (2) a set of specialized architectural views to build and document software architectures, based on these abstractions, and (3) a middleware infrastructure that supports these abstractions as first-class programming abstractions. Macodo focusses on a particular class of collaborations between Web services that take place in a restricted collaboration environment, managed by a trusted party. The research results have been published ACM Transactions on Software Engineering and Methodology (TOSEM). I have supervised Robrecht together with Tom Holvoet.

            


     

    Bartosz Michalik started his Ph.D in 2006 at Poznan University of Technology, Poland. In the first years, Bartosz worked on a method to transfer knowledge regarding the Architecture Tradeoff Analysis Method (ATAM) to industry people. In 2010, Bartosz joined DistriNet Labs at the Katholieke University in Leuven. Driven by his experiences in a research project in collaboration with Egemin, a industrial producer of logistic systems, his research focus shifted to the problems of online updates of deployed software product line products. Logistic software systems are expected to be available 24/7. Updating such software systems with minimal interruption of services is a challenging task, in particularly when accurate architectural knowledge about the deployed software system is lacking. To address this problem, Bartosz proposed an architecture-centric approach that comprises two complementary parts: an update viewpoint and a supporting tool. The viewpoint defines the conventions for the construction and use of architectural views to deal with the stakeholders' update concerns, in particular correctness and availability. The supporting tool assists integrators with reconstructing missing architecture knowledge using data harvested from the deployed resources, and guiding them with performing the updates. An emperical experiment with professionals demonstrated that the architecture-centric approach significantly improves the correctness of updates and reduces the interruption of services during updates. Bartosz provided a formal description of the central algorithms of the proposed approach and proved correctness and minimal interruption of service. His research results were published at WICSA 2011 and ESEM 2011. A related survey on variability was published in IEEE Transactions on Software Engineering (TSE). Bartosz was awarded a Ph.D for his research in 2012.

            


     

    Nelis Boucke worked on his Ph.D from 2004 to 2009 at the Katholieke Universiteit Leuven. In his research, he studied architecture views and relations between views. In an emperical study, Nelis showed that the lack of rigorously speci!ed dependencies among architectural models and support for automated composition of models are primary causes of consistency problems in software architecture. To tackle these problems, he introduced an approach in which compositions of models, together with their relations, are explicitly supported in an architecture description language and demonstrated its value by comparing the original and revised architectural descriptions used in the empirical study. The research results are published in the Journal on Systems and Software (JSS 2010). The research results of his work on relations between views have contributed to the conceptual model of the Software Architecture Standard, ISO 42010, in particular the notion of model correspondences. After his Ph.D Nelis co-founded ArchiWise together with Alexander Helleboogh. I served as counselor of Nelis Ph.D research with Tom Holvoet as supervisor.

    Future Ph.D Students

    My research plans for the following years include the study and development of a scientific foundation for engineering decentralized self-adaptive systems. The particular focus will be on robustness and openness as key qualities. We use smart homes and multi-robotic systems as application domains to steer the fundamental research. Central to our research are the use of formal methods to provide guarantees about system requirements and empirical experiments to validate the research results. For background information, I refer to my recent research publications on self-adaptation.

    Keywords relevant for this research are: software architecture, self-adaptation, decentral control, coordination mechanisms, formal modeling and verification, multi-robotic systems, empirial validation.

    If you have a strong interest in doing research in this area, and if you are a committed person who is eager to learn and work in team with motivated researchers, you may be a good candidate to start a Ph.D in my team. You can send me an email with a motivation letter. In this letter you have to convince me that you are an excellent candidate to work in my team. General letters are discarded without further response.

    Last update: June 22, 2013 - feedback