Simos Gerasimou

Registered user since Fri 16 Aug 2019

Name:Simos Gerasimou
Affiliation:University of York, UK

Contributions

SEAMS 2022 Committee Member in Program Committee within the SEAMS 2022-track
ASE 2021 Author of Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies within the Research Papers-track
SEAMS 2021 Committee Member in Program Committee within the SEAMS 2021-track
ASE 2020 Author of Interval Change-Point Detection for Runtime Probabilistic Model Checking within the Research Papers-track
ACSOS 2020 Committee Member in Poster and Demo Committee within the Posters and Demos-track
MODELS 2020 Author of Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering within the Technical Track-track
SEAMS 2020 Publicity Co-Chair in Organizing Committee within the SEAMS 2020-track
ICSE 2021 Author of Fast Parametric Model Checking through Model Fragmentation within the Technical Track-track
SEAMS 2019 Author of On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework within the SEAMS 2019-track
FASE 2019 Author of DeepFault: Fault Localization For Deep Neural Networks within the FASE 2019-track
ETAPS 2019 Author of DeepFault: Fault Localization for Deep Neural Networks within the Posters-track
ICSE 2020 Author of Importance-Driven Deep Learning System Testing within the ICSE 2020 Posters-track
Author of Importance-Driven Deep Learning System Testing within the Technical Papers-track
* ICSE 2018 * Author of ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases within the Journal first papers-track