Standard
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). / Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliés; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joao M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander.
I:
Formal Methods in System Design, Bind 54, Nr. 3, 2019, s. 279-335.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Harvard
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, '
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)',
Formal Methods in System Design, bind 54, nr. 3, s. 279-335.
https://doi.org/10.1007/s10703-019-00337-w
APA
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).
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
Formal Methods in System Design,
54(3), 279-335.
https://doi.org/10.1007/s10703-019-00337-w
Vancouver
Sánchez C, Schneider G, Ahrendt W, Bartocci E, Bianculli D, Colombo C o.a.
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
Formal Methods in System Design. 2019;54(3):279-335.
https://doi.org/10.1007/s10703-019-00337-w
Author
Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliés ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joao M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander. / A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). I: Formal Methods in System Design. 2019 ; Bind 54, Nr. 3. s. 279-335.
Bibtex
@article{bf7af76675bb4724a52e866458004009,
title = "A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)",
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 Sr{\d}an Krsti{\'c} and Louren{\c c}o, {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 = "54",
pages = "279--335",
journal = "Formal Methods in System Design",
issn = "0925-9856",
publisher = "Springer Netherlands",
number = "3",
}
RIS
TY - JOUR
T1 - A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
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ć, Srđan
AU - Lourenço, 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 - Journal article
VL - 54
SP - 279
EP - 335
JO - Formal Methods in System Design
JF - Formal Methods in System Design
SN - 0925-9856
IS - 3
ER -