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
292015
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
252015
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
232017
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
162014
Testing Meets Static and Runtime Verification
JM Chimento, W Ahrendt, G Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE’18). ACM …, 2018
22018
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
Chalmers Tekniska Hogskola (Sweden), 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