Alexandre Donzé

According to our database, Alexandre Donzé authored at least 62 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On Input Generators for Cyber-Physical Systems Falsification.

Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2023

Wordgen : a Timed word Generation Tool.

Benoît Barbot, Nicolas Basset, Alexandre Donzé

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.

Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Multi-Requirement Testing Using Focused Falsification.

Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.

Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Interpretable classification of time-series data using efficient enumerative techniques.

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

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

Alexandre Donzé

Proceedings of the 2nd International Workshop on Autonomous Systems Design, 2020

ARCH-COMP 2020 Category Report: Falsification.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components.

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia

J. Autom. Reason., 2019

Interface-aware signal temporal logic.

Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP 2019 Category Report: Falsification.

Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

2017

Robust online monitoring of signal temporal logic.

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia

Formal Methods Syst. Des., 2017

Model Predictive Control for Signal Temporal Logic Specification.

Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2017

Control Improvisation.

Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia

CoRR, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.

Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Guided search for hybrid systems based on coarse-grained space abstractions.

Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle

Int. J. Softw. Tools Technol. Transf., 2016

Specification Mining for Machine Improvisation with Formal Specifications.

Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya, Sanjit A. Seshia, Adrian Freed, David Wessel

Comput. Entertain., 2016

Learning and Visualizing Music Specifications Using Pattern Graphs.

Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia

Proceedings of the 17th International Society for Music Information Retrieval Conference, 2016

Control Improvisation with Probabilistic Temporal Specifications.

Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia

Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.

Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems.

Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donzé, Sanjit A. Seshia

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Mining Requirements From Closed-Loop Control Models.

Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

EVL: A framework for multi-methods in C++.

Yannick Le Goc, Alexandre Donzé

Sci. Comput. Program., 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.

Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Clustering-Based Active Learning for CPSGrader.

Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia

Proceedings of the Second ACM Conference on Learning @ Scale, 2015

Reactive synthesis from signal temporal logic specifications.

Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Control Improvisation.

Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications.

Alexandre Donzé, Vasumathi Raman

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Automotive systems requirement mining using breach.

Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia

Proceedings of the American Control Conference, 2015

2014

A Contract-Based Methodology for Aircraft Electric Power System Design.

Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia

IEEE Access, 2014

Distributed control of a swarm of buildings connected to a smart grid: demo abstract.

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

Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Machine Improvisation with Formal Specifications.

Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel

Proceedings of the Music Technology meets Philosophy, 2014

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory.

Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia

Proceedings of the 2014 International Conference on Embedded Software, 2014

Model predictive control from signal temporal logic specifications: a case study.

Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Model predictive control with signal temporal logic specifications.

Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.

Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt

PLoS Comput. Biol., 2013

Producing a Set of Models for the Iron Homeostasis Network.

Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Abstraction-Based Guided Search for Hybrid Systems.

Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle

Proceedings of the Model Checking Software - 20th International Symposium, 2013

On Signal Temporal Logic.

Alexandre Donzé

Proceedings of the Runtime Verification - 4th International Conference, 2013

Modular, hierarchical models of control systems in SpaceEx.

Alexandre Donzé, Goran Frehse

Proceedings of the 12th European Control Conference, 2013

Efficient Robust Monitoring for STL.

Alexandre Donzé, Thomas Ferrère, Oded Maler

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration

Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

On Temporal Logic and Signal Processing.

Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Parametric Identification of Temporal Properties.

Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic

Proceedings of the Runtime Verification - Second International Conference, 2011

SpaceEx: Scalable Verification of Hybrid Systems.

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.

Alexandre Donzé, Gilles Clermont, Christopher James Langmead

J. Comput. Biol., 2010

On simulation-based probabilistic model checking of mixed-analog circuits.

Edmund M. Clarke, Alexandre Donzé, Axel Legay

Formal Methods Syst. Des., 2010

Robust Satisfaction of Temporal Logic over Real-Valued Signals.

Alexandre Donzé, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems.

Alexandre Donzé

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.

Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead

Proceedings of the Research in Computational Molecular Biology, 2009

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.

Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008

Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.

Edmund M. Clarke, Alexandre Donzé, Axel Legay

Proceedings of the Hardware and Software: Verification and Testing, 2008

Control software model checking using bisimulation functions for nonlinear systems.

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Sensitive state-space exploration.

Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Trajectory-based Verification and Controller Synthesis for Continuous and Hybrid Systems. (Trajectoires pour la Vérification et la Commande de Systèmes Dynamiques Continus et Hybrides).

Alexandre Donzé

PhD thesis, 2007

Systematic Simulation Using Sensitivity Analysis.

Alexandre Donzé, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2005

On temporal difference algorithms for continuous systems.

Alexandre Donzé

Proceedings of the ICINCO 2005, 2005

2004

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.

Thao Dang, Alexandre Donzé, Oded Maler

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004