Alexandre Donzé

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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 in System Design, 2017

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

Control Improvisation.
CoRR, 2017

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

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components.
Proceedings of the NASA Formal Methods - 9th International Symposium, 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.
STTT, 2016

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.
CoRR, 2016

Specification Mining for Machine Improvisation with Formal Specifications.
Computers in Entertainment, 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. on CAD of Integrated Circuits and Systems, 2015

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

Robust Online Monitoring of Signal Temporal Logic.
CoRR, 2015

Control Improvisation with Probabilistic Temporal Specifications.
CoRR, 2015

Robust Online Monitoring of Signal Temporal Logic.
Proceedings of the Runtime Verification - 6th International Conference, 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
Control Improvisation.
CoRR, 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 Computational Biology, 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

Mining requirements from closed-loop control models.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 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.
Journal of Computational Biology, 2010

On simulation-based probabilistic model checking of mixed-analog circuits.
Formal Methods in System Design, 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...