default search action
Alexandre Donzé
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j11]Zahra Ramezani
, Alexandre Donzé, Martin Fabian
On Input Generators for Cyber-Physical Systems Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4): 1274-1287 (2024) - [i9]Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha:
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR abs/2403.16593 (2024) - 2023
- [c50]Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha:
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC 2023: 5339-5344 - [c49]Benoît Barbot
Wordgen : a Timed word Generation Tool. HSCC 2023: 16:1-16:7 - 2022
- [c48]Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson:
Multi-Requirement Testing Using Focused Falsification. HSCC 2022: 4:1-4:11 - 2021
- [c47]Gidon Ernst
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 2021: 133-152 - [c46]Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson:
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. ARCH@ADHS 2021: 195-202 - 2020
- [c45]Gidon Ernst
ARCH-COMP 2020 Category Report: Falsification. ARCH 2020: 140-152 - [c44]Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson:
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. ARCH 2020: 267-274 - [c43]Alexandre Donzé:
BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). ASD@DATE 2020: 5:1-5:5 - [c42]Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
Interpretable classification of time-series data using efficient enumerative techniques. HSCC 2020: 9:1-9:10 - [c41]Benoît Barbot
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM 2020: 420-439
2010 – 2019
- 2019
- [j10]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63(4): 1031-1053 (2019) - [c40]Gidon Ernst
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek 2019: 129-140 - [c39]Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski:
Interface-aware signal temporal logic. HSCC 2019: 57-66 - [i8]Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé:
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR abs/1907.10265 (2019) - 2018
- [p1]Ezio Bartocci
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification 2018: 135-175 - 2017
- [j9]Jyotirmoy V. Deshmukh, Alexandre Donzé
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51(1): 5-30 (2017) - [c38]Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin:
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) 2017: 483-503 - [c37]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM 2017: 357-372 - [i7]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR abs/1703.00978 (2017) - [i6]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 abs/1703.09563 (2017) - [i5]Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia:
Control Improvisation. CoRR abs/1704.06319 (2017) - 2016
- [j8]Rafael Valle, Alexandre Donzé, Daniel J. Fremont
Specification Mining for Machine Improvisation with Formal Specifications. Comput. Entertain. 14(3): 6:1-6:20 (2016) - [j7]Sergiy Bogomolov
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18(4): 449-467 (2016) - [c36]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: 201-204 - [c35]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC 2016: 31-40 - [c34]Ilge Akkaya, Daniel J. Fremont
Control Improvisation with Probabilistic Temporal Specifications. IoTDI 2016: 187-198 - [c33]Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia:
Learning and Visualizing Music Specifications Using Pattern Graphs. ISMIR 2016: 192-198 - [e1]Eugenio Cinquemani, Alexandre Donzé:
Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings. Lecture Notes in Computer Science 9957, 2016, ISBN 978-3-319-47150-1 [contents] - [i4]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 abs/1602.01883 (2016) - 2015
- [j6]Yannick Le Goc, Alexandre Donzé:
EVL: A framework for multi-methods in C++. Sci. Comput. Program. 98: 531-550 (2015) - [j5]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): 1704-1717 (2015) - [c32]Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Automotive systems requirement mining using breach. ACC 2015: 4097 - [c31]Alexandre Donzé, Vasumathi Raman:
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. ARCH@CPSWeek 2015: 160-168 - [c30]Daniel J. Fremont
Control Improvisation. FSTTCS 2015: 463-474 - [c29]Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray
Reactive synthesis from signal temporal logic specifications. HSCC 2015: 239-248 - [c28]Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia:
Clustering-Based Active Learning for CPSGrader. L@S 2015: 399-403 - [c27]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: 127-142 - [c26]Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. RV 2015: 55-70 - [i3]Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. CoRR abs/1506.08234 (2015) - [i2]Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. CoRR abs/1511.02279 (2015) - 2014
- [j4]Pierluigi Nuzzo, Huan Xu, Necmiye Ozay
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2: 1-25 (2014) - [c25]Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray
Model predictive control with signal temporal logic specifications. CDC 2014: 81-87 - [c24]Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé:
Model predictive control from signal temporal logic specifications: a case study. CyPhy 2014: 52-55 - [c23]Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia:
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. EMSOFT 2014: 24:1-24:10 - [c22]Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel:
Machine Improvisation with Formal Specifications. ICMC 2014 - [c21]Baris Aksanli
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys 2014: 172-173 - [i1]Daniel J. Fremont
Control Improvisation. CoRR abs/1411.0698 (2014) - 2013
- [j3]Szymon Stoma, Alexandre Donzé
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput. Biol. 9(5) (2013) - [c20]Alexandre Donzé, Thomas Ferrère, Oded Maler:
Efficient Robust Monitoring for STL. CAV 2013: 264-279 - [c19]Alexandre Donzé, Goran Frehse
Modular, hierarchical models of control systems in SpaceEx. ECC 2013: 4244-4251 - [c18]Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining requirements from closed-loop control models. HSCC 2013: 43-52 - [c17]Alexandre Donzé:
On Signal Temporal Logic. RV 2013: 382-383 - [c16]Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson
Abstraction-Based Guided Search for Hybrid Systems. SPIN 2013: 117-134 - [c15]Nicolas Mobilia, Alexandre Donzé
Producing a Set of Models for the Iron Homeostasis Network. HSB 2013: 92-98 - 2012
- [c14]Alexandre Donzé, Oded Maler, Ezio Bartocci
On Temporal Logic and Signal Processing. ATVA 2012: 92-106 - [c13]Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration. HSB 2012: 42-57 - 2011
- [c12]Goran Frehse
SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395 - [c11]Eugene Asarin
Parametric Identification of Temporal Properties. RV 2011: 147-160 - 2010
- [j2]Edmund M. Clarke, Alexandre Donzé, Axel Legay:
On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods Syst. Des. 36(2): 97-113 (2010) - [j1]Alexandre Donzé, Gilles Clermont, Christopher James Langmead
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. J. Comput. Biol. 17(3): 325-336 (2010) - [c10]Alexandre Donzé:
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. CAV 2010: 167-170 - [c9]Alexandre Donzé, Oded Maler:
Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS 2010: 92-106
2000 – 2009
- 2009
- [c8]Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179 - [c7]Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169 - 2008
- [c6]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: 4024-4029 - [c5]Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev:
Sensitive state-space exploration. CDC 2008: 4049-4054 - [c4]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: 149-163 - 2007
- [b1]Alexandre Donzé:
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). Joseph Fourier University, Grenoble, France, 2007 - [c3]Alexandre Donzé, Oded Maler:
Systematic Simulation Using Sensitivity Analysis. HSCC 2007: 174-189 - 2005
- [c2]Alexandre Donzé:
On temporal difference algorithms for continuous systems. ICINCO 2005: 55-62 - 2004
- [c1]Thao Dang, Alexandre Donzé, Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD 2004: 21-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: