Alexandre Donzé

Orcid: 0000-0002-1138-5458

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On Input Generators for Cyber-Physical Systems Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2023
Wordgen : a Timed word Generation Tool.
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.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
Multi-Requirement Testing Using Focused Falsification.
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.
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.
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.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Interpretable classification of time-series data using efficient enumerative techniques.
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).
Proceedings of the 2nd International Workshop on Autonomous Systems Design, 2020

ARCH-COMP 2020 Category Report: Falsification.
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.
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.
J. Autom. Reason., 2019

Interface-aware signal temporal logic.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP 2019 Category Report: Falsification.
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.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

2017
Robust online monitoring of signal temporal logic.
Formal Methods Syst. Des., 2017

Model Predictive Control for Signal Temporal Logic Specification.
CoRR, 2017

Control Improvisation.
CoRR, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf., 2016

Specification Mining for Machine Improvisation with Formal Specifications.
Comput. Entertain., 2016

Learning and Visualizing Music Specifications Using Pattern Graphs.
Proceedings of the 17th International Society for Music Information Retrieval Conference, 2016

Control Improvisation with Probabilistic Temporal Specifications.
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.
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.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
Mining Requirements From Closed-Loop Control Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

EVL: A framework for multi-methods in C++.
Sci. Comput. Program., 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Clustering-Based Active Learning for CPSGrader.
Proceedings of the Second ACM Conference on Learning @ Scale, 2015

Reactive synthesis from signal temporal logic specifications.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Control Improvisation.
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.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Automotive systems requirement mining using breach.
Proceedings of the American Control Conference, 2015

2014
A Contract-Based Methodology for Aircraft Electric Power System Design.
IEEE Access, 2014

Distributed control of a swarm of buildings connected to a smart grid: demo abstract.
Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Machine Improvisation with Formal Specifications.
Proceedings of the Music Technology meets Philosophy, 2014

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Model predictive control from signal temporal logic specifications: a case study.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Model predictive control with signal temporal logic specifications.
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.
PLoS Comput. Biol., 2013

Producing a Set of Models for the Iron Homeostasis Network.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Abstraction-Based Guided Search for Hybrid Systems.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

On Signal Temporal Logic.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Modular, hierarchical models of control systems in SpaceEx.
Proceedings of the 12th European Control Conference, 2013

Efficient Robust Monitoring for STL.
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
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Parametric Identification of Temporal Properties.
Proceedings of the Runtime Verification - Second International Conference, 2011

SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.
J. Comput. Biol., 2010

On simulation-based probabilistic model checking of mixed-analog circuits.
Formal Methods Syst. Des., 2010

Robust Satisfaction of Temporal Logic over Real-Valued Signals.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.
Proceedings of the Research in Computational Molecular Biology, 2009

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.
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.
Proceedings of the Hardware and Software: Verification and Testing, 2008

Control software model checking using bisimulation functions for nonlinear systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Sensitive state-space exploration.
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).
PhD thesis, 2007

Systematic Simulation Using Sensitivity Analysis.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2005
On temporal difference algorithms for continuous systems.
Proceedings of the ICINCO 2005, 2005

2004
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004


  Loading...