Jesús Mauricio Chimento

According to our database, Jesús Mauricio Chimento authored at least 5 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Testing meets static and runtime verification.

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

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

2015

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

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Proceedings of the Runtime Verification - 6th International Conference, 2015

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

Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider

Proceedings of the FM 2015: Formal Methods, 2015

2013

Formally Verified Implementation of an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013