Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
DC Field
Value
Language
dc.contributor.author
Bartocci, Ezio
-
dc.contributor.author
Falcone, Yliès
-
dc.contributor.editor
Margaria, Tiziana
-
dc.contributor.editor
Steffen, Bernhard
-
dc.date.accessioned
2022-08-04T16:57:25Z
-
dc.date.available
2022-08-04T16:57:25Z
-
dc.date.issued
2018
-
dc.identifier.citation
<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E., & Falcone, Y. (2018). RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). In T. Margaria & B. Steffen (Eds.), <i>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. ISoLA 2018, Proceedings, Part IV</i> (pp. 3–8). Springer. https://doi.org/10.1007/978-3-030-03427-6_1</div>
</div>
-
dc.identifier.isbn
9783030034269
-
dc.identifier.isbn
9783030034276
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/57559
-
dc.description.abstract
This paper introduces the RV-TOP track at ISoLA´18. The purpose of the track is to bring together experts on runtime verification and industry practitioners domains to (i) disseminate advanced research topics (ii) disseminate current industrial challenges and (iii) get RV more attractive to industry and usable in additional application domains. The track consists of eight contributed papers presented during three sessions.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.contributor.affiliation
Université Grenoble Alpes, France
-
dc.contributor.editoraffiliation
University of Potsdam, Germany
-
dc.contributor.editoraffiliation
TU Dortmund University, Germany
-
dc.relation.isbn
978-3-030-03427-6
-
dc.relation.doi
10.1007/978-3-030-03427-6
-
dc.relation.issn
0302-9743
-
dc.description.startpage
3
-
dc.description.endpage
8
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. ISoLA 2018, Proceedings, Part IV
-
tuw.container.volume
11247
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.book.chapter
1
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-030-03427-6_1
-
dc.description.numberOfPages
6
-
tuw.author.orcid
0000-0002-0114-0641
-
tuw.editor.orcid
0000-0002-5547-9739
-
tuw.editor.orcid
0000-0001-9619-1558
-
tuw.event.name
8th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2018)
-
tuw.event.startdate
05-11-2018
-
tuw.event.enddate
09-11-2018
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Limassol
-
tuw.event.country
CY
-
tuw.event.presenter
Bartocci, Ezio
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems