Formally Verified Implementation of an Idealized Model of Virtualization. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna 001 (TYPES, 2013)

A Specification Language for Static and Runtime Verification of Data and Control Properties. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (FM, 2015)

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (RV, 2015)

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (Formal Methods Syst. Des., 2017)

Testing meets static and runtime verification. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gerardo Schneider (FormaliSE@ICSE, 2018)