From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract).

A. Donzé. ASD@DATE, том 79 из OASIcs, стр. 5:1-5:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alexandre Donzé

Yves-Marcel Donzé

Alexandre Varnek

Alexandre Martins

Alexandre Darmoise

Другие публикации лиц с тем же именем

Interface-aware signal temporal logic.T. Ferrère, D. Nickovic, A. Donzé, H. Ito, и J. Kapinski. HSCC, стр. 57-66. ACM, (2019)ARCH-COMP 2019 Category Report: Falsification.G. Ernst, P. Arcaini, A. Donzé, G. Fainekos, L. Mathesen, G. Pedrielli, S. Yaghoubi, Y. Yamagata, и Z. Zhang. ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 129-140. EasyChair, (2019)Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.T. Dang, A. Donzé, I. Haque, N. Kekatos, и I. Saha. CoRR, (2024)Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.J. Eddeland, A. Donzé, S. Miremadi, и K. Åkesson. ARCH, том 74 из EPiC Series in Computing, стр. 267-274. EasyChair, (2020)Wordgen : a Timed word Generation Tool.B. Barbot, N. Basset, и A. Donzé. HSCC, стр. 16:1-16:7. ACM, (2023)Falsification of Cyber-Physical Systems with Constrained Signal Spaces.B. Barbot, N. Basset, T. Dang, A. Donzé, J. Kapinski, и T. Yamaguchi. NFM, том 12229 из Lecture Notes in Computer Science, стр. 420-439. Springer, (2020)Multi-Requirement Testing Using Focused Falsification.J. Eddeland, A. Donzé, и K. Åkesson. HSCC, стр. 4:1-4:11. ACM, (2022)ARCH-COMP 2021 Category Report: Falsification with Validation of Results.G. Ernst, P. Arcaini, I. Bennani, A. Chandratre, A. Donzé, G. Fainekos, G. Frehse, K. Gaaloul, J. Inoue, T. Khandait и 8 other автор(ы). ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 133-152. EasyChair, (2021)Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.Z. Ramezani, A. Donzé, M. Fabian, и K. Åkesson. ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 195-202. EasyChair, (2021)BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract).A. Donzé. ASD@DATE, том 79 из OASIcs, стр. 5:1-5:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

BibSonomy

Disambiguation