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

Simon Thrane Hansen; Cláudio Gomes; Maurizio Palmieri; Casper Thule; Jaco van de Pol; Jim Woodcock

doi:10.1007/978-3-030-85248-1_1

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

Simon Thrane Hansen^*
, Cláudio Gomes
, Maurizio Palmieri
, Casper Thule
, Jaco van de Pol
, Jim Woodcock

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

6 Citations (Scopus)

Abstract

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Editors	A L Lafuente, A Mavridou
Number of pages	18
Publisher	Springer
Publication date	2021
Pages	3-20
ISBN (Print)	978-3-030-85248-1
DOIs	https://doi.org/10.1007/978-3-030-85248-1_1
Publication status	Published - 2021
Event	26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 - Virtual, Online Duration: 24 Aug 2021 → 26 Aug 2021

Conference

Conference	26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021
City	Virtual, Online
Period	24/08/2021 → 26/08/2021

Series	Lecture Notes in Computer Science
Volume	12863
ISSN	0302-9743

Access to Document

10.1007/978-3-030-85248-1_1

Library access?

Check availability with the Royal Danish Library

Cite this

@inproceedings{ab0ec53ffbc6483ea292bf4b72dab277,

title = "Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps",

author = "Hansen, \{Simon Thrane\} and Cl{\'a}udio Gomes and Maurizio Palmieri and Casper Thule and \{van de Pol\}, Jaco and Jim Woodcock",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 ; Conference date: 24-08-2021 Through 26-08-2021",

year = "2021",

doi = "10.1007/978-3-030-85248-1\_1",

language = "English",

isbn = "978-3-030-85248-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "3--20",

editor = "Lafuente, \{A L\} and A Mavridou",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Netherlands",

}

Hansen, ST, Gomes, C, Palmieri, M, Thule, C, van de Pol, J & Woodcock, J 2021, Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. in AL Lafuente & A Mavridou (eds), Formal Methods for Industrial Critical Systems. Springer, Lecture Notes in Computer Science, vol. 12863, pp. 3-20, 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021, Virtual, Online, 24/08/2021. https://doi.org/10.1007/978-3-030-85248-1_1

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. / Hansen, Simon Thrane; Gomes, Cláudio; Palmieri, Maurizio et al.
Formal Methods for Industrial Critical Systems. ed. / A L Lafuente; A Mavridou. Springer, 2021. p. 3-20 (Lecture Notes in Computer Science, Vol. 12863).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

AU - Hansen, Simon Thrane

AU - Gomes, Cláudio

AU - Palmieri, Maurizio

AU - Thule, Casper

AU - van de Pol, Jaco

AU - Woodcock, Jim

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-85248-1_1

DO - 10.1007/978-3-030-85248-1_1

M3 - Article in proceedings

AN - SCOPUS:85115149597

SN - 978-3-030-85248-1

T3 - Lecture Notes in Computer Science

SP - 3

EP - 20

BT - Formal Methods for Industrial Critical Systems

A2 - Lafuente, A L

A2 - Mavridou, A

PB - Springer

T2 - 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021

Y2 - 24 August 2021 through 26 August 2021

ER -

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

Abstract

Conference

Access to Document

Library access?

Fingerprint

Cite this