Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/218640
-
Titel: 
ARCH-COMP 2024 Category Report: Falsification
en
Zitat: 
Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M., & Zhenya, Z. (2024). ARCH-COMP 2024 Category Report: Falsification. In ARCH-COMP24: Volume Information : Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (pp. 122–144). https://doi.org/10.29007/hgfv
-
Verlags-DOI: 
10.29007/hgfv
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Khandait, Tanmay 
Formica, Federico 
Arcaini, Paolo 
Chotaliya, Surdeep 
Fainekos, Georgios 
Hekal, Abdelrahman 
Kundu, Atanu 
Lew, Ethan 
Loreti, Michele 
Menghi, Claudio 
Nenzi, Laura 
Pedrielli, Giulia 
Peltomäki, Jarkko 
Porres, Ivan 
Ray, Rajarshi 
Soloviev, Valentin 
Visconti, Ennio 
Waga, Masaki 
Zhenya, Zhang 
-
Organisations­einheit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Erschienen in: 
ARCH-COMP24: Volume Information : Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 
-
Band: 
103
-
Datum (veröffentlicht): 
2024
-
Veranstaltungs­name: 
11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 
en
Veranstaltungs­zeitraum: 
3-Jul-2024
-
Veranstaltungs­ort: 
Boulder, CO, Vereinigte Staaten von Amerika
-
Umfang: 
23
-
Peer Reviewed: 
Ja
-
Keywords: 
benchmarking; cyber physical systems; evaluation; falsification; friendly competition
en
Abstract: 
This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.
en
Weitere Information: 
11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, Part of 8th IFAC Conference on Analysis and Design of Hybrid Systems, Boulder, Colorado USA, July 03, 2024 --- https://easychair.org/publications/paper/fKVR --- https://cps-vo.org/sites/cps-vo.org/files/2024-03/callForSubmissions_ARCH24.pdf
-
Forschungs­schwerpunkte: 
Computer Engineering and Software-Intensive Systems: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

34
aufgerufen am 28.08.2025

Google ScholarTM

Check