Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Simon Thrane Hansen' in GoogleThis author has not been identified. Look up 'Casper Thule' in GoogleThis author has not been identified. Look up 'Cláudio Gomes 0001' in GoogleThis author has not been identified. Look up 'Jaco van de Pol' in GoogleThis author has not been identified. Look up 'Maurizio Palmieri' in GoogleThis author has not been identified. Look up 'Emin Oguz Inci' in GoogleThis author has not been identified. Look up 'Frederik Madsen' in GoogleThis author has not been identified. Look up 'Jesus Alfonso' in GoogleThis author has not been identified. Look up 'José Ángel Castellanos 0001' in GoogleThis author has not been identified. Look up 'José Manuel Rodriguez-Fortun' in Google

runs on WebDSL