( en | de | ru )

 

Disambiguation of "Donzé, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
On Input Generators for Cyber-Physical Systems Falsification.

, , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (4): 1274-1287 (April 2024)

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. You can also use the button next to the name to display some publications already assigned to the person.

Alexandre Donzé

Yves-Marcel Donzé

Alexandre Varnek

Alexandre Martins

Alexandre Darmoise

 

Other publications of authors with the same name

Interface-aware signal temporal logic., , , , and . HSCC, page 57-66. ACM, (2019)ARCH-COMP 2019 Category Report: Falsification., , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 129-140. EasyChair, (2019)Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CoRR, (2024)Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators., , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 195-202. EasyChair, (2021)BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract).. ASD@DATE, volume 79 of OASIcs, page 5:1-5:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Compositional Falsification of Cyber-Physical Systems with Machine Learning Components., , and . J. Autom. Reason., 63 (4): 1031-1053 (2019)Multi-Requirement Testing Using Focused Falsification., , and . HSCC, page 4:1-4:11. ACM, (2022)ARCH-COMP 2021 Category Report: Falsification with Validation of Results., , , , , , , , , and 8 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 133-152. EasyChair, (2021)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CDC, page 5339-5344. IEEE, (2023)Modular, hierarchical models of control systems in SpaceEx., and . ECC, page 4244-4251. IEEE, (2013)