Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Simon Thrane Hansen, Cláudio Gomes 0001, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock. Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In Alberto Lluch-Lafuente, Anastasia Mavridou, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12863 of Lecture Notes in Computer Science, pages 3-20, Springer, 2021. [doi]

The following publications are possibly variants of this publication:

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive stepsSimon 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. STTT, 24(6):999-1024, 2022. [doi]

runs on WebDSL