Publications de Ylies Falcone

Load the BibTeX file

Thèses et habilitations à diriger les recherches

  1. Yliès Falcone. Étude et mise en oeuvre de méthodes de validation à l'exécution. Thèse de l'Université Joseph Fourier, Grenoble, France, Novembre 2009. details download

Ouvrages

  1. Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, (eds). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010. details

Articles de journaux

  1. Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014. details pdf
  2. Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation. SOSYM, SOftware and SYstem Modeling, 2013. details
  3. Y. Falcone, J.-C. Fernandez, L. Mounier. What can you Verify and Enforce at Runtime?. STTT: Software Tools for Technology Transfer, Special issue on Runtime Verification, Invited paper, (3):349-382, 2012. details
  4. Y. Falcone, J.-C. Fernandez, T. Jéron, H. Marchand, L. Mounier. More testable properties. (4):407-437, 2012. details
  5. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, Juin 2011. details

Chapitres de livres

  1. Y. Falcone, K. Havelung, G. Reger. A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems, Manfred Broy, Doron Peled (eds.), pp. 141-176, IOS Press, 2013. details

Conférences internationales

  1. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. In 29th Symposium On Applied Computing (SAC 2014), Pages 1279-1286, 2014. details
  2. Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez. Efficient and Generalized Decentralized Monitoring of Regular Languages. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14), LNCS, 2014. details
  3. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In 12th IFAC - IEEE International Workshop on Discrete Event Systems, 2014. details
  4. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Single-Trace Fault Localization in Embedded Software. In 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pages 148-157, Pasadena, CA, USA, 2013. details
  5. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Third International Conference on Runtime Verification, RV 2012, Pages 88-95, 2013. details doi
  6. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification, RV 2012, Pages 229-244, 2013. details doi
  7. Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control (CDC 2013), Pages 7271-7278, Florence, Italy, Décembre 2013. details
  8. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In International Embedded Systems Symposium (IESS), Pages 139-150, Juin 2013. details
  9. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In FM 2012: Formal Methods - 18th International Symposium, Pages 68-84, 2012. details doi
  10. Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. In FM 2012: Formal Methods - 18th International Symposium, Pages 85-100, 2012. details doi
  11. Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. In Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Volume 7635, Pages 494-509, 2012. details doi
  12. Yliès Falcone, Lenore D. Zuck. Runtime Verification: The Application Perspective. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 284-291, 2012. details doi
  13. Jan Olaf Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 405-419, 2012. details doi
  14. Yliès Falcone, Sebastian Currea. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. In IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Pages 350-353, 2012. details download
  15. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Runtime Verification, Third International Conference, RV 2012, Pages 88-95, 2012. details doi
  16. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Runtime Verification, Third International Conference, RV 2012, Pages 229-244, 2012. details doi
  17. Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem. Runtime Verification of Component-Based Systems. In SEFM11: International Conference of Software Engineering and Formal Methods, Pages 204-220, 2011. details
  18. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Workshop on Runtime Verification (RV 2009), Pages 40-59, 2009. details
  19. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement monitoring wrt. the safety-progress classification of properties. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), Pages 593-600, 2009. details
  20. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Runtime Verification, 9th International Workshop, RV 2009, Lecture Notes in Computer Science, Volume 5779, Pages 40-59, 2009. details
  21. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, Electronic Notes in Theoretical Computer Science, Volume 220(1), Pages 29-41, Mars 2008. details
  22. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. In Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.), Lecture Notes in Computer Science, Volume 4581, Pages 107-122, 2007. details
  23. Y. Falcone, J.C. Fernandez, L. Mounier, J.L Richier. A Test Calculus Framework Applied to Network Security Policies. In Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, Pages 55-69, Seattle, USA, Août 2006. details

Communications avec actes

  1. A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012. details

Rapports de recherche

  1. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. Research Report LIG, No 31, Février 2013. details pdf
  2. A. Bauer, Y. Falcone. Decentralised LTL Monitoring. RR CoRR, 2012. details download

Cette page a été générée automatiquement par bib2html.