default search action
Simos 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
- [c43]Daniel Bethell, Simos Gerasimou, Radu Calinescu:
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI 2024: 20939-20948 - [c42]Pandelis Kriadis, Simos Gerasimou:
REBA: Robotic Emotional-Based Awareness. ACSOS 2024: 61-70 - [c41]Vladislav Nenchev
, Calum Imrie
Code-Level Safety Verification for Automated Driving: A Case Study. FM (2) 2024: 356-372 - [c40]Ionut Predoaia
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. MODELS 2024: 80-91 - [c39]Javier Cámara
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
Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. 156: 107143 (2023) - [j10]Danny Weyns, Radu Calinescu, Raffaela Mirandola
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
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
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
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR abs/2308.09647 (2023) - 2022
- [c34]Fabio Arnez
Skeptical Dynamic Dependability Management for Automated Systems. DSD 2022: 118-125 - [c33]Guillaume Ollier
Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC 2022: 109-112 - [c32]Sorour Jahanbin, Dimitris S. Kolovos
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
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
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE 2021: 842-853 - [c28]Ioannis Stefanakos
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
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS 2021: 331-341 - [e1]Ibrahim Habli
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
Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 45(4): 24-30 (2020) - [j6]Ran Wei
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
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
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE 2020: 163-174 - [c21]Sorour Jahanbin, Dimitris S. Kolovos
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
DeepFault: Fault Localization for Deep Neural Networks. FASE 2019: 171-191 - [c18]Radu Calinescu, Danny Weyns
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
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. CoRR abs/1904.01518 (2019) - 2018
- [j5]Simos Gerasimou
Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25(4): 785-831 (2018) - [j4]Radu Calinescu
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018) - [j3]Radu Calinescu, Milan Ceska
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
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c15]Athanasios Zolotas
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA 2018: 12-27 - [c14]Simos Gerasimou, Maria Kechagia
On Software Modernisation due to Library Obsolescence. WAPI@ICSE 2018: 6-9 - [c13]Radu Calinescu, Danny Weyns
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
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
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [c8]Simos Gerasimou, Dimitris S. Kolovos
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops 2017: 385-393 - [p1]Radu Calinescu
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i1]Radu Calinescu
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
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
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: 115-124 - 2013
- [c4]Radu Calinescu, Simos Gerasimou, Kenneth Johnson
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
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-12-15 02:19 CET 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: