×

zbMATH — the first resource for mathematics

Donzé, Alexandre

Compute Distance To:
Author ID: donze.alexandre Recent zbMATH articles by "Donzé, Alexandre"
Published as: Donzé, Alexandre
Documents Indexed: 14 Publications since 2004, including 1 Book

Publications by Year

Citations contained in zbMATH

11 Publications have been cited 59 times in 44 Documents Cited by Year
Robust satisfaction of temporal logic over real-valued signals. Zbl 1290.68071
Donzé, Alexandre; Maler, Oded
18
2010
Systematic simulation using sensitivity analysis. Zbl 1221.93105
Donzé, Alexandre; Maler, Oded
10
2007
Reactive synthesis from signal temporal logic specifications. Zbl 1366.68180
Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A.
9
2015
Mining requirements from closed-loop control models. Zbl 1362.93008
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A.
5
2013
On temporal logic and signal processing. Zbl 1374.68278
Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott
5
2012
Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303
Dang, Thao; Donzé, Alexandre; Maler, Oded
3
2004
Robust online monitoring of signal temporal logic. Zbl 1370.68199
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
2
2017
Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169
Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A.
2
2016
On simulation-based probabilistic model checking of mixed-analog circuits. Zbl 1207.68205
Clarke, Edmund; Donzé, Alexandre; Legay, Axel
2
2010
Parameter synthesis for hybrid systems with an application to Simulink models. Zbl 1237.93089
Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay
2
2009
Compositional falsification of Cyber-physical systems with machine learning components. Zbl 07121999
Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.
1
2019
Compositional falsification of Cyber-physical systems with machine learning components. Zbl 07121999
Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.
1
2019
Robust online monitoring of signal temporal logic. Zbl 1370.68199
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
2
2017
Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169
Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A.
2
2016
Reactive synthesis from signal temporal logic specifications. Zbl 1366.68180
Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A.
9
2015
Mining requirements from closed-loop control models. Zbl 1362.93008
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A.
5
2013
On temporal logic and signal processing. Zbl 1374.68278
Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott
5
2012
Robust satisfaction of temporal logic over real-valued signals. Zbl 1290.68071
Donzé, Alexandre; Maler, Oded
18
2010
On simulation-based probabilistic model checking of mixed-analog circuits. Zbl 1207.68205
Clarke, Edmund; Donzé, Alexandre; Legay, Axel
2
2010
Parameter synthesis for hybrid systems with an application to Simulink models. Zbl 1237.93089
Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay
2
2009
Systematic simulation using sensitivity analysis. Zbl 1221.93105
Donzé, Alexandre; Maler, Oded
10
2007
Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303
Dang, Thao; Donzé, Alexandre; Maler, Oded
3
2004
all top 5

Cited by 128 Authors

3 Bartocci, Ezio
3 Dimarogonas, Dimos V.
3 Julius, A. Agung
3 Seshia, Sanjit Arunkumar
2 Bortolussi, Luca
2 Dang, Thao
2 Deshmukh, Jyotirmoy V.
2 Donzé, Alexandre
2 Girard, Antoine
2 Jha, Susmit
2 Lindemann, Lars
2 Nenzi, Laura
2 Nickovic, Dejan
2 Sánchez, César
1 Ahrendt, Wolfgang
1 Aksaray, Derya
1 Althoff, Matthias
1 Asarin, Eugene
1 Balbus, Joanna
1 Banks, C. J.
1 Belta, Calin
1 Bianculli, Domenico
1 Boskos, Dimitris
1 Bozzelli, Laura
1 Brim, Luboš
1 Buss, Martin
1 Caillaud, Benoît
1 Casagrande, Alberto
1 Ciancia, Vincenzo
1 Clarke, Edmund Melson jun.
1 Colombo, Christian
1 Corner, Sebastien
1 Damm, Werner
1 Danos, Vincent
1 Dasgupta, Pallab
1 Delahaye, Benoît
1 Dluhoš, P.
1 Duggirala, Parasara Sridhar
1 Falcone, Yliès
1 Francalanza, Adrian
1 Fränzle, Martin
1 Gardner, Ryan W.
1 Garnier, Ilias
1 Genin, Daniel
1 Ghosh, Shromona
1 Goldsztejn, Alexandre
1 Goyal, Manish
1 Grosu, Radu
1 Han, Hyejin
1 Harirchi, Farshad
1 Henzinger, Thomas A.
1 Hrydziuszko, Olga
1 Ishii, Daisuke
1 Jackson, Paul B.
1 Jacobs, Swen
1 Jakšić, Stefan
1 Jha, Sumit Kumar
1 Jin, Xiaoqing
1 Johnson, Taylor T.
1 Juniwal, Garvit
1 Kochenderfer, Mykel J.
1 Krogh, Bruce H.
1 Krstić, Srđan
1 Kubica, Krystian
1 Kuwajima, Hiroshi
1 Langmead, Christopher James
1 Le Guernic, Colas
1 Lee, Ritchie
1 Legay, Axel
1 Loreti, Michele
1 Lourenço, João M.
1 Majumdar, Rupak
1 Maler, Oded
1 Mancini, Toni
1 Mari, Federico
1 Massini, Annalisa
1 Massink, Mieke
1 Melatti, Igor
1 Mengshoel, Ole J.
1 Mukherjee, Subhankar
1 Nakae, Toshihiro
1 Nguyen, Thang Trung
1 Nikou, Alexandros
1 Otop, Jan
1 Owen, Michael
1 Ozay, Necmiye
1 Pace, Gordon J.
1 Pappas, George J.
1 Piazza, Carla
1 Platzer, André
1 Prabhu, Vinayak S.
1 Qiao, Wei
1 Quesel, Jan-David
1 Rajhans, Akshay
1 Raman, Vasumathi
1 Ratschan, Stefan
1 Rufino, José
1 Sadigh, Dorsa
1 Šafránek, David
1 Sakr, Mouhammad
...and 28 more Authors

Citations by Year