Alexandre Donzé

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 29

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
On Input Generators for Cyber-Physical Systems Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR (2024)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC (2023)
Benoît Barbot, Nicolas Basset, Alexandre Donzé
Wordgen : a Timed word Generation Tool. HSCC (2023)
Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson
Multi-Requirement Testing Using Focused Falsification. HSCC (2022)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. ARCH@ADHS (2021)
Alexandre Donzé
BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). ASD@DATE (2020)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable classification of time-series data using efficient enumerative techniques. HSCC (2020)
Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. ARCH (2020)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM (2020)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63 (4) (2019)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR (2019)
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
Interface-aware signal temporal logic. HSCC (2019)
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek (2019)
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Model Predictive Control for Signal Temporal Logic Specification. CoRR (2017)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR (2017)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51 (1) (2017)
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) (2017)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM (2017)
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia
Control Improvisation. CoRR (2017)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications. IoTDI (2016)
Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia
Learning and Visualizing Music Specifications Using Pattern Graphs. ISMIR (2016)
Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya, Sanjit A. Seshia, Adrian Freed, David Wessel
Specification Mining for Machine Improvisation with Formal Specifications. Comput. Entertain. 14 (3) (2016)
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC (2016)
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR (2016)
Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donzé, Sanjit A. Seshia
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. FMCAD (2016)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. CoRR (2015)
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications. CoRR (2015)
Alexandre Donzé, Vasumathi Raman
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. ARCH@CPSWeek (2015)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Mining Requirements From Closed-Loop Control Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (11) (2015)
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia
Reactive synthesis from signal temporal logic specifications. HSCC (2015)
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. RV (2015)
Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia
Clustering-Based Active Learning for CPSGrader. L@S (2015)
Yannick Le Goc, Alexandre Donzé
EVL: A framework for multi-methods in C++. Sci. Comput. Program. 98 (2015)
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel
Control Improvisation. FSTTCS (2015)
Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Automotive systems requirement mining using breach. ACC (2015)
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel
Control Improvisation. CoRR (2014)
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2 (2014)
Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel
Machine Improvisation with Formal Specifications. ICMC (2014)
Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys@SenSys (2014)
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Model predictive control with signal temporal logic specifications. CDC (2014)
Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé
Model predictive control from signal temporal logic specifications: a case study. CyPhy (2014)
Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. EMSOFT (2014)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Abstraction-Based Guided Search for Hybrid Systems. SPIN (2013)
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon
Producing a Set of Models for the Iron Homeostasis Network. HSB (2013)
Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput. Biol. 9 (5) (2013)
Alexandre Donzé, Thomas Ferrère, Oded Maler
Efficient Robust Monitoring for STL. CAV (2013)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Mining requirements from closed-loop control models. HSCC (2013)
Alexandre Donzé
On Signal Temporal Logic. RV (2013)
Alexandre Donzé, Goran Frehse
Modular, hierarchical models of control systems in SpaceEx. ECC (2013)
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
On Temporal Logic and Signal Processing. ATVA (2012)
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration HSB (2012)
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic
Parametric Identification of Temporal Properties. RV (2011)
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
SpaceEx: Scalable Verification of Hybrid Systems. CAV (2011)
Alexandre Donzé, Oded Maler
Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS (2010)
Alexandre Donzé
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. CAV (2010)
Alexandre Donzé, Gilles Clermont, Christopher James Langmead
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. J. Comput. Biol. 17 (3) (2010)
Edmund M. Clarke, Alexandre Donzé, Axel Legay
On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods Syst. Des. 36 (2) (2010)
Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB (2009)
Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC (2009)
Edmund M. Clarke, Alexandre Donzé, Axel Legay
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference (2008)
Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev
Sensitive state-space exploration. CDC (2008)
James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
Control software model checking using bisimulation functions for nonlinear systems. CDC (2008)
Alexandre Donzé, Oded Maler
Systematic Simulation Using Sensitivity Analysis. HSCC (2007)
Alexandre Donzé
On temporal difference algorithms for continuous systems. ICINCO (2005)
Thao Dang, Alexandre Donzé, Oded Maler
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD (2004)

Alexandre Donzé.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandre Donzé