Yli\`es Falcone

Identifiers

No identifiers captured yet.

Papers (10)

1. From Global Choreographies to Provably Correct and Efficient Distributed Implementations cs.DC · 2019 · author #2
2. COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1 cs.SE · 2019 · author #4
3. On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation cs.SE · 2018 · author #2
4. Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework cs.SE · 2018 · author #2
5. Interactive Runtime Verification cs.SE · 2017 · author #2
6. Monitoring Distributed Component-Based Systems cs.SE · 2017 · author #2
7. Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems cs.SE · 2016 · author #2
8. A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications cs.SE · 2015 · author #4
9. Runtime Enforcement for Component-Based Systems cs.SE · 2014 · author #3
10. Efficient and Generalized Decentralized Monitoring of Regular Languages cs.SE · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Mohamad Jaber 5 shared papers
• Antoine El-Hokayem 2 shared papers
• Hosein Nazarpour 2 shared papers
• Marius Bozga 2 shared papers
• Saddek Bensalem 2 shared papers
• Al-Abbass Khalil 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Christian Colombo 1 shared papers
• Cyrille Artho 1 shared papers
• Florian Lorber 1 shared papers
• Gerardo Schneider 1 shared papers
• Hadil Charafeddine 1 shared papers
• Jean-Fran\c{c}ois M\'ehaut 1 shared papers
• Joao Louren\c{c}o 1 shared papers
• John Abou-Jaoudeh 1 shared papers
• Kevin Pouget 1 shared papers
• Khalil El-Harake 1 shared papers
• Kinan Dak-Al-Bab 1 shared papers
• Leonardo Mariani 1 shared papers
• Martin Leucker 1 shared papers