Alexandre Donzé

Available identifiers

Publication	Date of Publication	Type
Multi-Requirement Testing Using Focused Falsification	2024-02-21	Paper
Wordgen : a Timed word Generation Tool	2024-02-21	Paper
Interpretable classification of time-series data using efficient enumerative techniques	2021-01-25	Paper
Compositional falsification of cyber-physical systems with machine learning components	2019-10-25	Paper
Interface-aware signal temporal logic	2019-10-22	Paper
Robust online monitoring of signal temporal logic	2017-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q5275388	2017-07-13	Paper
Reactive synthesis from signal temporal logic specifications	2017-05-19	Paper
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications	2017-05-19	Paper
Mining requirements from closed-loop control models	2017-05-16	Paper
On Temporal Logic and Signal Processing	2012-11-21	Paper
On simulation-based probabilistic model checking of mixed-analog circuits	2010-09-16	Paper
Robust Satisfaction of Temporal Logic over Real-Valued Signals	2010-09-10	Paper
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models	2009-04-30	Paper
Systematic Simulation Using Sensitivity Analysis	2009-03-11	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper

This page was built for person: Alexandre Donzé