Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Simos Gerasimou

Fast Parametric Model Checking through Model Fragmentation

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

  Access Paper or Ask Questions

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

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

* 10 pages 

  Access Paper or Ask Questions

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

* 7 pages, 2 figures. Write up of GI @ ICSE 2020 workshop. Submitted to ACM SIGSOFT Software Engineering Notes 

  Access Paper or Ask Questions

Importance-Driven Deep Learning System Testing

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

* 12 pages 

  Access Paper or Ask Questions

DeepFault: Fault Localization for Deep Neural Networks

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

* 15 pages 

  Access Paper or Ask Questions