Nombre de documents

12

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


Article dans une revue3 documents

  • 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, 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〉
  • 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〉

Communication dans un congrès9 documents

  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉