| 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 | 46 | 2017 |
| 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 | 41 | 2015 |
| 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 | 38 | 2015 |
| 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 | 22 | 2014 |
| Testing Meets Static and Runtime Verification JM Chimento, W Ahrendt, G Schneider 6th Conference on Formal Methods in Software Engineering (FormaliSE’18). ACM …, 2018 | 14 | 2018 |
| StaRVOOrS: A Framework for Unified Static and Runtime Verification of Object-Oriented Software JM Chimento, W Ahrendt, G Pace, G Schneider | 1 | 2014 |
| 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 |
| 19th International Conference on Types for Proofs and Programs (TYPES 2013) D Ahman, T Uustalu, F Aschieri, M Zorzi, G Barthe, G Betarte, JD Campo, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2014 | | 2014 |
| 19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/2013-26/04/2013 R Matthes, A Schubert Leibniz International Proceedings in Informatics 26, 2014 | | 2014 |
| 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 | | 2012 |