Nombre de documents

63

Maître de conférences à l'Université Grenoble Alpes


Article dans une revue18 documents

Communication dans un congrès38 documents

  • Matthieu Renard, Antoine Rollet, Ylìès Falcone. Runtime Enforcement Using Büchi Games. ACM. Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States. 〈hal-01509827v3〉
  • Raphaël Jakse, Ylìès Falcone, Jean-François Mehaut, Kevin Pouget. Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification. ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. 〈hal-01592671〉
  • Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, et al.. Predictive Runtime Enforcement *. 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〉. 〈hal-01244369〉
  • Giles Reger, Sylvain Hallé, Yliès Falcone. Third International Competition on Runtime Verification CRV 2016. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. 〈hal-01428834〉
  • Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. Monitoring Multi-Threaded Component-Based Systems. 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/〉. 〈hal-01285579〉
  • Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Ylìès Falcone. Decentralized Enforcement of Artifact Lifecycles. EDOC 2016, Sep 2016, Vienne, Austria. Proceedings of the twentieth entreprise computing conference 〈http://edoc2016.univie.ac.at〉. 〈hal-01365315〉
  • Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur. Compas’2016, Jul 2016, Lorient, France. Compas’2016 : Parallélisme / Architecture / Système Lorient, France, du 5 au 8 juillet 2016. 〈hal-01331973〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. 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〉. 〈hal-01244446〉
  • Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, et al.. Enforcement of (Timed) Properties with Uncontrollable Events. 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〉. 〈hal-01185238v3〉
  • Selma Saidi, Yliès Falcone. Dynamic Detection and Mitigation of DMA Races in MPSoCs. 18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. 2015, 〈10.1109/DSD.2015.77〉. 〈hal-01248352〉
  • Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, et al.. RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. 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〉. 〈hal-01248350〉
  • Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma. Second International Competition on Runtime Verification: CRV 2015. 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〉. 〈hal-01248351〉
  • Ali Kassem, Yliès Falcone, Pascal Lafourcade. Monitoring Electronic Exams. 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〉. 〈hal-01248349〉
  • Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber. Runtime Enforcement for Component-Based Systems. Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. 〈10.1145/2695664.2695879〉. 〈hal-01248353〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. IEEE International Workshop on Discrete Event Systems, May 2014, cachan, France. pp.46-53, 2014. 〈hal-00974548〉
  • Christian Colombo, Yliès Falcone. Organising LTL Monitors over Distributed Systems with a Global Clock. 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. 2014, 〈10.1007/978-3-319-11164-3_12〉. 〈hal-01120551〉
  • Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone. First International Competition on Software for Runtime Verification. 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. 2014, 〈10.1007/978-3-319-11164-3_1〉. 〈hal-01120552〉
  • Khalil El-Harake, Yliès Falcone, Wassim Jerad, Mattieu Langet, Mariem Mamlouk. Blocking Advertisements on Android Devices using Monitoring Techniques. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece. Springer. 〈hal-01120550〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. ACM, pp.1279-1286, 2014. 〈hal-00907571〉
  • Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez. Efficient and Generalized Decentralized Monitoring of Regular Languages. 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〉. 〈hal-00972559〉
  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Bousquet. Single-Trace Fault Localization in Embedded Software. 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, 2013, 〈10.1109/ISSRE.2013.6698914〉. 〈hal-00974761〉
  • Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.7271-7278, 2013, 〈10.1109/CDC.2013.6761043 〉. 〈hal-00863223〉
  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. 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〉. 〈hal-00853716〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, et al.. Runtime Enforcement of Timed Properties. 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〉. 〈hal-00743270v2〉
  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France. 2012. 〈hal-00953276〉
  • Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. 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〉. 〈hal-00857285〉
  • Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. 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〉. 〈hal-00857286〉
  • Yliès Falcone, Lenore Zuck. Runtime Verification: The Application Perspective. 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〉. 〈hal-00857288〉
  • Jan Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. 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〉. 〈hal-00857290〉
  • Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. 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〉. 〈hal-00857292〉
  • Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. 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〉. 〈hal-00857287〉
  • Yliès Falcone, Sebastian Currea. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. 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〉. 〈hal-00857291〉
  • Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime Verification of Component-Based Systems. 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〉. 〈hal-00642969〉
  • Yliès Falcone. You Should Better Enforce than Verify. International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108, 2010. 〈hal-00523653〉
  • Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. 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〉. 〈inria-00510018v2〉
  • Yliès Falcone, Mohamad Jaber. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects. International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5, 2010. 〈hal-00525490〉
  • Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. Runtime Verification, Jun 2009, France. pp.40--59, 2009. 〈hal-00420487〉
  • Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, 2009, 〈10.1145/1529282.1529408〉. 〈hal-00953590〉

Chapitre d'ouvrage1 document

  • Yliès Falcone, Klaus Havelund, Giles Reger. A Tutorial on Runtime Verification. 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〉. 〈hal-00853727〉

Rapport5 documents

  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. 2013. 〈hal-00857299〉
  • Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. [Research Report] RR-LIG-031, LIG. 2012. 〈hal-01472082〉
  • Andreas Bauer, Yliès Falcone. Decentralized LTL Monitoring. 2012. 〈hal-00642972〉
  • Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. [Research Report] RR-7279, INRIA. 2010, pp.45. 〈inria-00484297〉
  • Yliès Falcone, Hervé Marchand. Various Notions of Opacity Verified and Enforced at Runtime. [Research Report] RR-7349, INRIA. 2010. 〈inria-00507143v2〉

Thèse1 document

  • Yliès Falcone. Etude et mise en œuvre de techniques de validation à l'exécution. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français. 〈tel-00420478〉