Jesús Mauricio Chimento

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Specification Language

Data Acquisition

Top Venues

Formal Methods Syst. Des.

Publications

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
Testing meets static and runtime verification. FormaliSE@ICSE (2018)
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. 51 (1) (2017)
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV (2015)
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
A Specification Language for Static and Runtime Verification of Data and Control Properties. FM (2015)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna
Formally Verified Implementation of an Idealized Model of Virtualization. TYPES (2013)