Alexandre Donzé

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

29h-index5.4kcitations83works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(55), Software Testing and Debugging Techniques(17), Embedded Systems Design Techniques(14), Model-Driven Software Engineering Techniques(13), Advanced Control Systems Optimization(10)

Publications83 total

Signal Sampling and Optimisation Under Symbolic Timed Automata Constraints
Lecture notes in computer science·2025Open Access
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
arXiv (Cornell University)·2024Open Access
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
2023
On Input Generators for Cyber–Physical Systems Falsification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2023
Wordgen : a Timed word Generation Tool
2023· 3 citedOpen Access
Multi-Requirement Testing Using Focused Falsification
2022· 7 citedOpen Access
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
EPiC series in computing·2021· 22 citedOpen Access
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
EPiC series in computing·2021· 6 citedOpen Access
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
EPiC series in computing·2020· 12 citedOpen Access
ARCH-COMP 2020 Category Report: Falsification
EPiC series in computing·2020· 27 citedOpen Access
Interpretable classification of time-series data using efficient enumerative techniques
2020· 1 citedOpen Access
BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2020Open Access
Falsification of Cyber-Physical Systems with Constrained Signal Spaces
Lecture notes in computer science·2020· 11 citedOpen Access
Interpretable Classification of Time-Series Data using Efficient\n Enumerative Techniques
arXiv (Cornell University)·2019Open Access
ARCH-COMP 2019 Category Report: Falsification
EPiC series in computing·2019· 28 citedOpen Access
Interface-aware signal temporal logic
2019· 29 cited
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Journal of Automated Reasoning·2019· 120 cited
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications
EPiC series in computing·2018· 25 citedOpen Access
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lecture notes in computer science·2018· 306 cited
Robust online monitoring of signal temporal logic
Formal Methods in System Design·2017· 178 cited
page 1 of 5Next →

Frequent Co-authors

Sanjit A. Seshia(16), Oded Maler(11), Vasumathi Raman(7), Goran Frehse(6), Jyotirmoy V. Deshmukh(6), Xiaoqing Jin(6), James Kapinski(6), Thao Dang(5), Alberto Sangiovanni‐Vincentelli(5), Mehdi Maasoumy(4), Richard M. Murray(4), Georgios Fainekos(4), Dejan Ničković(4), Tommaso Dreossi(3), Radu Grosu(3), Tomoya Yamaguchi(3), Gidon Ernst(3), Paolo Arcaini(3), Logan Mathesen(3), Giulia Pedrielli(3)