A survey of challenges for runtime verification from advanced application domains (beyond software)
2019 · Chalmers Research (Chalmers University of Technology) · 95 citations
https://doi.org/10.1007/s10703-019-00337-w
Y
Ylìès Falcone
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
189
Papers
2.9K
Citations
28
h-index
59
i10-index
Ylìès Falcone is an academic researcher from Institut polytechnique de Grenoble. The author has contributed to research in topics: Formal Methods in Verification & Software Testing and Debugging Techniques & Advanced Software Engineering Methodologies. The author has an h-index of 28, co-authored 161 publications.
ORCID: 0000-0002-0114-0641Papers by this author
worksOpportunistic Monitoring of Multithreaded Programs
2023 · Lecture notes in computer science · 5 citations
https://doi.org/10.1007/978-3-031-30826-0_10
Towards Automatic Integration Of Or-BAC Security Policies Using Aspects
2010 · HAL (Le Centre pour la Communication Scientifique Directe) · 2 citations
A survey of challenges for runtime verification from advanced application domains (beyond software)
2019 · Formal Methods in System Design · 1 citations
https://doi.org/10.1007/s10703-019-00337-w
Probabilistic Runtime Enforcement of Executable BPMN Processes
2024 · Lecture notes in computer science · 1 citations
https://doi.org/10.1007/978-3-031-57259-3_3
Residual Runtime Verification via Reachability Analysis
2022 · HAL (Le Centre pour la Communication Scientifique Directe) · 0 citations
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat