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
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/
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).
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 […]
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 […]
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 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.
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 […]