Return to Team members

Yliès Falcone

Presentation

Yliès Falcone holds an Associate Professor (Maître de Conférences) position at Université Grenoble 1 (Université Joseph Fourier). Previously, he was a Research Scholar at University of Illinois at Urbana Champaign (USA), Honorary Researcher at University of Manchester (UK), Invited Researcher at NICTA Canberra (Australia), and Research Assistant at Verimag Laboratory (France).

His research interests include various aspects of monitoring (aka runtime verification, runtime enforcement) and debugging.

Personal Website: www.ylies.fr

Publications

Publications HAL de Ylies Falcone

2017

Journal articles

titre
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
auteur
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
article
Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 – 986. 〈10.1007/s00165-017-0422-6〉
Accès au bibtex
BibTex
titre
Predictive runtime enforcement
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 – 199. 〈10.1007/s10703-017-0271-1〉
Accès au bibtex
BibTex
titre
Decentralized enforcement of document lifecycle constraints
auteur
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
article
Information Systems, Elsevier, 2017, 〈10.1016/j.is.2017.08.002〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653879/file/paper.pdf BibTex
titre
Formal analysis and offline monitoring of electronic exams
auteur
Ali Kassem, Yliès Falcone, Pascal Lafourcade
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 – 153. 〈10.1007/s10703-017-0280-0〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653884/file/fmsd6.pdf BibTex
titre
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 〈10.1017/S0960129517000123〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01262444/file/MSCS-Hal-v4.pdf BibTex

Conference papers

titre
Interactive Runtime Verification – When Interactive Debugging meets Runtime Verification
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
article
ISSRE17 – 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01592671/file/ieee.pdf BibTex
titre
GREP: Games for the Runtime Enforcement of Properties
auteur
Matthieu Renard, Antoine Rollet, Yliès Falcone
article
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, Oct 2017, St. Petersburg, Russia. Springer International Publishing, LNCS 10533, 2017, Testing Software and Systems
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01568665/file/Hal-ICTSS17-v1.pdf BibTex
titre
Verifying Policy Enforcers
auteur
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
article
RV 2017 – 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653894/file/rv17.pdf BibTex
titre
Runtime Enforcement Using Büchi Games
auteur
Matthieu Renard, Antoine Rollet, Yliès Falcone
article
ACM. Model Checking Software – 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01509827/file/SPIN2017-Hal-v2.pdf BibTex
titre
Monitoring Decentralized Specifications
auteur
Antoine El-Hokayem, Yliès Falcone
article
ISSTA 2017 – International Symposium on Software Testing and Analysis, Jul 2017, Santa Barbara, CA, United States. pp.125-135, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 〈10.1145/3092703.3092723〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653725/file/themis.pdf BibTex

Other publications

titre
THEMIS: A Tool for Decentralized Monitoring Algorithms
auteur
Antoine El-Hokayem, Yliès Falcone
article
Tool Demonstration Paper. 2017, pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653727/file/themis-demo.pdf BibTex

2016

Journal articles

titre
Organising LTL Monitors over Distributed Systems with a Global Clock
auteur
Christian Colombo, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. 〈http://link.springer.com/article/10.1007%2Fs10703-016-0251-x〉. 〈10.1007/s10703-016-0251-x〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01315776/file/fmsd4.pdf BibTex
titre
Decentralised LTL Monitoring
auteur
Andreas Bauer, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 48 (1-2), pp.48. 〈http://link.springer.com/article/10.1007%2Fs10703-016-0253-8〉. 〈10.1007/s10703-016-0253-8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01313730/file/fmsd3-author.pdf BibTex
titre
Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
auteur
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
article
Science of Computer Programming, Elsevier, 2016, 〈10.1016/j.scico.2016.02.008〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281727/file/SCP-final.pdf BibTex
titre
Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery
auteur
Yliès Falcone, Mohamad Jaber
article
Software Tools for Technology Transfer (STTT), Springer, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01262658/file/sttt3-rebip-Falcone-Jaber.pdf BibTex

Conference papers

titre
Third International Competition on Runtime Verification CRV 2016
auteur
Giles Reger, Sylvain Hallé, Yliès Falcone
article
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01428834/file/rv16-1.pdf BibTex
titre
First International Summer School on Runtime Verification
auteur
Christian Colombo, Yliès Falcone
article
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01428838/file/rv16-2.pdf BibTex
titre
Decentralized Enforcement of Artifact Lifecycles
auteur
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Ylìès Falcone
article
EDOC 2016, Sep 2016, Vienne, Austria. Proceedings of the twentieth entreprise computing conference 〈http://edoc2016.univie.ac.at〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01365315/file/edoc16.pdf BibTex
titre
Vérification interactive de propriétés à l’exécution d’un programme avec un débogueur
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
article
Compas’2016, Jul 2016, Lorient, France. Compas’2016 : Parallélisme / Architecture / Système Lorient, France, du 5 au 8 juillet 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01331973/file/paper.pdf BibTex
titre
Modularizing Crosscutting Concerns in Component-Based Systems
auteur
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
article
14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01305083/file/sefm16.pdf BibTex
titre
Monitoring Multi-Threaded Component-Based Systems
auteur
Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
article
12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland. Proceedings of the 12th International Conference on integrated Formal Methods. 〈http://en.ru.is/ifm/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01285579/file/ifm16.pdf BibTex
titre
Predictive Runtime Enforcement *
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
SAC 2016 31st ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ACM, pp.6, 2016, 〈http://www.acm.org/conferences/sac/sac2016/〉. 〈10.1145/2851613.2851827〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244369/file/Final-Version.pdf BibTex

2015

Journal articles

titre
Runtime Verification: the Application Perspective
auteur
Ylìès Falcone, Lenore Zuck
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. 〈10.1007/s10009-014-0360-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248423/file/STTT-intro-RV.pdf BibTex
titre
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
auteur
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
article
Software and Systems Modeling, Springer Verlag, 2015, pp.173-199. 〈http://link.springer.com/article/10.1007%2Fs10270-013-0323-y〉. 〈10.1007/s10270-013-0323-y〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01127717/file/Sosym-author-version_Falcone-et-al.pdf BibTex
titre
Runtime Verification: The Application Perspective
auteur
Yliès Falcone, Lenore Zuck
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, pp.121-123. 〈10.1007/978-3-642-34026-0_21〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01127720/file/main.pdf https://hal.archives-ouvertes.fr/hal-01127720/file/sttt-2015.pdf BibTex
titre
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
auteur
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
article
Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. 〈10.1007/s10270-013-0323-y〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248420/file/Sosym-author-version_Falcone-et-al.pdf BibTex

Conference papers

titre
Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
article
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. Springer, LNCS (9399), pp.22, 2015, Theoretical Aspects of Computing – ICTAC 2015. 〈10.1007/978-3-319-25150-9_31〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185238/file/ICTAC_version_longue_HAL.pdf BibTex
titre
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
Ezio Bartocci; Rupak Majumdar. RV’2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. Springer, 9333, pp.12, 2015, Lecture Notes in Computer Science. 〈http://rv2015.conf.tuwien.ac.at/〉. 〈10.1007/978-3-319-23820-3_22〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244446/file/Tipex-Final.pdf BibTex
titre
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
auteur
Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, Grigore Rosu
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. Springer, LNCS (9333), pp.16, 2015, Runtime Verification. 〈10.1007/978-3-319-23820-3_24〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248350/file/rv15-3.pdf BibTex
titre
Second International Competition on Runtime Verification
auteur
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. Springer, LNCS (9333), pp.16, 〈10.1007/978-3-319-23820-3_27〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248351/file/rv15-4.pdf BibTex
titre
Monitoring Electronic Exams
auteur
Ali Kassem, Yliès Falcone, Pascal Lafourcade
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. Springer, 9333, pp.16, 2015, Runtime Verification. 〈10.1007/978-3-319-23820-3_8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248349/file/rv15-1.pdf BibTex
titre
Dynamic Detection and Mitigation of DMA Races in MPSoCs
auteur
Selma Saidi, Yliès Falcone
article
18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. 2015, 〈10.1109/DSD.2015.77〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248352/file/dsd15.pdf BibTex
titre
Runtime Enforcement for Component-Based Systems
auteur
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
article
Symposium on Applied Computing – Software Verification and Testing , Apr 2015, Salamanque, Spain. 〈10.1145/2695664.2695879〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248353/file/sac15.pdf BibTex

2014

Journal articles

titre
Enforcement and Validation (at runtime) of Various Notions of Opacity
auteur
Yliès Falcone, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2014, pp.42. 〈http://dx.doi.org/10.1007/s10626-014-0196-4〉. 〈10.1007/s10626-014-0196-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00987985/file/main.pdf BibTex
titre
Runtime enforcement of timed properties revisited
auteur
Srinivas Pinisetty, Yliès Falcone, T Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo
article
Formal Methods in System Design, Springer Verlag, 2014, 45 (3), pp.381-422. 〈http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10703-014-0215-y〉. 〈10.1007/s10703-014-0215-y〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088136/file/fmsd2.pdf BibTex

Conference papers

titre
Blocking Advertisements on Android Devices using Monitoring Techniques
auteur
Khalil El-Harake, Yliès Falcone, Wassim Jerad, Mattieu Langet, Mariem Mamlouk
article
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece. Springer
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01120550/file/isola-14.pdf BibTex
titre
First International Competition on Software for Runtime Verification
auteur
Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone
article
14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. 2014, 〈10.1007/978-3-319-11164-3_1〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01120552/file/rv14-2.pdf BibTex
titre
Organising LTL Monitors over Distributed Systems with a Global Clock
auteur
Christian Colombo, Yliès Falcone
article
14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. 2014, 〈10.1007/978-3-319-11164-3_12〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01120551/file/rv14-1.pdf BibTex
titre
Efficient and Generalized Decentralized Monitoring of Regular Languages
auteur
Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez
article
Erika Ábrahám; Catuscia Palamidessi. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8461, pp.66-83, 2014, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-662-43613-4_5〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00972559/file/forte14.pdf BibTex
titre
Runtime Enforcement of Parametric Timed Properties with Practical Applications
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
IEEE International Workshop on Discrete Event Systems, May 2014, cachan, France. pp.46-53, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00974548/file/2014-wodes-TE.pdf BibTex
titre
Runtime Enforcement of Regular Timed Properties
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. ACM, pp.1279-1286, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00907571/file/sac-svt.pdf BibTex

2013

Journal articles

titre
Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation
auteur
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Dorel Marius Bozga, Saddek Bensalem
article
Journal on Software and System Modeling, 2013, 41 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00972566/file/sosym.pdf BibTex

Conference papers

titre
Runtime Enforcement of K-step Opacity
auteur
Yliès Falcone, Hervé Marchand
article
52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.7271-7278, 2013, 〈10.1109/CDC.2013.6761043 〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863223/file/cdc2013.pdf BibTex
titre
Compressing Microcontroller Execution Traces to Assist System Analysis
auteur
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
article
Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.139-150, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_13〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00853716/file/978-3-642-38853-8_13_Chapter.pdf BibTex
titre
Single-Trace Fault Localization in Embedded Software
auteur
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Bousquet
article
24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, 2013, 〈10.1109/ISSRE.2013.6698914〉
Accès au bibtex
BibTex

Book sections

titre
A Tutorial on Runtime Verification
auteur
Yliès Falcone, Klaus Havelund, Giles Reger
article
Manfred Broy, Doron Peled, Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.141-175, 2013, NATO Science for Peace and Security Series – D: Information and Communication Security, 978-1-61499-206-6 (print); 978-1-61499-207-3 (online). 〈10.3233/978-1-61499-207-3-141〉
Accès au bibtex
BibTex

Reports

titre
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
auteur
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00857299/file/RR-LIG-031.pdf BibTex

2012

Journal articles

titre
More testable properties
auteur
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. 〈http://www.springerlink.com/content/u3283757686610v6/〉. 〈10.1007/s10009-011-0220-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00743981/file/STTT-ICTSS10-preprint.pdf BibTex

Conference papers

titre
Towards Certified Runtime Verification
auteur
Jan Olaf Blech, Yliès Falcone, Klaus Becker
article
Toshiaki Aoki, Kenji Taguchi. ICFEM 2012 – 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. Springer, 7635, pp.494-509, 2012, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-34281-3_34〉
Accès au bibtex
BibTex
titre
Behavioral Specification Based Runtime Monitors for OSGi Services
auteur
Jan Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz
article
Tiziana Margaria, Bernhard Steffen. ISoLA 2012 – Proceedings of the 5th International Symposium on Leveraging Applications (Part 1), Oct 2012, Unknown, Springer, 7609, pp.405-419, 2012, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-34026-0_30〉
Accès au bibtex
BibTex
titre
Runtime Verification: The Application Perspective
auteur
Yliès Falcone, Lenore Zuck
article
Tiziana Margaria, Bernhard Steffen. ISoLA 2012 – Proceedings of the 5th International Symposium on Leveraging Applications (Part 1), Oct 2012, Crete, Greece. Springer, 7609, pp.284-291, 2012, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-34026-0_21〉
Accès au bibtex
BibTex
titre
Runtime Enforcement of Timed Properties
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo
article
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. Springer, 7687, pp.229-244, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-35632-2_23〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00743270/file/2012-RV-Enforcement.pdf BibTex
titre
Runtime Verification and Enforcement for Android Applications with RV-Droid
auteur
Yliès Falcone, Sebastian Currea, Mohamad Jaber
article
Shaz Qadee, Serdar Tasiran. RV 2012 – 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. Springer, 7687, pp.88-95, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-35632-2_11〉
Accès au bibtex
BibTex
titre
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud
auteur
Yliès Falcone, Sebastian Currea
article
Michael Goedicke, Tim Menzies, Motoshi Saeki. ASE 2012 – 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. ACM, pp.350-353, 2012, 〈10.1145/2351676.2351744〉
Accès au bibtex
BibTex
titre
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
auteur
Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
article
Dimitra Giannakopoulou, Dominique Méry. FM 2012 – 18th International Symposium on Formal Methods, Aug 2012, Paris, France. Springer, 7436, pp.68-84, 2012, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-32759-9_9〉
Accès au bibtex
BibTex
titre
Decentralised LTL Monitoring
auteur
Andreas Klaus Bauer, Yliès Falcone
article
Dimitra Giannakopoulou, Dominique Méry. FM 2012 – 18th International Symposium on Formal Methods, Aug 2012, Paris, France. Springer, 7436, pp.85-100, 2012, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-32759-9_10〉
Accès au bibtex
BibTex
titre
Résumer les traces d’exécution des micro-contrôleurs
auteur
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
article
Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France. 2012
Accès au bibtex
BibTex

Reports

titre
Decentralized LTL Monitoring
auteur
Andreas Bauer, Yliès Falcone
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00642972/file/main.pdf BibTex
titre
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
auteur
Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet
article
[Research Report] RR-LIG-031, LIG. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01472082/file/RR-LIG-031.pdf BibTex

2011

Journal articles

titre
Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities
auteur
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
article
Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. 〈10.1007/s10703-011-0114-4〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00576948/file/EnforcementMonitors-FMSD-preprint.pdf BibTex
titre
What can you verify and Enforce at Runtime?
auteur
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
article
Sotfware Tools for Technology Transfer, 2011, pp.Online First
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00497350/file/sttt11.pdf BibTex

Conference papers

titre
Runtime Verification of Component-Based Systems
auteur
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
article
Gilles Barthe, Alberto Pardo, Gerardo Schneider. SEFM 2011 – Proceedings of the 9th International Conference on Software Engineering and Formal Methods, Nov 2011, Montevideo, Uruguay. Springer, 7041, pp.204-220, 2011, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-24690-6_15〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00642969/file/RuntimeVerificationOfComponentBasedSystems.pdf BibTex

2010

Conference papers

titre
You Should Better Enforce than Verify
auteur
Yliès Falcone
article
International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91–108, 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00523653/file/tutorial-RV10-Falcone.pdf BibTex
titre
More Testable Properties
auteur
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
article
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. Springer, 6435, pp.30-46, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-16573-3_4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00510018/file/64350030.pdf BibTex
titre
Towards Automatic Integration Of Or-BAC Security Policies Using Aspects
auteur
Yliès Falcone, Mohamad Jaber
article
International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5, 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00525490/file/sigproc-sp.pdf BibTex

Reports

titre
Various Notions of Opacity Verified and Enforced at Runtime
auteur
Yliès Falcone, Hervé Marchand
article
[Research Report] RR-7349, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00507143/file/RR-7349.pdf BibTex
titre
More Testable Properties
auteur
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
article
[Research Report] RR-7279, INRIA. 2010, pp.45
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00484297/file/RR-7279.pdf BibTex

2009

Conference papers

titre
Runtime Verification of Safety-Progress Properties
auteur
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
article
Runtime Verification, Jun 2009, France. pp.40–59, 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00420487/file/main1.pdf BibTex
titre
Enforcement Monitoring wrt. the Safety-Progress Classification of Properties
auteur
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
article
24th Annual ACM Symposium on Applied Computing – Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, 2009, 〈10.1145/1529282.1529408〉
Accès au bibtex
BibTex

Theses

titre
Etude et mise en œuvre de techniques de validation à l’exécution
auteur
Yliès Falcone
article
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier – Grenoble I, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00420478/file/PhD-thesis-Y-Falcone.pdf BibTex

2008

Journal articles

titre
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
auteur
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
article
ICISS’08: International Conference on Information Systems Security, 2008, pp.41-55
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00346063/file/main.pdf BibTex
titre
j-POST: a Java Toolchain for Property-Oriented Software Testing
auteur
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
article
MBT’08: Model-Based Testing, 2008, pp.29-41
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00346061/file/mbt08-jPOST.pdf BibTex

2007

Journal articles

titre
A Compositional Testing Framework Driven by Partial Specifications
auteur
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
article
TESTCOM/FATES’07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00346059/file/fates07FFMR.pdf BibTex

2006

Journal articles

titre
A Test Calculus Framework Applied to Network Security Policies
auteur
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
article
FATES/RV’06: Formal Approaches to TESting/Runtime Verification, 2006, pp.55-69
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00346032/file/papier.pdf BibTex

Leave a Reply

Your email address will not be published.

Time limit is exhausted. Please reload CAPTCHA.