Talks

THIS PAGE IS NOT UP TO DATE.

Seminars and invited talks:

  • Invited talk at American University of Beirut, Lebanon, April 2016.
  • Invited talk at FAC workshop, Toulouse, March 2016.
  • Invited talk at SESA 2014 workshop, Tetouan, December 2014.
  • Invited talk at University of Hanoi, Hanoi, March 2014.
  • Invited talk at MTVSi Seminar, Bordeaux, January 2014.
  • Invited talk during GDR-GPL, MTV2 days, January 2014.
  • Invited talk at MAROC Workshop, Tétouan, Morocco, December 2013.
  • Invited talk at the 68NQRT seminar, Rennes, France, April 2013.
  • Invited talk at the Crtl-A seminar, Grenoble, France, Marsh 2013.
  • Invited talk at Viseo R&D center, Grenoble, France, December 2012.
  • Invited talk at Galatasaray University, May 2012.
  • Invited talk at HOWARD60, Higher Workshop on Automated Runtime Verification and Debugging, December, 2011.
  • Invited talk at SEMBA (Valence, France) – French working group on Embedded Systems, October 21, 2011.
  • Invited talk at LIG (Grenoble, France), April, 2011.
  • Invited talk at LRI (Paris, France), March 14, 2011.
  • Invited talk at NICTA (Canberra, Australia), March 4, 2011.
  • Invited talk at LORIA (Nancy, France), February 10, 2011.
  • Invited talk in the MTVSi seminar of LaBRI (Bordeaux, France), December 9, 2010.
  • Talk during the common seminar “Runtime Verification” of the teams TRISKELL and VerTeCs of INRIA Rennes, November 30, 2010.
  • Invited talk at the University of Campina Grande, Brazil, November 15, 2010.
  • Talk in the GDR GPL MTVV (French working group), June 29, 2010.
  • Invited talk at INRIA Grenoble, March 24, 2010.
  • Invited talk at Department of Computer Science of Manchester University, October 13, 2009.
  • Invited talk at group LARS at NASA JPL (Pasadena, CA, USA), October 6, 2009.
  • PhD student seminar of Verimag, June 23, 2009.
  • Invited talk in the 68NQRT seminar at INRIA Rennes, May 14, 2009.
  • Invited talk at LIG Grenoble, April 3, 2009.
  • Seminar during the DCS Green Days, March 26, 2009.
  • Several talks in the french project POLITESS, from 2007 to 2008.

Talks in Conferences:

  • RV-Android: Efficient Parametric Runtime Verification for Android Applications: a brief tutorial at RV 2015, September 22nd, 2015.
  • Blocking Advertisements on Android Devices using Monitoring Techniques at IsoLA 2014, Corfu, Greece, October 8th, 2014.
  • Presentation of the first international Competition on Software for Runtime Verification, at RV 2014, Toronto, Canada, September 23rd, 2014.
  • Runtime Enforcement of Regular Timed Properties, Gyeong Ju, Korea, March 27, 2014.
  • Runtime Enforcement of K-step Opacity, Florence, Italy, December 13, 2013.
  • Runtime Verification, the Application Perspective, Heraklion, Crete, October 15, 2012.
  • RV Droid: Runtime Verification and Enforcement for Android Applications at RV 2012, Istanbul, Turkey, September 26, 2012.
  • Weave-Droid: Aspect-Oriented Programming on Android Devices: fully embedded or in the cloud at ASE 2012 (Essen, Germany), September 5, 2012.
  • Decentralised LTL Monitoring at FM’12, Paris, France, August 29, 2012
  • Runtime Verification of Component-Based Systems at SEFM, Montevideo, Uruguay, November 16, 2011.
  • More Testable Properties at ICTSS’10, Natal, Brazil, November 09, 2010.
  • You should Better Enforce than Verify at RV’10, San Julian, Malta, November 01, 2010.
  • Towards Automatic Integration of Or-BAC Security Policies Using Aspects at WorldComp’10 SERP, Las Vegas, USA, July 12, 2010.
  • Runtime Verification of Safety-Progress Properties at RV’09, Grenoble, France, June 27, 2009.
  • Enforcement Monitoring of Safety-Progress Properties at SAC-SVT’09, Honolulu, USA, March 09, 2009.
  • Certification of Smart-Card Applications in Common Criteria [Perin,Narasamdya] at SAC-SVT’09, Honolulu, USA, March 09, 2009.
  • Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties at ICISS’08, Hyderabad, India, December 17, 2008.
  • j-POST: a Java Toolchain for Property-Oriented Software Testing at MBT’08, Budapest,Hungary, March 30, 2008.
  • Combining Testing and Monitoring for Security at MajecSTIC’07 (Caen, France), October 29, 2007.
  • A Compositional Testing Framework Driven by Partial Specifications at TestCOM/Forte’07, Tallinn, Estonia, June 26, 2007.

Misc.:

  • Talk at Droid Con, Paris, May 2013.
  • Talk at Minalogic Brainstorming: quick presentation of the VASCO team of LIG and project proposal, September 13, 2012.