A survey of challenges for runtime verification from advanced application domains (beyond software)

Cesar Sanchez; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo; Ylies Falcone; Adrian Francalanza; Srdan Krstic; Joao M. Lourenco; Dejan Nickovic; Gordon J. Pace; Jose Rufino; Julien Signoles; Dmitriy Traytel; Alexander Weiss

doi:10.1007/s10703-019-00337-w

A survey of challenges for runtime verification from advanced application domains (beyond software)

Cesar Sanchez
, Gerardo Schneider
, Wolfgang Ahrendt
, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Ylies Falcone
, Adrian Francalanza
, Srdan Krstic
, Joao M. Lourenco
, Dejan Nickovic
, Gordon J. Pace
, Jose Rufino
, Julien Signoles
, Dmitriy Traytel
, Alexander Weiss

TU Wien

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	279-335
Seitenumfang	57
Fachzeitschrift	Formal Methods in System Design
Volume	3
Issue	54
DOIs	https://doi.org/10.1007/s10703-019-00337-w
Publikationsstatus	Veröffentlicht - 2019

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1007/s10703-019-00337-wLizenz: Nicht angegeben

Diese Publikation zitieren

Sanchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstic, S., Lourenco, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D., & Weiss, A. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 3(54), 279-335. https://doi.org/10.1007/s10703-019-00337-w

@article{99c26993a7f641d7bfdcfba427ece50e,

title = "A survey of challenges for runtime verification from advanced application domains (beyond software)",

author = "Cesar Sanchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Ylies Falcone and Adrian Francalanza and Srdan Krstic and Lourenco, \{Joao M.\} and Dejan Nickovic and Pace, \{Gordon J.\} and Jose Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss",

year = "2019",

doi = "10.1007/s10703-019-00337-w",

language = "English",

volume = "3",

pages = "279--335",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "54",

}

Sanchez, C, Schneider, G, Ahrendt, W, Bartocci, E, Bianculli, D, Colombo, C, Falcone, Y, Francalanza, A, Krstic, S, Lourenco, JM, Nickovic, D, Pace, GJ, Rufino, J, Signoles, J, Traytel, D & Weiss, A 2019, 'A survey of challenges for runtime verification from advanced application domains (beyond software)', Formal Methods in System Design, Vol. 3, Nr. 54, S. 279-335. https://doi.org/10.1007/s10703-019-00337-w

TY - JOUR

T1 - A survey of challenges for runtime verification from advanced application domains (beyond software)

AU - Sanchez, Cesar

AU - Schneider, Gerardo

AU - Ahrendt, Wolfgang

AU - Bartocci, Ezio

AU - Bianculli, Domenico

AU - Colombo, Christian

AU - Falcone, Ylies

AU - Francalanza, Adrian

AU - Krstic, Srdan

AU - Lourenco, Joao M.

AU - Nickovic, Dejan

AU - Pace, Gordon J.

AU - Rufino, Jose

AU - Signoles, Julien

AU - Traytel, Dmitriy

AU - Weiss, Alexander

PY - 2019

Y1 - 2019

U2 - 10.1007/s10703-019-00337-w

DO - 10.1007/s10703-019-00337-w

M3 - Article

SN - 0925-9856

VL - 3

SP - 279

EP - 335

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 54

ER -