Concepedia

Jesús Mauricio Chimento

JM

Statistics

Publications

2

Citations

43

H-Index

2

Active since

2014

Affiliations

Chalmers University of Technology(Current)

Jesús Mauricio Chimento is an author at Chalmers University of Technology specializing in system software, formal methods, and data security.

Top concepts

Publications per year

2014–2017

2

Publications

2

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace et al. · Formal Methods in System Design · 2017 · 33 citations · Full text

Formally Verified Implementation of an Idealized Model of Virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014 · 10 citations · Full text

, , +18

1–2 of 2