Distinguished paper awards at S&P ’15
May 20, 2015
IMDEA Software Institute faculty member Pierre Yves Strub, and coauthors Benjamin Beurdouche (INRIA), Karthikeyan Bhargavan (INRIA), Antoine Delignat-Lavaud (INRIA), Cedric...
[ Read More ]
COST Action “Runtime Verification Beyond Monitoring (ARVI)” Begins
May 5, 2015
The first scientific meeting of the EU COST Action “Runtime Verification beyond Monitoring (ARVI)” has taken place in Valletta, Malta...
[ Read More ]
