Nombre de documents

22

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


Article dans une revue4 documents

  • 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. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. 〈10.1016/j.jlamp.2018.05.005〉. 〈hal-01796786〉
  • Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, et al.. Predictive Runtime Verification of Timed Properties. Journal of Systems and Software, Elsevier, 2017, 132, pp.353 - 365. 〈10.1016/j.jss.2017.06.060〉. 〈hal-01666995〉
  • Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty. Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events. Science of Computer Programming, Elsevier, 2016, 〈10.1016/j.scico.2016.02.008〉. 〈hal-01281727〉
  • Yliès Falcone, Mohamad Jaber. Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery. Software Tools for Technology Transfer (STTT), Springer, 2016. 〈hal-01262658〉

Communication dans un congrès14 documents

  • Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone. Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19. 〈hal-01868748〉
  • Yliès Falcone. Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5. 〈hal-01882413〉
  • Antoine El-Hokayem, Yliès Falcone. Can We Monitor All Multithreaded Programs?. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24. 〈hal-01882414〉
  • Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel. A Taxonomy for Classifying Runtime Verification Tools. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18. 〈hal-01882410〉
  • Antoine El-Hokayem, Yliès Falcone. Bringing Runtime Verification Home. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17. 〈hal-01882411〉
  • Matthieu Renard, Antoine Rollet, Yliès Falcone. GREP: Games for the Runtime Enforcement of Properties. Nina Yevtushenko; Ana Rosa Cavalli; Hüsnü Yenigün. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10533, pp.259-275, 2017, Testing Software and Systems. 〈10.1007/978-3-319-67549-7_16〉. 〈hal-01678960〉
  • Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification. ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. 2017. 〈hal-01592671〉
  • Matthieu Renard, Antoine Rollet, Yliè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〉
  • Antoine El-Hokayem, Yliès Falcone. THEMIS: A Tool for Decentralized Monitoring Algorithms. ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 2017, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 〈10.1145/3092703.3092723〉. 〈hal-01653727〉
  • Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone. Verifying Policy Enforcers. RV 2017 - 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States. 〈hal-01653894〉
  • 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〉
  • 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〉
  • 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〉

Document associé à des manifestations scientifiques1 document

  • Yliès Falcone. Imposition de propriétés temporisées à l'exécution. ETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France. 〈hal-01709899〉

Ouvrage (y compris édition critique et traduction)1 document

  • Ezio Bartocci, Yliès Falcone. Lectures on Runtime Verification. Introductory and Advanced Topics. Springer, 10457, pp.1-240, In press, LNCS, 978-3-319-75632-5. 〈hal-01762298〉

Chapitre d'ouvrage2 documents

  • Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger. Introduction to Runtime Verification. Lectures on Runtime Verification. Introductory and Advanced Topics, 10457, Springer, pp.1-33, 2018, Lecture Notes in Computer Science 978-3-319-75632-5. 〈10.1007/978-3-319-75632-5_1〉. 〈hal-01762297〉
  • Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha. Runtime Failure Prevention and Reaction. Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, 〈10.1007/978-3-319-75632-5_4〉. 〈hal-01723606〉