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. More information on RV 16 is available at http://rv2016.imag.fr
Category: Event
Best Paper Award at EDOC 2016
The paper entitled Decentralized Enforcement of Artefact Lifecycles co authored with S. Hallé, R. Khoury, and A. El-Hokayem received the Best Paper Award from EDOC 2016 Program Committee.
SAC SVT 2017 – 2 weeks from the deadline
The deadline for submitting paper to the 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track, April 3 – 7, 2017, Marrakech, Morocco, is in two weeks. More information: http://http://antares.sip.ucm.es/svt2017/, and http://www.sigapp.org/sac/sac2017/
RV 2016 programme is online
The programme of the 16th International Conference on Runtime Verification is available on RV 2016 Website. Programme
RV 16 deadlines extended
Following several requests, the deadlines for submitting papers to RV 16 have been extended as follows: – Abstract deadline: Friday May 20 (AoE). – Paper and tutorial deadline: Friday May 27 (AoE).
@ Srinivas Pinisetty’s Ph.D. defense
Today at 1:30pm, Srinivas Pinisetty will defend his Ph.D. thesis on Runtime Enforcement of Timed Properties at Inria Rennes, Salle Métivier. Jury: Martin LEUCKER Didier LIME Sophie PINCHINAT Frédéric HERBRETEAU Yliès FALCONE Thierry JÉRON Hervé MARCHAND Here is the abstract of the thesis: Runtime enforcement is a verification/validation technique aiming at correcting possibly incorrect executions of […]
COST ARVI: Management Committee Meeting in Brussel, Belgium
Today is officially the first day of the COST Action Runtime Verification beyond Monitoring (ARVI). A meeting of the Management Committee (MC) will be held in COST offices in Belgium. I am representing France in the MC. Below is a description of the COST action: Runtime verification (RV) is a computing analysis paradigm based on observing a […]
CRV 2015 – The 2nd International Competition on Runtime Verification
Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need […]
@ Conseil académique du Consortium d’appui à l’université Galatasaray
Conseil académique du Consortium d’appui à l’université Galatasaray dans les locaux de l’université Paris 1 Panthéon-Sorbonne le vendredi 12 décembre à 14h00. L’Université Joseph Fourier est membre du consortium d’appui à l’université Galatasaray, Istanbul, Turquie.
@ RV 2014 this week
This week I am attending RV 2014, the 14th International Conference on Runtime Verification, September 22 – September 25, 2014 Toronto, Canada. In addition to enjoying the nice talks from the RV community, I will present the current status of CSRV 2014, the first international Competition on Software for Runtime Verification that I am co-chairing with […]