Jesus Mauricio Chimento
Título
Citado por
Citado por
Ano
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification, 297-305, 2015
332015
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 (1), 200-265, 2017
282017
A specification language for static and runtime verification of data and control properties
W Ahrendt, JM Chimento, GJ Pace, G Schneider
International Symposium on Formal Methods, 108-125, 2015
272015
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
172014
Testing Meets Static and Runtime Verification
JM Chimento, W Ahrendt, G Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE’18). ACM …, 2018
42018
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
KeY+ LARVA= STARVOORS
W Ahrendt, GJ Pace
University of Malta. Faculty of ICT, 2015
2015
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
Unified Static and Runtime Verification of Object-Oriented Software
W Ahrendt, M Chimento, G Schneider, GJ Pace
Estructuras de Datos Herramientas Matemáticas
JM Rabasedas, JM Chimento, G Huck
Ciclo de Charlas de los Viernes Records Extensibles en Haskell
JM Chimento
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–16