Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin. Hippo: A formal-model execution engine to control and verify critical real-time systems. Journal of Systems and Software, 181:111033, 2021. [doi]
@article{HladikIDT21,
title = {Hippo: A formal-model execution engine to control and verify critical real-time systems},
author = {Pierre-Emmanuel Hladik and Félix Ingrand and Silvano Dal-Zilio and Reyyan Tekin},
year = {2021},
doi = {10.1016/j.jss.2021.111033},
url = {https://doi.org/10.1016/j.jss.2021.111033},
researchr = {https://researchr.org/publication/HladikIDT21},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {181},
pages = {111033},
}