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
Y
Yliè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.
4
Papers
16
Citations
1
h-index
1
i10-index
Yliès Falcone is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & Advanced Database Systems and Queries & Advanced Software Engineering Methodologies. The author has an h-index of 1, co-authored 4 publications.
Papers by this author
worksRuntime enforcement monitors: composition, synthesis, and enforcement abilities,” Formal Meth
2011 · 0 citations
Opportunistic Monitoring of Multithreaded Programs
2023 · Lecture notes in computer science · 5 citations
https://doi.org/10.1007/978-3-031-30826-0_10
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
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat