• Home
  • Teaching
    • To students
    • Languages and Automata
    • Programming Languages and Compiler Design
    • Previous Teaching Activities
  • Publications
    • Selected Publications
    • Full list of publications
  • Talks
  • Service & Responsibilities
  • Software
    • DecentMon: An OCaml Benchmark for Decentralised LTL Monitoring
    • TAKOS: a Toolbox for Opacity
    • RV-BIP: Runtime Verification of BIP systems
    • Java-PT: Properties and their Testability with Java
    • j-VETO
  • Projects
  • Who am I?
  • Contact

Yliès Falcone, Ph.D.

Associate Professor at Univ. Grenoble Alpes – Researcher at Inria, LIG

RV 16 proceedings available

 conferences, Event, Research
Sep 202016
 

The proceedings of the 16th international conference on Runtime Verification are available.

Springer LNCS proceedings can be downloaded for free until October 10 by following this link.

rv16

More information on RV 16 is available at http://rv2016.imag.fr

Tweet
 Posted by Ylies at 8:32 AM
  Best Paper Award at EDOC 2016   In the Programme Committee of TASE 2017

Featured Content

  • Interactive Runtime Verification – when Interactive Debugging Meets Runtime Verification

    The paper entitled Interactive Runtime Verification has been accepted for publication in the proceedings of ISSRE 2017, the 28th International Symposium on Software Reliability Engineering (ISSRE) – IEEE. ISSRE will be held in Toulouse (France), October  23-26, 2017. Below is an abstract of the paper: Runtime Verification consists in studying a system at runtime, looking for input and output events to […]

  • THEMIS: A Tool for Decentralized Monitoring Algorithms

    The paper entitled THEMIS: A Tool for Decentralized Monitoring Algorithms has been accepted as a tool-demonstration paper to ISSTA 2017, the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2017 will be held in Santa Barbara, California, USA, on July 10–14, 2017. Below is an abstract of the paper: THEMIS is a tool to facilitate the design, development, and analysis […]

  • Monitoring Decentralized Specifications

    The paper entitled Monitoring Decentralized Specifications has been accepted for publication in the proceedings of ISSTA 2017, the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, which will be held in Santa Barbara, California, USA, on July 10–14, 2017. The abstract of the paper is below: We define two complementary approaches to monitor decentralized systems. The first relies on those […]

Upcoming Events

  • ISoLA 2018 International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 30 Oct – 13 Nov 2018 / Limassol, Cyprus
  • RUME 2018 The runtime verification and monitoring technologies for embedded systems workshop, 18 June 2018
  • RV 2018 the 18th International Conference on Runtime Verification, Cyprus on 10-13 November 2018
  • TASE 2018 The 12th International Symposium on Theoretical Aspects of Software Engineering, August 29-31 2018, Guang Zhou, China
  • VORTEX 2018 Mon 16 – Sat 21 July 2018 Amsterdam, Netherlands

Past Events

  • AFADL 12 Approches Formelles dans l’Assistance au Développement de Logiciels, Grenoble, France, 11-13 Janvier 2012
  • ASE'12 The 27th IEEE/ACM International Conference on Automated Software Engineering
  • CARI 2016 13th African Conference on Research in Computer Science and Applied Mathematics
  • CDC 2013 52nd IEEE Conference on Decision and Control, December 10-13, 2013 at Palazzo dei Congressi, Florence, Italy
  • Consortium Galatasaray Consortium d’appui à l’Université de Galatasaray
  • COST Action IC 1402 ARVI – Prague Meeting COST Action IC 1402 ARVI – Prague Meeting
  • COST ARVI Action Meeting Talinn, Estonia, December 10-11, 2015
  • COST ARVI Action Meeting Barcelona, Spain, Mar 10-11, 2016
  • COST ARVI Action Meeting – Iceland June 5-6, 2016, Reykjavic, Iceland
  • COST ARVI Action Meeting in Torino 2017 MC Meeting: Torino, 18. Sept
  • CPS Summer School Summer School on Cyber-Physical Systems, July 8-12, 2013, Grenoble, France
  • CPS Summer School 2014 Summer School on Cyber-Physical Systems – 2014 Edition
  • CRI 2015 Conference de Recherche en Informatique, December 14-15, 2015, Yaoundé, Cameroon
  • CRV 15 The 2nd International Competition on Runtime Verification
  • CSRV 2014 1st Intl. Competition of Software for Runtime Verification
  • DATE 2017 Design, Automation and Test in Europe, Lausanne (Switzerland), March 27-31, 2017.
  • DATE 2018, Topic E3 Model-based Design and Verification, March 19-23, 2018, Dresden (Germany)
  • DATE TPC Meeting 2 November 2017, Madrid, Spain
  • DRV 16 Workshop Workshop on Distributed Runtime Verification 2016, May 16-20, Bertinoro, Italy
  • EDOC 2016 the twentieth entreprise computing conference, September 5-9, 2016, Vienna, Austria
  • ETAPS 2014 European Joint Conferences on Theory And Practice of Software, April 5th – 13th, 2014 Grenoble, France
  • ETR 2017 École d’Été Temps Réel (Summer School on Real Time), Aug 28-Sept 1 2017, Paris (France)
  • FAC 2016 Formalisation des Activités Concurrentes, Édition 2016, March 30-31, 2016, Toulouse, France
  • FM 2012 18th international symposium on Formal Methods, 27 – 31 August, Paris, France
  • FORTE'14 – DisCoTec IFIP Joint International Conference on Formal Techniques for Distributed Systems, June 3-6, 2014 in Berlin, Germany
  • HOWARD-60 Higher Workshop on Automatated Runtime Verification and Debugging – 20,21 December, Manchester, UK
  • ICFEM'2012 14th International Conference on Formal Engineering Methods, Kyoto, Japan
  • ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing, October 29-31 2015, Cali, Colombia
  • ICTSS 2017 the 29Th IFIP International Conference on Testing Software And Systems, October 9-11, 2017, St Petersburg, Russia
  • iFM 2016 12th Int. Conference on integrated Formal Methods, June 1-4 2016, Reykjavik, Iceland
  • iFM 2017 13th International Conference on integrated Formal Methods, September 18th – 22nd, 2017, Torino, Italy
  • ISoLA 2014 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 – Imperial, Corfu, Greece
  • IsoLA'12: Runtime Verification, the Application Perspective 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 15-18 October 2012 – Amirandes, Heraclion, Crete
  • ISSRE 2013 The 24th IEEE International Symposium on Software Reliability Engineering, 4-7 November, Pasadena, CA
  • ISSRE 2017 The 28th International Symposium on Software Reliability Engineering (ISSRE) – IEEE, Toulouse (France), October 23-26, 2017
  • ISSTA 2017 The ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, California (USA), July 10–14, 2017
  • MSR 2013 Modélisation des Systèmes Réactifs, November 13-15, Inria Rennes – Bretagne Atlantique, Rennes, France
  • MSR 2017 11ème Colloque sur la Modélisation des Systèmes Réactifs, Marseille (France), 15-17 novembre 2017
  • NFM 2015 April 27-29, 2015, Pasadena, California, USA
  • NII Shonan Meeting: Static Analysis Meets Runtime Verification March 16-19, 2015, Kanagawa, Japon
  • PDP 2017 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, March 6-8, 2017, St Petersburg
  • RV 2012 3rd International Conference on Runtime Verification – September 25 – 28, 2012 Istanbul, Turkey
  • RV 2013 Fourth International Conference on Runtime Verification, September 24-27, at Inria Rennes, France
  • RV 2014 14th International Conference on Runtime Verification, September 22 – 25, 2014 Toronto, Canada
  • RV 2015 Runtime Verification 2015 (RV’15) The 15th International Conference on Runtime Verification, September 22 – 25, 2015, Vienna, Austria
  • RV 2016 The 16th International Conference on Runtime Verification, 23-30 September 2016, Madrid, Spain
  • RV 2017 The 17th International Conference on Runtime Verification, September 13 – 16, 2017 Seattle, USA
  • RV Summit March 19-23, 2018 in Praz sur Arly, France
  • SAC 2014 the 29th Symposium On Applied Computing, Gyeongju, Korea, March 24 – 28, 2014
  • SAC 2017 The 32nd ACM SIGAPP Symposium On Applied Computing, Marrakech, Morocco, April 3 – 7, 2017
  • SAC-SVT 2015 SAC Software Verification and Testing track, Salamanca, Spain, April 13 – 17, 2015
  • SAC-SVT 2016 Software Verification and Testing 2016 – A Track of the ACM Symposium on Applied Computing, Pisa, Italy, April 5, 2016
  • SAC-SVT 2017 Software Verification and Testing 2017
  • SAC-SVT 2018 Software Verification and Testing at SAC 2018, Pau, France April 9 – 13, 2018
  • SECTEST 2012 The Third International Workshop on Security Testing, Affiliated with ICST 2012, Montreal, Quebec, Canada, April 21, 2012
  • SECTEST 2013 The Fourth International Workshop on Security Testing, Luxembourg, March 22, 2013
  • SECTEST 2014 the 5th International Workshop on Security Testing, Cleveland, Ohio (USA)
  • SEFM 2016 14th International Conference on Software Engineering and Formal Methods July 4-8, 2016 in Vienna, Austria
  • SEFM'11 International Conference on Software Engineering and Formal Methods – November 14-18, 2011 Montevideo, Uruguay
  • SPIN 2017 the 24th International SPIN Symposium on Model Checking of Software, Thu 13 – Fri 14 July 2017 Santa Barbara, California, United States
  • SSS 2016 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems , November 7-10, Lyon, France
  • TASE 2017 Eleventh International Symposium on Theoretical Aspects of Software Engineering, September 13-15, 2017 Nice, France
  • Winter School on Runtime Verification 2nd ARVI COST School on Runtime Verification
  • WODES'2014 12th IFAC – IEEE International Workshop on Discrete Event Systems, École Normale Supérieure de Cachan, France, May 14-16, 2014
© 2011-2017 Yliès Falcone Suffusion theme by Sayontan Sinha