Alexandre Donzé

75 papers A* 3B 8C 2Misc 1Journal 20Unranked 38

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