Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesus Alfonso, José Ángel Castellanos 0001, José Manuel Rodriguez-Fortun. Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. STTT, 24(6):999-1024, 2022. [doi]
@article{HansenTGPPIMACR22,
title = {Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps},
author = {Simon Thrane Hansen and Casper Thule and Cláudio Gomes 0001 and Jaco van de Pol and Maurizio Palmieri and Emin Oguz Inci and Frederik Madsen and Jesus Alfonso and José Ángel Castellanos 0001 and José Manuel Rodriguez-Fortun},
year = {2022},
doi = {10.1007/s10009-022-00686-8},
url = {https://doi.org/10.1007/s10009-022-00686-8},
researchr = {https://researchr.org/publication/HansenTGPPIMACR22},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {24},
number = {6},
pages = {999-1024},
}