Yliès Falcone

154 papers A* 1A 6B 40C 12Misc 6Journal 52Unranked 30
YearRankTypeTitle / Venue / Authors
2024 C conf
Adaptable Configuration of Decentralized Monitors.
FORTE
Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi
2024 J jnl
Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement.
ACM Trans. Auton. Adapt. Syst.
Irman Faqrizal, Gwen Salaün, Yliès Falcone
2024 J jnl
Bounded-memory runtime enforcement with probabilistic and performance analysis.
Formal Methods Syst. Des.
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
2024 C conf
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics.
QRS
Yliès Falcone, Gwen Salaün, Ahang Zuo
2024 C conf
Guided Evolution of IEC 61499 Applications.
ETFA
Irman Faqrizal, Gwen Salaün, Yliès Falcone
2024 B conf
Probabilistic Runtime Enforcement of Executable BPMN Processes.
FASE
Yliès Falcone, Gwen Salaün, Ahang Zuo
2024 J jnl
Sound Concurrent Traces for Online Monitoring Technical Report.
CoRR
Chukri Soueidi, Yliès Falcone
2024 A conf
Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts.
ICST
Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone
2023 B conf
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM.
RV
Chukri Soueidi, Yliès Falcone
2023 B conf
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes.
RV
Changshun Wu, Yliès Falcone, Saddek Bensalem
2023 — conf
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes.
AISoLA
Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
2023 — conf
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems.
AITest
Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
2023 A conf
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing.
ISSRE
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
2023 J jnl
Efficient and expressive bytecode-level instrumentation for Java programs.
Int. J. Softw. Tools Technol. Transf.
Chukri Soueidi, Marius Monnier, Yliès Falcone
2023 B conf
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases.
RV
Chukri Soueidi, Yliès Falcone
2023 — conf
Leveraging Runtime Verification for the Monitoring of Digital Twins.
FMDT@FM
Sylvain Hallé, Chukri Soueidi, Yliès Falcone
2023 — conf
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing.
EDOC Workshops
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
2023 B conf
Opportunistic Monitoring of Multithreaded Programs.
FASE
Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone
2023 — conf
Sound Concurrent Traces for Online Monitoring.
SPIN
Chukri Soueidi, Yliès Falcone
2022 — conf
Bounded-Memory Runtime Enforcement.
SPIN
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
2022 J jnl
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications.
Int. J. Softw. Tools Technol. Transf.
Antoine El-Hokayem, Yliès Falcone
2022 Misc conf
Capturing program models with BISM.
SAC
Chukri Soueidi, Yliès Falcone
2022 B conf
Decent: A Benchmark for Decentralized Enforcement.
RV
Florian Gallay, Yliès Falcone
2022 C conf
Decentralised Runtime Verification of Timed Regular Expressions.
TIME
Victor Roussanaly, Yliès Falcone
2022 — conf
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks.
AITest
Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem
2022 — conf
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.
WRLA
Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
2022 — conf
Probabilistic Analysis of Industrial IoT Applications.
IOT
Irman Faqrizal, Gwen Salaün, Yliès Falcone
2022 B conf
Probabilistic Model Checking of BPMN Processes at Runtime.
IFM
Yliès Falcone, Gwen Salaün, Ahang Zuo
2022 — conf
Residual Runtime Verification via Reachability Analysis.
VSTTE
Chukri Soueidi, Yliès Falcone
2022 B conf
Runtime Enforcement for IEC 61499 Applications.
SEFM
Yliès Falcone, Irman Faqrizal, Gwen Salaün
2022 B conf
Runtime Verification of Kotlin Coroutines.
RV
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
2022 — conf
WEASY: A Tool for Modelling Optimised BPMN Processes.
FACS
Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
2021 J jnl
A taxonomy for classifying runtime verification tools.
Int. J. Softw. Tools Technol. Transf.
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
2021 J jnl
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes.
CoRR
Changshun Wu, Yliès Falcone, Saddek Bensalem
2021 — conf
Decentralized LTL Enforcement.
GandALF
Florian Gallay, Yliès Falcone
2021 J jnl
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs.
CoRR
Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone
2021 — ed.
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone, Martin Leucker
2021 — conf
Monitoring Distributed Component-Based Systems.
FACS
Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
2021 C conf
On Decentralized Monitoring.
VECoS
Yliès Falcone
2021 B conf
Runtime Enforcement with Reordering, Healing, and Suppression.
SEFM
Yliès Falcone, Gwen Salaün
2021 — conf
Semi-automated Modelling of Optimized BPMN Processes.
SCC
Yliès Falcone, Gwen Salaün, Ahang Zuo
2020 B conf
BISM: Bytecode-Level Instrumentation for Software Monitoring.
RV
Chukri Soueidi, Ali Kassem, Yliès Falcone
2020 J jnl
BISM: Bytecode-Level Instrumentation for Software Monitoring.
CoRR
Chukri Soueidi, Ali Kassem, Yliès Falcone
2020 J jnl
From global choreographies to verifiable efficient distributed implementations.
J. Log. Algebraic Methods Program.
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
2020 J jnl
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
ACM Trans. Softw. Eng. Methodol.
Antoine El-Hokayem, Yliès Falcone
2020 J jnl
Preface to the special section on improving software quality through formal methods.
Softw. Qual. J.
Yliès Falcone, Leonardo Mariani
2020 J jnl
Runtime enforcement of timed properties using games.
Formal Aspects Comput.
Matthieu Renard, Antoine Rollet, Yliès Falcone
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
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
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
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
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
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
2019 — conf
Detecting Fault Injection Attacks with Runtime Verification.
SPRO@CCS
Ali Kassem, Yliès Falcone
2019 J jnl
Detecting Fault Injection Attacks with Runtime Verification.
CoRR
Ali Kassem, Yliès Falcone
2019 J jnl
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf.
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
2019 J jnl
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal
2019 J jnl
From high-level modeling toward efficient and trustworthy circuits.
Int. J. Softw. Tools Technol. Transf.
Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone
2019 — conf
International Competition on Runtime Verification (CRV).
TACAS (3)
Ezio Bartocci, Yliès Falcone, Giles Reger
2019 B conf
On the Runtime Enforcement of Timed Properties.
RV
Yliès Falcone, Srinivas Pinisetty
2019 J jnl
Optimal enforcement of (timed) properties with uncontrollable events.
Math. Struct. Comput. Sci.
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
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
2018 B conf
A Taxonomy for Classifying Runtime Verification Tools.
RV
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
2018 J jnl
A high-level modeling language for the efficient design, implementation, and testing of Android applications.
Int. J. Softw. Tools Technol. Transf.
Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji
2018 J jnl
Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes.
CoRR
Antoine El-Hokayem, Yliès Falcone
2018 B conf
Bringing Runtime Verification Home.
RV
Antoine El-Hokayem, Yliès Falcone
2018 B conf
COST Action IC1402 Runtime Verification Beyond Monitoring.
RV
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018 B conf
Can We Monitor All Multithreaded Programs?
RV
Antoine El-Hokayem, Yliès Falcone
2018 J jnl
Decentralized enforcement of document lifecycle constraints.
Inf. Syst.
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
2018 B conf
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.
IFM
Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
2018 — ch.
Introduction to Runtime Verification.
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
2018 J jnl
Introduction to the special issue on runtime verification.
Formal Methods Syst. Des.
Yliès Falcone, César Sánchez
2018 — book
Lectures on Runtime Verification - Introductory and Advanced Topics
Ezio Bartocci, Yliès Falcone
2018 J jnl
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework.
CoRR
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
2018 J jnl
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.
J. Log. Algebraic Methods Program.
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
2018 J jnl
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation.
CoRR
Antoine El-Hokayem, Yliès Falcone
2018 — conf
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).
ISoLA (4)
Ezio Bartocci, Yliès Falcone
2018 — ch.
Runtime Failure Prevention and Reaction.
Lectures on Runtime Verification
Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
2018 B conf
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections.
RV
Yliès Falcone
2018 B conf
Tracing Distributed Component-Based Systems, a Brief Overview.
RV
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
2017 J jnl
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.
Formal Aspects Comput.
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
2017 J jnl
Formal analysis and offline monitoring of electronic exams.
Formal Methods Syst. Des.
Ali Kassem, Yliès Falcone, Pascal Lafourcade
2017 J jnl
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
Int. J. Softw. Tools Technol. Transf.
Yliès Falcone, Mohamad Jaber
2017 C conf
GREP: Games for the Runtime Enforcement of Properties.
ICTSS
Matthieu Renard, Antoine Rollet, Yliès Falcone
2017 A conf
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.
ISSRE
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
2017 J jnl
Interactive Runtime Verification.
CoRR
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
2017 J jnl
Monitoring Distributed Component-Based Systems.
CoRR
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
2017 A conf
Monitoring decentralized specifications.
ISSTA
Antoine El-Hokayem, Yliès Falcone
2017 J jnl
Predictive runtime enforcement.
Formal Methods Syst. Des.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2017 J jnl
Predictive runtime verification of timed properties.
J. Syst. Softw.
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
2017 — conf
Runtime enforcement using Büchi games.
SPIN
Matthieu Renard, Antoine Rollet, Yliès Falcone
2017 A conf
THEMIS: a tool for decentralized monitoring algorithms.
ISSTA
Antoine El-Hokayem, Yliès Falcone
2017 C conf
User-based Load Balancer in HBase.
CLOSER
Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone
2017 B conf
Verifying Policy Enforcers.
RV
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
2017 J jnl
Verifying Policy Enforcers.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
2016 J jnl
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems.
CoRR
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
2016 J jnl
Decentralised LTL monitoring.
Formal Methods Syst. Des.
Andreas Bauer, Yliès Falcone
2016 B conf
Decentralized Enforcement of Artifact Lifecycles.
EDOC
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone
2016 B conf
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.
RV
Christian Colombo, Yliès Falcone
2016 B conf
Modularizing Crosscutting Concerns in Component-Based Systems.
SEFM
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
2016 B conf
Monitoring Multi-threaded Component-Based Systems.
IFM
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
2016 J jnl
Organising LTL monitors over distributed systems with a global clock.
Formal Methods Syst. Des.
Christian Colombo, Yliès Falcone
2016 Misc conf
Predictive runtime enforcement.
SAC
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2016 B ed.
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
RV
Yliès Falcone, César Sánchez
2016 — conf
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
ISoLA (2)
Ezio Bartocci, Yliès Falcone
2016 J jnl
Runtime enforcement of regular timed properties by suppressing and delaying events.
Sci. Comput. Program.
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
2016 B conf
Third International Competition on Runtime Verification - CRV 2016.
RV
Giles Reger, Sylvain Hallé, Yliès Falcone
2015 J jnl
A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications.
CoRR
John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber
2015 C conf
Dynamic Detection and Mitigation of DMA Races in MPSoCs.
DSD
Selma Saidi, Yliès Falcone
2015 J jnl
Enforcement and validation (at runtime) of various notions of opacity.
Discret. Event Dyn. Syst.
Yliès Falcone, Hervé Marchand
2015 C conf
Enforcement of (Timed) Properties with Uncontrollable Events.
ICTAC
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
2015 B conf
Monitoring Electronic Exams.
RV
Ali Kassem, Yliès Falcone, Pascal Lafourcade
2015 B conf
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
RV
Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu
2015 Misc conf
Runtime enforcement for component-based systems.
SAC
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
2015 J jnl
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.
Softw. Syst. Model.
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2015 J jnl
Runtime verification: the application perspective.
Int. J. Softw. Tools Technol. Transf.
Yliès Falcone, Lenore D. Zuck
2015 — conf
Runtime-behavior based malware classification using online machine learning.
WorldCIS
Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez
2015 B conf
Second International Competition on Runtime Verification CRV 2015.
RV
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
2015 B conf
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.
RV
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
2014 — conf
Blocking Advertisements on Android Devices Using Monitoring Techniques.
ISoLA (2)
Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk
2014 C conf
Efficient and Generalized Decentralized Monitoring of Regular Languages.
FORTE
Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez
2014 J jnl
Efficient and Generalized Decentralized Monitoring of Regular Languages.
CoRR
Tom Cornebize, Yliès Falcone
2014 B conf
First International Competition on Software for Runtime Verification.
RV
Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone
2014 — ch.
On the Expressiveness of some Runtime Validation Techniques.
HOWARD-60
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2014 B conf
Organising LTL Monitors over Distributed Systems with a Global Clock.
RV
Christian Colombo, Yliès Falcone
2014 J jnl
Runtime Enforcement for Component-Based Systems.
CoRR
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
2014 — conf
Runtime Enforcement of Parametric Timed Properties with Practical Applications.
WODES
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
2014 Misc conf
Runtime enforcement of regular timed properties.
SAC
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
2014 J jnl
Runtime enforcement of timed properties revisited.
Formal Methods Syst. Des.
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
2013 — ch.
A Tutorial on Runtime Verification.
Engineering Dependable Software Systems
Yliès Falcone, Klaus Havelund, Giles Reger
2013 — conf
Compressing Microcontroller Execution Traces to Assist System Analysis.
IESS
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
2013 A conf
Fault localization in embedded software based on a single cyclic trace.
ISSRE
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
2013 — conf
Runtime enforcement of K-step opacity.
CDC
Yliès Falcone, Hervé Marchand
2012 — conf
Behavioral Specification Based Runtime Monitors for OSGi Services.
ISoLA (1)
Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
2012 B conf
Decentralised LTL Monitoring.
FM
Andreas Klaus Bauer, Yliès Falcone
2012 J jnl
More testable properties.
Int. J. Softw. Tools Technol. Transf.
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
2012 B conf
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.
FM
Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
2012 B conf
Runtime Enforcement of Timed Properties.
RV
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
2012 B conf
Runtime Verification and Enforcement for Android Applications with RV-Droid.
RV
Yliès Falcone, Sebastian Currea, Mohamad Jaber
2012 — conf
Runtime Verification: The Application Perspective.
ISoLA (1)
Yliès Falcone, Lenore D. Zuck
2012 C conf
Towards Certified Runtime Verification.
ICFEM
Jan Olaf Blech, Yliès Falcone, Klaus Becker
2012 A* conf
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud.
ASE
Yliès Falcone, Sebastian Currea
2012 J jnl
What can you verify and enforce at runtime?
Int. J. Softw. Tools Technol. Transf.
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2011 J jnl
Decentralised LTL Monitoring
CoRR
Andreas Bauer, Yliès Falcone
2011 B conf
Runtime Verification of Component-Based Systems.
SEFM
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2011 J jnl
Runtime enforcement monitors: composition, synthesis, and enforcement abilities.
Formal Methods Syst. Des.
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
2010 C conf
More Testable Properties.
ICTSS
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
2010 B ed.
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
RV
Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2010 — conf
Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
Software Engineering Research and Practice
Yliès Falcone, Mohamad Jaber
2010 B conf
You Should Better Enforce Than Verify.
RV
Yliès Falcone
2009 Misc conf
Enforcement monitoring wrt. the safety-progress classification of properties.
SAC
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2009 — —
Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques).
Yliès Falcone
2009 B conf
Runtime Verification of Safety-Progress Properties.
RV
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2008 Misc conf
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
ICISS
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2008 — conf
j-POST: a Java Toolchain for Property-Oriented Software Testing.
MBT@ETAPS
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
2007 — conf
A Compositional Testing Framework Driven by Partial Specifications.
TestCom/FATES
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
2006 — conf
A Test Calculus Framework Applied to Network Security Policies.
FATES/RV
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier