Reference : ARCH-COMP 2020 Category Report: Falsification
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/45506
ARCH-COMP 2020 Category Report: Falsification
English
Ernst, Gidon [Ludwig-Maximilians-University (LMU), Munich, Germany]
Arcaini, Paolo [National Institute of Informatics (NII), Tokyo, Japan]
Bennani, Ismail [École Normale Supérieure (ENS), Paris, France]
Donzé, Alexandre [Decyphir SAS, Moirans, France]
Fainekos, Georgios [Arizona State University (ASU), Tempe, USA]
Frehse, Goran [Arizona State University (ASU), Tempe, USA]
Mathesen, Logan [Arizona State University (ASU), Tempe, USA]
Menghi, Claudio mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Pedrinelli, Giulia [Arizona State University (ASU), Tempe, USA]
Pouzet, Marc [École Normale Supérieure (ENS), Paris, France]
Yaghoubi, Shakiba [National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan]
Yamagata, Yoriyuki [National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan]
Zhang, Zhenya [National Institute of Informatics (NII), Tokyo, Japan]
25-Sep-2020
EPiC Series in Computing
No
[en] Continuous and Hybrid Systems ; falsification ; competition
http://hdl.handle.net/10993/45506
H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ARCH-COMP_2020_Category_Report_Falsification.pdfPublisher postprint499.98 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.