default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimos Gerasimou
Person information
- affiliation: University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c42]Daniel Bethell, Simos Gerasimou, Radu Calinescu:
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI 2024: 20939-20948- [c41]Vladislav Nenchev
, Calum Imrie, Simos Gerasimou, Radu Calinescu:
Code-Level Safety Verification for Automated Driving: A Case Study. FM (2) 2024: 356-372 - [c40]Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris S. Kolovos, Antonio García-Domínguez:
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. MODELS 2024: 80-91 - [c39]Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou:
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE 2024: 37-43 - [i15]Kangfeng Ye, Fang Yan, Simos Gerasimou:
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. CoRR abs/2403.00169 (2024) - [i14]Sondess Missaoui, Simos Gerasimou, Nikolaos Drivalos Matragkas:
DeepKnowledge: Generalisation-Driven Deep Learning Testing. CoRR abs/2403.16768 (2024) - [i13]Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris S. Kolovos, Antonio García-Domínguez:
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. CoRR abs/2404.05846 (2024) - [i12]Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie:
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR abs/2405.18180 (2024) - 2023
- [j11]Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou:
Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. 156: 107143 (2023) - [j10]Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman:
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j9]James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana:
Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. 22(5): 1665-1688 (2023) - [j8]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. 49(10): 4707-4730 (2023) - [c38]Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha:
An Ontological Approach for the Dependability Analysis of Automated Systems. DSD 2023: 593-601 - [c37]Guillaume Ollier, Fabio Arnez, Morayo Adedjouma, Raphaël Lallement, Simos Gerasimou, Chokri Mraidha:
Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles. DroneSE/RAPIDO@HiPEAC 2023: 12-19 - [c36]Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas:
Semantic Data Augmentation for Deep Learning Testing Using Generative AI. ASE 2023: 1694-1698 - [c35]Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou:
Towards Memory-Efficient Validation of Large XMI Models. MoDELS (Companion) 2023: 241-250 - [i11]Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn:
Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR abs/2303.08476 (2023) - [i10]Daniel Bethell, Simos Gerasimou, Radu Calinescu:
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR abs/2308.09647 (2023) - 2022
- [c34]Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier:
Skeptical Dynamic Dependability Management for Automated Systems. DSD 2022: 118-125 - [c33]Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha:
Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC 2022: 109-112 - [c32]Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou, Gerson Sunyé:
Partial Loading of Repository-Based Models through Static Analysis. SLE 2022: 266-278 - [i9]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking. CoRR abs/2208.12723 (2022) - 2021
- [c31]Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou:
Probabilistic Program Performance Analysis. SEAA 2021: 148-157 - [c30]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. ICSE 2021: 835-846 - [c29]Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE 2021: 842-853 - [c28]Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu:
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) 2021: 249-253 - [c27]James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu:
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS 2021: 331-341 - [e1]Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings. Lecture Notes in Computer Science 12853, Springer 2021, ISBN 978-3-030-83905-5 [contents] - [i8]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. CoRR abs/2102.01490 (2021) - 2020
- [j7]William B. Langdon, Westley Weimer, Justyna Petke, Erik M. 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 C. Gerten:
Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 45(4): 24-30 (2020) - [j6]Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige:
Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. 19(5): 1083-1106 (2020) - [c26]Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras:
Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. ACSOS Companion 2020: 121-126 - [c25]Piotr Dziurzanski, Simos Gerasimou, Dimitrios S. Kolovos, Nicholas Matragkas:
Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair. CEC 2020: 1-10 - [c24]Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-driven deep learning system testing. ICSE (Companion Volume) 2020: 322-323 - [c23]Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-driven deep learning system testing. ICSE 2020: 702-713 - [c22]Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn:
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE 2020: 163-174 - [c21]Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou:
Intelligent run-time partitioning of low-code system models. MoDELS (Companion) 2020: 64:1-64:5 - [c20]Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting robotic software migration using static analysis and model-driven engineering. MoDELS 2020: 154-164 - [i7]Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-Driven Deep Learning System Testing. CoRR abs/2002.03433 (2020) - [i6]William B. Langdon, Westley Weimer, Justyna Petke, Erik M. 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 C. Gerten:
Genetic Improvement @ ICSE 2020. CoRR abs/2007.15987 (2020) - [i5]Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering. CoRR abs/2008.02164 (2020) - [i4]Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras:
Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. CoRR abs/2008.03995 (2020)
2010 – 2019
- 2019
- [c19]Hasan Ferit Eniser, Simos Gerasimou, Alper Sen:
DeepFault: Fault Localization for Deep Neural Networks. FASE 2019: 171-191 - [c18]Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli:
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion 2019: 3-4 - [c17]Mirko D'Angelo, Simos Gerasimou, Sona Ghahremani, Johannes Grohmann, Ingrid Nunes, Evangelos Pournaras, Sven Tomforde:
On learning in collective self-adaptive systems: state of practice and a 3D framework. SEAMS@ICSE 2019: 13-24 - [c16]Simos Gerasimou, Nicholas Matragkas, Radu Calinescu:
Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE 2019: 25-28 - [i3]Hasan Ferit Eniser, Simos Gerasimou, Alper Sen:
DeepFault: Fault Localization for Deep Neural Networks. CoRR abs/1902.05974 (2019) - [i2]Simos Gerasimou, Thomas Vogel, Ada Diaconescu:
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. CoRR abs/1904.01518 (2019) - 2018
- [j5]Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli:
Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25(4): 785-831 (2018) - [j4]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018) - [j3]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145: 195 (2018) - [j2]Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c15]Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige:
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA 2018: 12-27 - [c14]Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios:
On Software Modernisation due to Library Obsolescence. WAPI@ICSE 2018: 6-9 - [c13]Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly:
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE 2018: 495 - [c12]Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou:
On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) 2018: 56-61 - 2017
- [j1]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. 3(1): 03:1-03:2 (2017) - [c11]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c10]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE 2017: 83-89 - [c9]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [c8]Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish:
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops 2017: 385-393 - [p1]Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i1]Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR abs/1703.06350 (2017) - 2016
- [b1]Simos Gerasimou:
Runtime quantitative verification of self-adaptive systems. University of York, UK, 2016 - 2015
- [c7]Radu Calinescu, Simos Gerasimou, Alec Banks:
Self-adaptive Software with Decentralised Control Loops. FASE 2015: 235-251 - [c6]Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu:
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE 2015: 319-330 - 2014
- [c5]Simos Gerasimou, Radu Calinescu, Alec Banks:
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: 115-124 - 2013
- [c4]Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson:
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems 2013: 223-248 - [c3]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov:
Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS 2013: 1-5 - 2012
- [c2]Simos Gerasimou, Constantinos Stylianou, Andreas S. Andreou:
An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. ICEIS (2) 2012: 168-171 - [c1]Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou:
A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. ICTAI 2012: 277-284
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
