Travelled to:1 × France
1 × United Kingdom
Collaborated with:R.Calinescu A.Banks G.Tamburrelli H.F.Eniser A.S.0001 M.C.0002 M.Kwiatkowska N.Paoletti A.Zolotas R.Wei H.H.Rodriguez D.S.Kolovos R.F.Paige
Talks about:softwar (3) synthesi (2) fault (2) deep (2) probabilist (1) decentralis (1) parametr (1) qualiti (1) papyrus (1) network (1)
Person: Simos Gerasimou
DBLP: Gerasimou:Simos
Contributed to:
2015
2015
20182019
2017Wrote 5 papers:
- FASE-2015-CalinescuGB #adaptation #distributed #self
- Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.
- ASE-2015-GerasimouTC #modelling #probability #re-engineering #search-based #synthesis
- Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T) (SG, GT, RC), pp. 319–330.
- ECMFA-2018-ZolotasWGRKP #automation #editing #generative #papyrus #towards #uml #visual notation
- Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.
- FASE-2019-EniserGS #fault #locality #named #network
- DeepFault: Fault Localization for Deep Neural Networks (HFE, SG, AS0), pp. 171–191.
- ICSA-2017-CalinescuCGKP #design #markov #parametricity #robust #synthesis
- Designing Robust Software Systems through Parametric Markov Chain Synthesis (RC, MC0, SG, MK, NP), pp. 131–140.