Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)

César Sánchez; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo; Yliès Falcone; Adrian Francalanza; Srdan Krstić; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; Jose Rufino; Julien Signoles; Dmitriy Traytel; Alexander Weiss

doi:10.1007/s10703-019-00343-y

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)

César Sánchez
, Gerardo Schneider
, Wolfgang Ahrendt
, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone
, Adrian Francalanza
, Srdan Krstić
, João M. Lourenço
, Dejan Nickovic
, Gordon J. Pace
, Jose Rufino
, Julien Signoles
, Dmitriy Traytel
, Alexander Weiss

Research output: Contribution to journal › Comment/debate

Abstract

The correct name of the seventh author is Yliès Falcone. His correct affiliation is Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 - Grenoble, France The original article has been updated.

Original language	English
Pages (from-to)	72
Number of pages	1
Journal	Formal Methods in System Design
Volume	55
Issue number	1
DOIs	https://doi.org/10.1007/s10703-019-00343-y
Publication status	Published - 1 Dec 2019
Externally published	Yes

Access to Document

10.1007/s10703-019-00343-y

Cite this

Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D., & Weiss, A. (2019). Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w). Formal Methods in System Design, 55(1), 72. https://doi.org/10.1007/s10703-019-00343-y

@article{37907664adcb445e8c287cc17c429422,

title = "Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)",

abstract = "The correct name of the seventh author is Yli{\`e}s Falcone. His correct affiliation is Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 - Grenoble, France The original article has been updated.",

author = "C{\'e}sar S{\'a}nchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Yli{\`e}s Falcone and Adrian Francalanza and Srdan Krsti{\'c} and Louren{\c c}o, \{Jo{\~a}o M.\} and Dejan Nickovic and Pace, \{Gordon J.\} and Jose Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Science+Business Media, LLC, part of Springer Nature.",

year = "2019",

month = dec,

day = "1",

doi = "10.1007/s10703-019-00343-y",

language = "English",

volume = "55",

pages = "72",

journal = "Formal Methods in System Design",

issn = "0925-9856",

number = "1",

}

Sánchez, C, Schneider, G, Ahrendt, W, Bartocci, E, Bianculli, D, Colombo, C, Falcone, Y, Francalanza, A, Krstić, S, Lourenço, JM, Nickovic, D, Pace, GJ, Rufino, J, Signoles, J, Traytel, D & Weiss, A 2019, 'Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)', Formal Methods in System Design, vol. 55, no. 1, pp. 72. https://doi.org/10.1007/s10703-019-00343-y

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w). / Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang et al.
In: Formal Methods in System Design, Vol. 55, No. 1, 01.12.2019, p. 72.

Research output: Contribution to journal › Comment/debate

TY - JOUR

T1 - Correction to

T2 - A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)

AU - Sánchez, César

AU - Schneider, Gerardo

AU - Ahrendt, Wolfgang

AU - Bartocci, Ezio

AU - Bianculli, Domenico

AU - Colombo, Christian

AU - Falcone, Yliès

AU - Francalanza, Adrian

AU - Krstić, Srdan

AU - Lourenço, João M.

AU - Nickovic, Dejan

AU - Pace, Gordon J.

AU - Rufino, Jose

AU - Signoles, Julien

AU - Traytel, Dmitriy

AU - Weiss, Alexander

PY - 2019/12/1

Y1 - 2019/12/1

N2 - The correct name of the seventh author is Yliès Falcone. His correct affiliation is Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 - Grenoble, France The original article has been updated.

AB - The correct name of the seventh author is Yliès Falcone. His correct affiliation is Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 - Grenoble, France The original article has been updated.

U2 - 10.1007/s10703-019-00343-y

DO - 10.1007/s10703-019-00343-y

M3 - Comment/debate

AN - SCOPUS:85075177800

SN - 0925-9856

VL - 55

SP - 72

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)

Abstract

Access to Document

Fingerprint

Cite this