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