Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. - Thao Dang 001; Alexandre Donzé; Oded Maler (FMCAD, 2004)

On temporal difference algorithms for continuous systems. - Alexandre Donzé (ICINCO, 2005)

Systematic Simulation Using Sensitivity Analysis. - Alexandre Donzé; Oded Maler (HSCC, 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é (2007)

Sensitive state-space exploration. - Thao Dang 001; Alexandre Donzé; Oded Maler; Noa Shalev (CDC, 2008)

Control software model checking using bisimulation functions for nonlinear systems. - James Kapinski; Alexandre Donzé; Flavio Lerda; Hitashyam Maka; Silke Wagner; Bruce H. Krogh (CDC, 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 (Haifa Verification Conference, 2008)

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. - Alexandre Donzé; Bruce H. Krogh; Akshay Rajhans (HSCC, 2009)

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. - Alexandre Donzé; Gilles Clermont; Axel Legay; Christopher James Langmead (RECOMB, 2009)

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. - Alexandre Donzé (CAV, 2010)

Robust Satisfaction of Temporal Logic over Real-Valued Signals. - Alexandre Donzé; Oded Maler (FORMATS, 2010)

On simulation-based probabilistic model checking of mixed-analog circuits. - Edmund M. Clarke; Alexandre Donzé; Axel Legay (Formal Methods Syst. Des., 2010)

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. - Alexandre Donzé; Gilles Clermont; Christopher James Langmead (J. Comput. Biol., 2010)

SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)

Parametric Identification of Temporal Properties. - Eugene Asarin; Alexandre Donzé; Oded Maler; Dejan Nickovic (RV, 2011)

On Temporal Logic and Signal Processing. - Alexandre Donzé; Oded Maler; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Scott A. Smolka (ATVA, 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 (HSB, 2012)

Efficient Robust Monitoring for STL. - Alexandre Donzé; Thomas Ferrère; Oded Maler (CAV, 2013)

Modular, hierarchical models of control systems in SpaceEx. - Alexandre Donzé; Goran Frehse (ECC, 2013)

On Signal Temporal Logic. - Alexandre Donzé (RV, 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 (SPIN, 2013)

Producing a Set of Models for the Iron Homeostasis Network. - Nicolas Mobilia; Alexandre Donzé; Jean Marc Moulis; Eric Fanchon (HSB, 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)

Model predictive control with signal temporal logic specifications. - Vasumathi Raman; Alexandre Donzé; Mehdi Maasoumy; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CDC, 2014)

Model predictive control from signal temporal logic specifications: a case study. - Vasumathi Raman; Mehdi Maasoumy; Alexandre Donzé (CyPhy, 2014)

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. - Garvit Juniwal; Alexandre Donzé; Jeff C. Jensen; Sanjit A. Seshia (EMSOFT, 2014)

Machine Improvisation with Formal Specifications. - Alexandre Donzé; Rafael Valle; Ilge Akkaya; Sophie Libkind; Sanjit A. Seshia; David Wessel (ICMC, 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 001; et al. (BuildSys, 2014)

A Contract-Based Methodology for Aircraft Electric Power System Design. - Pierluigi Nuzzo 002; Huan Xu; Necmiye Ozay; John B. Finn; Alberto L. Sangiovanni-Vincentelli; Richard M. Murray; Alexandre Donzé; Sanjit A. Seshia (IEEE Access, 2014)

Automotive systems requirement mining using breach. - Alexandre Donzé; Xiaoqing Jin; Jyotirmoy V. Deshmukh; Sanjit A. Seshia (ACC, 2015)

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. - Alexandre Donzé; Vasumathi Raman (ARCH@CPSWeek, 2015)

Control Improvisation. - Daniel J. Fremont; Alexandre Donzé; Sanjit A. Seshia; David Wessel (FSTTCS, 2015)

Reactive synthesis from signal temporal logic specifications. - Vasumathi Raman; Alexandre Donzé; Dorsa Sadigh; Richard M. Murray; Sanjit A. Seshia (HSCC, 2015)

Clustering-Based Active Learning for CPSGrader. - Garvit Juniwal; Sakshi Jain; Alexandre Donzé; Sanjit A. Seshia (L@S, 2015)

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. - Tommaso Dreossi; Thao Dang 001; Alexandre Donzé; James Kapinski; Xiaoqing Jin; Jyotirmoy V. Deshmukh (NFM, 2015)

EVL: A framework for multi-methods in C++. - Yannick Le Goc; Alexandre Donzé (Sci. Comput. Program., 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)

Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. - Tomoya Yamaguchi 001; Tomoyuki Kaga; Alexandre Donzé; Sanjit A. Seshia (FMCAD, 2016)

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. - Shromona Ghosh; Dorsa Sadigh; Pierluigi Nuzzo 002; Vasumathi Raman; Alexandre Donzé; Alberto L. Sangiovanni-Vincentelli; S. Shankar Sastry; Sanjit A. Seshia (HSCC, 2016)

Control Improvisation with Probabilistic Temporal Specifications. - Ilge Akkaya; Daniel J. Fremont; Rafael Valle; Alexandre Donzé; Edward A. Lee; Sanjit A. Seshia (IoTDI, 2016)

Learning and Visualizing Music Specifications Using Pattern Graphs. - Rafael Valle; Daniel J. Fremont; Ilge Akkaya; Alexandre Donzé; Adrian Freed; Sanjit A. Seshia (ISMIR, 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)

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)

Classification and Coverage-Based Falsification for Embedded Control Systems. - Arvind S. Adimoolam; Thao Dang 001; Alexandre Donzé; James Kapinski; Xiaoqing Jin (CAV (1), 2017)

Control Improvisation. - Daniel J. Fremont; Alexandre Donzé; Sanjit A. Seshia (CoRR, 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)

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)

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 001 (Lectures on Runtime Verification, 2018)

ARCH-COMP 2019 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Alexandre Donzé; Georgios Fainekos; Logan Mathesen; Giulia Pedrielli; Shakiba Yaghoubi; Yoriyuki Yamagata; Zhenya Zhang (ARCH@CPSIoTWeek, 2019)

Interface-aware signal temporal logic. - Thomas Ferrère; Dejan Nickovic; Alexandre Donzé; Hisahiro Ito; James Kapinski (HSCC, 2019)

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. - Tommaso Dreossi; Alexandre Donzé; Sanjit A. Seshia (J. Autom. Reason., 2019)

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. - Johan Lidén Eddeland; Alexandre Donzé; Sajed Miremadi; Knut Åkesson (ARCH, 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; et al. (ARCH, 2020)

BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). - Alexandre Donzé (ASD@DATE, 2020)

Interpretable classification of time-series data using efficient enumerative techniques. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Aniruddh Gopinath Puranic; Marcell Vazquez-Chanlatte; Alexandre Donzé (HSCC, 2020)

Falsification of Cyber-Physical Systems with Constrained Signal Spaces. - Benoît Barbot; Nicolas Basset; Thao Dang 001; Alexandre Donzé; James Kapinski; Tomoya Yamaguchi 001 (NFM, 2020)

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 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. - Zahra Ramezani; Alexandre Donzé; Martin Fabian; Knut Åkesson (ARCH@ADHS, 2021)

Multi-Requirement Testing Using Focused Falsification. - Johan Lidén Eddeland; Alexandre Donzé; Knut Åkesson (HSCC, 2022)

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. - Thao Dang 001; Alexandre Donzé; Inzemamul Haque; Nikolaos Kekatos; Indranil Saha (CDC, 2023)

Wordgen : a Timed word Generation Tool. - Benoît Barbot; Nicolas Basset; Alexandre Donzé (HSCC, 2023)

On Input Generators for Cyber-Physical Systems Falsification. - Zahra Ramezani; Alexandre Donzé; Martin Fabian; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)