Alexandre Donz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2004–2020
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DATE | BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). | Alexandre Donz |
| 2017 | CAV | Classification and Coverage-Based Falsification for Embedded Control Systems. | Arvind S. Adimoolam, Thao Dang, Alexandre Donz, James Kapinski, Xiaoqing Jin |
| 2016 | FMCAD | Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. | Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donz, Sanjit A. Seshia |
| 2015 | RV | Robust Online Monitoring of Signal Temporal Logic. | Jyotirmoy V. Deshmukh, Alexandre Donz, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |
| 2014 | EMSOFT | CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. | Garvit Juniwal, Alexandre Donz, Jeff C. Jensen, Sanjit A. Seshia |
| 2014 | SENSYS | Distributed control of a swarm of buildings connected to a smart grid: demo abstract. | 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 |
| 2013 | CAV | Efficient Robust Monitoring for STL. | Alexandre Donz, Thomas Ferrre, Oded Maler |
| 2013 | RV | On Signal Temporal Logic. | Alexandre Donz |
| 2012 | ATVA | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2011 | CAV | SpaceEx: Scalable Verification of Hybrid Systems. | Goran Frehse, Colas Le Guernic, Alexandre Donz, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
| 2011 | RV | Parametric Identification of Temporal Properties. | Eugene Asarin, Alexandre Donz, Oded Maler, Dejan Nickovic |
| 2010 | CAV | Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. | Alexandre Donz |
| 2009 | RECOMB | Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. | Alexandre Donz, Gilles Clermont, Axel Legay, Christopher James Langmead |
| 2005 | ICINCO | On temporal difference algorithms for continuous systems. | Alexandre Donz |
| 2004 | FMCAD | Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. | Thao Dang, Alexandre Donz, Oded Maler |