Jesús Mauricio Chimento

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java

Gordon J. Pace, Wolfgang Ahrendt, Gerardo Schneider, 2015, RV.

A Specification Language for Static and Runtime Verification of Data and Control Properties

Gordon J. Pace, Wolfgang Ahrendt, Gerardo Schneider, 2015, FM.

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Gordon J. Pace, Wolfgang Ahrendt, Gerardo Schneider, 2017, Formal Methods Syst. Des..

Formally Verified Implementation of an Idealized Model of Virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, 2013, TYPES.

19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France

Ralph Matthes, Gilles Barthe, Gustavo Betarte, 2014, TYPES.

Testing Meets Static and Runtime Verification

Wolfgang Ahrendt, Gerardo Schneider, Jesús Mauricio Chimento, 2018, 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Jesús Mauricio Chimento, G. Schneider, Wolfgang Ahrendt, 2017, Formal methods in system design.