


default search action
Yliès Falcone
Person information
- affiliation: Univ. Grenoble Alpes, CNRS, Inria, Grenoble INP, LIG, 38000 Grenoble, France
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Saumya Shankar
, Ankit Pradhan
, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone:
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62(1): 141-180 (2024) - [j32]Irman Faqrizal
, Gwen Salaün
, Yliès Falcone
:
Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 19(4): 24:1-24:31 (2024) - [c93]Irman Faqrizal, Gwen Salaün, Yliès Falcone:
Guided Evolution of IEC 61499 Applications. ETFA 2024: 1-8 - [c92]Yliès Falcone
, Gwen Salaün
, Ahang Zuo
:
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE 2024: 56-76 - [c91]Ennio Visconti
, Ezio Bartocci
, Yliès Falcone
, Laura Nenzi
:
Adaptable Configuration of Decentralized Monitors. FORTE 2024: 197-217 - [c90]Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone:
Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. ICST 2024: 341-352 - [c89]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. QRS 2024: 689-700 - [i19]Chukri Soueidi, Yliès Falcone:
Sound Concurrent Traces for Online Monitoring Technical Report. CoRR abs/2402.18391 (2024) - 2023
- [j31]Chukri Soueidi, Marius Monnier, Yliès Falcone:
Efficient and expressive bytecode-level instrumentation for Java programs. Int. J. Softw. Tools Technol. Transf. 25(4): 453-479 (2023) - [c88]Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. AITest 2023: 40-48 - [c87]Chukri Soueidi, Yliès Falcone, Sylvain Hallé:
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. EDOC Workshops 2023: 247-264 - [c86]Chukri Soueidi
, Antoine El-Hokayem
, Yliès Falcone
:
Opportunistic Monitoring of Multithreaded Programs. FASE 2023: 173-194 - [c85]Sylvain Hallé, Chukri Soueidi, Yliès Falcone:
Leveraging Runtime Verification for the Monitoring of Digital Twins. FMDT@FM 2023 - [c84]Chukri Soueidi, Yliès Falcone, Sylvain Hallé:
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. ISSRE 2023: 742-751 - [c83]Changshun Wu
, Yliès Falcone
, Saddek Bensalem
:
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV 2023: 23-41 - [c82]Chukri Soueidi
, Yliès Falcone
:
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV 2023: 327-338 - [c81]Chukri Soueidi
, Yliès Falcone
:
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV 2023: 403-427 - [c80]Chukri Soueidi
, Yliès Falcone
:
Sound Concurrent Traces for Online Monitoring. SPIN 2023: 59-80 - [c79]Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. AISoLA 2023: 77-93 - 2022
- [j30]Antoine El-Hokayem, Yliès Falcone:
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. Int. J. Softw. Tools Technol. Transf. 24(2): 159-181 (2022) - [c78]Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem:
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest 2022: 64-71 - [c77]Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo:
WEASY: A Tool for Modelling Optimised BPMN Processes. FACS 2022: 110-118 - [c76]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Model Checking of BPMN Processes at Runtime. IFM 2022: 191-208 - [c75]Irman Faqrizal
, Gwen Salaün
, Yliès Falcone
:
Probabilistic Analysis of Industrial IoT Applications. IOT 2022: 41-48 - [c74]Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider:
Runtime Verification of Kotlin Coroutines. RV 2022: 221-239 - [c73]Florian Gallay, Yliès Falcone:
Decent: A Benchmark for Decentralized Enforcement. RV 2022: 293-303 - [c72]Chukri Soueidi
, Yliès Falcone:
Capturing program models with BISM. SAC 2022: 1857-1861 - [c71]Yliès Falcone, Irman Faqrizal
, Gwen Salaün:
Runtime Enforcement for IEC 61499 Applications. SEFM 2022: 352-368 - [c70]Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. SPIN 2022: 114-133 - [c69]Victor Roussanaly, Yliès Falcone:
Decentralised Runtime Verification of Timed Regular Expressions. TIME 2022: 6:1-6:18 - [c68]Chukri Soueidi
, Yliès Falcone
:
Residual Runtime Verification via Reachability Analysis. VSTTE 2022: 148-166 - [c67]Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo:
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS 2022: 3-21 - 2021
- [j29]Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
:
A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. 23(2): 255-284 (2021) - [c66]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Semi-automated Modelling of Optimized BPMN Processes. SCC 2021: 425-430 - [c65]Yliès Falcone
, Hosein Nazarpour, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. FACS 2021: 153-173 - [c64]Yliès Falcone, Gwen Salaün:
Runtime Enforcement with Reordering, Healing, and Suppression. SEFM 2021: 47-65 - [c63]Yliès Falcone:
On Decentralized Monitoring. VECoS 2021: 1-16 - [c62]Florian Gallay, Yliès Falcone:
Decentralized LTL Enforcement. GandALF 2021: 135-151 - [e4]Ezio Bartocci
, Yliès Falcone
, Martin Leucker:
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9 [contents] - [i18]Changshun Wu, Yliès Falcone, Saddek Bensalem:
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes. CoRR abs/2104.14435 (2021) - [i17]Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone:
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. CoRR abs/2106.01115 (2021) - 2020
- [j28]Matthieu Renard, Antoine Rollet
, Yliès Falcone:
Runtime enforcement of timed properties using games. Formal Aspects Comput. 32(2-3): 315-360 (2020) - [j27]Mohamad Jaber, Yliès Falcone, Paul C. Attie
, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
:
From global choreographies to verifiable efficient distributed implementations. J. Log. Algebraic Methods Program. 115: 100577 (2020) - [j26]Yliès Falcone, Leonardo Mariani:
Preface to the special section on improving software quality through formal methods. Softw. Qual. J. 28(2): 693-694 (2020) - [j25]Antoine El-Hokayem, Yliès Falcone
:
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Trans. Softw. Eng. Methodol. 29(1): 1:1-1:57 (2020) - [c61]Chukri Soueidi
, Ali Kassem, Yliès Falcone:
BISM: Bytecode-Level Instrumentation for Software Monitoring. RV 2020: 323-335 - [i16]Chukri Soueidi, Ali Kassem, Yliès Falcone:
BISM: Bytecode-Level Instrumentation for Software Monitoring. CoRR abs/2007.03936 (2020)
2010 – 2019
- 2019
- [j24]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic
, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel
, Alexander Weiss
:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j23]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [j22]Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron
, Hervé Marchand:
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29(1): 169-214 (2019) - [j21]Ezio Bartocci
, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo
, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger
, Grigore Rosu, Julien Signoles
, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [j20]Fadi A. Zaraket
, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone:
From high-level modeling toward efficient and trustworthy circuits. Int. J. Softw. Tools Technol. Transf. 21(2): 143-163 (2019) - [c60]Ali Kassem, Yliès Falcone:
Detecting Fault Injection Attacks with Runtime Verification. SPRO@CCS 2019: 65-76 - [c59]Yliès Falcone, Srinivas Pinisetty:
On the Runtime Enforcement of Timed Properties. RV 2019: 48-69 - [c58]Ezio Bartocci
, Yliès Falcone, Giles Reger
:
International Competition on Runtime Verification (CRV). TACAS (3) 2019: 41-49 - [i15]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i14]Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal:
From Global Choreographies to Provably Correct and Efficient Distributed Implementations. CoRR abs/1905.13529 (2019) - [i13]Ali Kassem, Yliès Falcone:
Detecting Fault Injection Attacks with Runtime Verification. CoRR abs/1907.03309 (2019) - 2018
- [j19]Yliès Falcone
, César Sánchez:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 53(1): 1-5 (2018) - [j18]Sylvain Hallé
, Raphaël Khoury, Quentin Betti
, Antoine El-Hokayem
, Yliès Falcone:
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74(Part): 117-135 (2018) - [j17]Antoine El-Hokayem
, Yliès Falcone, Mohamad Jaber:
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. J. Log. Algebraic Methods Program. 99: 143-177 (2018) - [j16]Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab
, John Abou-Jaoudeh, Mostafa El-Katerji:
A high-level modeling language for the efficient design, implementation, and testing of Android applications. Int. J. Softw. Tools Technol. Transf. 20(1): 1-18 (2018) - [c57]Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone:
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM 2018: 255-274 - [c56]Ezio Bartocci
, Yliès Falcone:
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). ISoLA (4) 2018: 3-8 - [c55]Christian Colombo
, Yliès Falcone, Martin Leucker
, Giles Reger
, César Sánchez, Gerardo Schneider, Volker Stolz
:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c54]Yliès Falcone:
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. RV 2018: 27-32 - [c53]Antoine El-Hokayem, Yliès Falcone:
Can We Monitor All Multithreaded Programs? RV 2018: 64-89 - [c52]Antoine El-Hokayem, Yliès Falcone:
Bringing Runtime Verification Home. RV 2018: 222-240 - [c51]Yliès Falcone, Srdan Krstic
, Giles Reger
, Dmitriy Traytel
:
A Taxonomy for Classifying Runtime Verification Tools. RV 2018: 241-262 - [c50]Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. RV 2018: 417-425 - [p4]Ezio Bartocci
, Yliès Falcone
, Adrian Francalanza
, Giles Reger
:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p3]Yliès Falcone
, Leonardo Mariani
, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. Lectures on Runtime Verification 2018: 103-134 - [e3]Ezio Bartocci, Yliès Falcone:
Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457, Springer 2018, ISBN 978-3-319-75631-8 [contents] - [i12]Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber:
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework. CoRR abs/1805.08406 (2018) - [i11]Antoine El-Hokayem, Yliès Falcone:
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation. CoRR abs/1808.02692 (2018) - [i10]Antoine El-Hokayem, Yliès Falcone:
Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes. CoRR abs/1808.05487 (2018) - [i9]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j15]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29(6): 951-986 (2017) - [j14]Ali Kassem, Yliès Falcone, Pascal Lafourcade
:
Formal analysis and offline monitoring of electronic exams. Formal Methods Syst. Des. 51(1): 117-153 (2017) - [j13]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j12]Srinivas Pinisetty
, Thierry Jéron
, Stavros Tripakis
, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [j11]Yliès Falcone, Mohamad Jaber
:
Fully automated runtime enforcement of component-based systems with formal and sound recovery. Int. J. Softw. Tools Technol. Transf. 19(3): 341-365 (2017) - [c49]Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone:
User-based Load Balancer in HBase. CLOSER 2017: 364-368 - [c48]Raphaël Jakse, Yliès Falcone, Jean-François Méhaut
, Kevin Pouget:
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. ISSRE 2017: 182-193 - [c47]Antoine El-Hokayem
, Yliès Falcone:
Monitoring decentralized specifications. ISSTA 2017: 125-135 - [c46]Antoine El-Hokayem
, Yliès Falcone:
THEMIS: a tool for decentralized monitoring algorithms. ISSTA 2017: 372-375 - [c45]Matthieu Renard, Antoine Rollet, Yliès Falcone:
GREP: Games for the Runtime Enforcement of Properties. ICTSS 2017: 259-275 - [c44]Oliviero Riganelli
, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. RV 2017: 241-258 - [c43]Matthieu Renard, Antoine Rollet, Yliès Falcone:
Runtime enforcement using Büchi games. SPIN 2017: 70-79 - [i8]Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. CoRR abs/1705.05242 (2017) - [i7]Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget:
Interactive Runtime Verification. CoRR abs/1705.05315 (2017) - [i6]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. CoRR abs/1707.07473 (2017) - 2016
- [j10]Andreas Bauer, Yliès Falcone:
Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1-2): 46-93 (2016) - [j9]Christian Colombo
, Yliès Falcone:
Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. 49(1-2): 109-158 (2016) - [j8]Yliès Falcone, Thierry Jéron
, Hervé Marchand, Srinivas Pinisetty
:
Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123: 2-41 (2016) - [c42]Sylvain Hallé
, Raphaël Khoury, Antoine El-Hokayem
, Yliès Falcone:
Decentralized Enforcement of Artifact Lifecycles. EDOC 2016: 1-10 - [c41]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159 - [c40]Ezio Bartocci
, Yliès Falcone:
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). ISoLA (2) 2016: 333-338 - [c39]Christian Colombo
, Yliès Falcone:
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. RV 2016: 17-20 - [c38]Giles Reger
, Sylvain Hallé
, Yliès Falcone:
Third International Competition on Runtime Verification - CRV 2016. RV 2016: 21-37 - [c37]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c36]Antoine El-Hokayem
, Yliès Falcone, Mohamad Jaber:
Modularizing Crosscutting Concerns in Component-Based Systems. SEFM 2016: 367-385 - [e2]Yliès Falcone, César Sánchez:
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2 [contents] - [i5]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR abs/1612.06154 (2016) - 2015
- [j7]Yliès Falcone, Hervé Marchand:
Enforcement and validation (at runtime) of various notions of opacity. Discret. Event Dyn. Syst. 25(4): 531-570 (2015) - [j6]Yliès Falcone, Mohamad Jaber
, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1): 173-199 (2015) - [j5]Yliès Falcone, Lenore D. Zuck:
Runtime verification: the application perspective. Int. J. Softw. Tools Technol. Transf. 17(2): 121-123 (2015) - [c35]Selma Saidi, Yliès Falcone:
Dynamic Detection and Mitigation of DMA Races in MPSoCs. DSD 2015: 267-270 - [c34]Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty
, Thierry Jéron
, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015: 542-560 - [c33]Ali Kassem, Yliès Falcone, Pascal Lafourcade
:
Monitoring Electronic Exams. RV 2015: 118-135 - [c32]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand:
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV 2015: 306-320 - [c31]Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu:
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV 2015: 342-357 - [c30]Yliès Falcone, Dejan Nickovic, Giles Reger
, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. RV 2015: 405-422 - [c29]Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
:
Runtime enforcement for component-based systems. SAC 2015: 1789-1796 - [c28]Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez:
Runtime-behavior based malware classification using online machine learning. WorldCIS 2015: 166-171 - [i4]John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber:
A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications. CoRR abs/1508.02153 (2015) - 2014
- [j4]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
:
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45(3): 381-422 (2014) - [c27]Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez:
Efficient and Generalized Decentralized Monitoring of Regular Languages. FORTE 2014: 66-83 - [c26]Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk:
Blocking Advertisements on Android Devices Using Monitoring Techniques. ISoLA (2) 2014: 239-253 - [c25]Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone:
First International Competition on Software for Runtime Verification. RV 2014: 1-9 - [c24]Christian Colombo, Yliès Falcone:
Organising LTL Monitors over Distributed Systems with a Global Clock. RV 2014: 140-155 - [c23]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand:
Runtime enforcement of regular timed properties. SAC 2014: 1279-1286 - [c22]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand:
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES 2014: 420-427 - [p2]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
On the Expressiveness of some Runtime Validation Techniques. HOWARD-60 2014: 112-123 - [i3]Tom Cornebize, Yliès Falcone:
Efficient and Generalized Decentralized Monitoring of Regular Languages. CoRR abs/1402.3821 (2014) - [i2]Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber:
Runtime Enforcement for Component-Based Systems. CoRR abs/1406.5708 (2014) - 2013
- [c21]Yliès Falcone, Hervé Marchand:
Runtime enforcement of K-step opacity. CDC 2013: 7271-7278 - [c20]Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet:
Compressing Microcontroller Execution Traces to Assist System Analysis. IESS 2013: 139-150 - [c19]Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet:
Fault localization in embedded software based on a single cyclic trace. ISSRE 2013: 148-157 - [p1]Yliès Falcone, Klaus Havelund, Giles Reger:
A Tutorial on Runtime Verification. Engineering Dependable Software Systems 2013: 141-175 - 2012
- [j3]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. 14(3): 349-382 (2012) - [j2]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron
, Hervé Marchand, Laurent Mounier:
More testable properties. Int. J. Softw. Tools Technol. Transf. 14(4): 407-437 (2012) - [c18]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger
, David E. Rydeheard:
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84 - [c17]Andreas Klaus Bauer, Yliès Falcone:
Decentralised LTL Monitoring. FM 2012: 85-100 - [c16]Jan Olaf Blech
, Yliès Falcone, Klaus Becker:
Towards Certified Runtime Verification. ICFEM 2012: 494-509 - [c15]Yliès Falcone, Lenore D. Zuck:
Runtime Verification: The Application Perspective. ISoLA (1) 2012: 284-291 - [c14]Jan Olaf Blech
, Yliès Falcone, Harald Rueß, Bernhard Schätz:
Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) 2012: 405-419 - [c13]Yliès Falcone, Sebastian Currea:
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. ASE 2012: 350-353 - [c12]Yliès Falcone, Sebastian Currea, Mohamad Jaber:
Runtime Verification and Enforcement for Android Applications with RV-Droid. RV 2012: 88-95 - [c11]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
:
Runtime Enforcement of Timed Properties. RV 2012: 229-244 - 2011
- [j1]Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38(3): 223-262 (2011) - [c10]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems. SEFM 2011: 204-220 - [i1]Andreas Bauer, Yliès Falcone:
Decentralised LTL Monitoring. CoRR abs/1111.5133 (2011) - 2010
- [c9]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron
, Hervé Marchand, Laurent Mounier:
More Testable Properties. ICTSS 2010: 30-46 - [c8]Yliès Falcone:
You Should Better Enforce Than Verify. RV 2010: 89-105 - [c7]Yliès Falcone, Mohamad Jaber:
Towards Automatic Integration of Or-BAC Security Policies Using Aspects. Software Engineering Research and Practice 2010: 495-499 - [e1]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace
, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents]
2000 – 2009
- 2009
- [b1]Yliès Falcone:
Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques). Joseph Fourier University, Grenoble, France, 2009 - [c6]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Runtime Verification of Safety-Progress Properties. RV 2009: 40-59 - [c5]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600 - 2008
- [c4]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55 - [c3]Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing. MBT@ETAPS 2008: 29-41 - 2007
- [c2]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122 - 2006
- [c1]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69
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 2025-03-04 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint