Follow
Jesus Mauricio Chimento
Title
Cited by
Cited by
Year
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
382015
Verifying data-and control-oriented properties combining static and runtime verification: theory and tools
W Ahrendt, JM Chimento, GJ Pace, G Schneider
Formal Methods in System Design 51, 200-265, 2017
372017
A specification language for static and runtime verification of data and control properties
W Ahrendt, JM Chimento, GJ Pace, G Schneider
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
332015
Formally verified implementation of an idealized model of virtualization
G Barthe, G Betarte, JD Campo, JM Chimento, C Luna
19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014
212014
Testing Meets Static and Runtime Verification
JM Chimento, W Ahrendt, G Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE’18). ACM …, 2018
112018
StaRVOOrS: A Framework for Unified Static and Runtime Verification of Object-Oriented Software
JM Chimento, W Ahrendt, G Pace, G Schneider
12014
Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs
JM Chimento
PQDT-Global, 2019
2019
StaRVOOrS User Manual (release 1.7)
JM Chimento
2018
Unified Static and Runtime Verification of Object-Oriented Software
JM Chimento
PQDT-Global, 2017
2017
StaRVOOrS: unifying static and runtime verification of Java
W Ahrendt, JM Chimento, GJ Pace, G Schneider
Reykjavik University, 2015
2015
Análisis de modelos de memoria en plataformas de virtualización. Formalización de un prototipo funcional de plataforma con Cache y Tlb
JMM Chimento
Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional …, 2012
2012
Modelos de memoria en entornos de virtualización
JMM Chimento, C Luna, G Betarte Guidi, JD Campo
Reportes Técnicos 12-02, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–12