Category Archives: WP1

Service Development through Model-Driven Engineering and Formal Methods

ESR 8-2 David Méndez-Acuña

Main research interests: Systems and computing engineer highly interested on software engineering research and education in computer science. During the last years I have been working on model-driven engineering and object-oriented programming. In the case of model-driven engineering, my research … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR 8-2 David Méndez-Acuña

ER-5 Viliam Simko

Main research interests Component-based software engineering Machine Learning and data mining Natural language processing Predictive runtime models Formal verification of computational models Contact viliam.simko[at]kit.edu Personal Website vlx.matfyz.cz Publications Simko V., Hauzar D., Hnetynka P., Bures T., Plasil F.: Formal Verification … Continue reading

Posted in Research Projects, WP1 | Comments Off on ER-5 Viliam Simko

ESR-15 Ilias Gerostathopoulos

Model-driven development of scalable service-oriented systems During my research I will be exploring the broad area of Cloud Computing focusing on the area of modeling and model-driven development of service-based applications. The purpose is to extend the current state of … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR-15 Ilias Gerostathopoulos

ESR-14 Rima Al Ali

Formal specification of services The future work planed includes getting through existing formal specification of distributed and adaptive services to identify challenges and concrete research questions. The work will be developed based on formal specification of services in the model … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR-14 Rima Al Ali

ESR-10 Ivan Dario Paez Anaya

Proactive adaptation approach for pervasive distributed systems The demand for systems that dynamically adapt to their environment is increasingly growing. By definition self-adaptive software modifies its own structure and behavior in response to changes in its operating environment and its … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR-10 Ivan Dario Paez Anaya

ESR-9 Inti Gonzalez Herrera

Resource Reservation in containers of Java applications Modern middlewares are typically implemented using Java, for example with OSGi or Android, because of its safety, flexibility, and mature development environment. In fact, Java is the most used programming language today. However, … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR-9 Inti Gonzalez Herrera

ESR-8 Suresh Pillay (left the project in Oct. 2013)

Variability Modeling in Modeling Languages In economics an individual’s needs can be satisfied by means of acquiring goods and services. In the computing world computers provide services which generally facilitate processes required to produce or consume goods and services. A … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR-8 Suresh Pillay (left the project in Oct. 2013)

ESR-6 Fotis Gonidis

A development framework enabling the design of service-based cloud applications. The objective of cloud application platforms such as Google App Engine, Microsoft Azure, Force.com, or other contemporary Platform-as-a-Service (PaaS) offerings, is to reduce the effort required for the development, deployment … Continue reading

Posted in Research Projects, WP1 | Comments Off on ESR-6 Fotis Gonidis