Alert button
Picture for Simos Gerasimou

Simos Gerasimou

Alert button

Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction

Aug 18, 2023
Daniel Bethell, Simos Gerasimou, Radu Calinescu

Figure 1 for Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction
Figure 2 for Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction
Figure 3 for Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction
Figure 4 for Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction
Viaarxiv icon

Bayesian Learning for the Robust Verification of Autonomous Robots

Mar 15, 2023
Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

Figure 1 for Bayesian Learning for the Robust Verification of Autonomous Robots
Figure 2 for Bayesian Learning for the Robust Verification of Autonomous Robots
Figure 3 for Bayesian Learning for the Robust Verification of Autonomous Robots
Figure 4 for Bayesian Learning for the Robust Verification of Autonomous Robots
Viaarxiv icon

Fast Parametric Model Checking through Model Fragmentation

Feb 02, 2021
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

Figure 1 for Fast Parametric Model Checking through Model Fragmentation
Figure 2 for Fast Parametric Model Checking through Model Fragmentation
Figure 3 for Fast Parametric Model Checking through Model Fragmentation
Figure 4 for Fast Parametric Model Checking through Model Fragmentation
Viaarxiv icon

Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

Aug 05, 2020
Sophie Wood, Nicholas Matragkas, Dimitris Kolovos, Richard Paige, Simos Gerasimou

Viaarxiv icon

Genetic Improvement @ ICSE 2020

Jul 31, 2020
William B. Langdon, Westley Weimer, Justyna Petke, Erik Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael Gerten

Figure 1 for Genetic Improvement @ ICSE 2020
Figure 2 for Genetic Improvement @ ICSE 2020
Viaarxiv icon

Importance-Driven Deep Learning System Testing

Feb 09, 2020
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Cakan

Figure 1 for Importance-Driven Deep Learning System Testing
Figure 2 for Importance-Driven Deep Learning System Testing
Figure 3 for Importance-Driven Deep Learning System Testing
Figure 4 for Importance-Driven Deep Learning System Testing
Viaarxiv icon

DeepFault: Fault Localization for Deep Neural Networks

Feb 15, 2019
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen

Figure 1 for DeepFault: Fault Localization for Deep Neural Networks
Figure 2 for DeepFault: Fault Localization for Deep Neural Networks
Figure 3 for DeepFault: Fault Localization for Deep Neural Networks
Figure 4 for DeepFault: Fault Localization for Deep Neural Networks
Viaarxiv icon