3 citations · 7 across the 7 of their papers we have counts for
7 papers
Fast Parametric Model Checking through Model Fragmentation
Xinwei Fang, Radu Calinescu, Simos Gerasimou +1
Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the sys…
Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning
Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou +4
Engineering collective adaptive systems (CAS) with learning capabilities is a challenging task due to their multi-dimensional and complex design space. Data-driven approaches for C…
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Sophie Wood, Nicholas Matragkas, Dimitris Kolovos +2
The wide use of robotic systems contributed to developing robotic software highly coupled to the hardware platform running the robotic system. Due to increased maintenance cost or…
Genetic Improvement @ ICSE 2020
William B. Langdon, Westley Weimer, Justyna Petke +13
Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international G…
Importance-Driven Deep Learning System Testing
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen +1
Deep Learning (DL) systems are key enablers for engineering intelligent applications due to their ability to solve complex tasks such as image recognition and machine translation.…
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343
Simos Gerasimou, Thomas Vogel, Ada Diaconescu
Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning r…