Alexandre Donzé
发表
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
Alexandre Donzé,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Xiaoqing Jin,
Alexandre Donzé,
G. Ciardo,
2014
.
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Dejan Nickovic,
Sriram Sankaranarayanan,
Ezio Bartocci,
2018,
Lectures on Runtime Verification.
Lucie M. Gattepaille,
O. Maler,
P. Tracqui,
2011,
PloS one.
Alexandre Donzé,
Alexandre Donzé,
2007
.
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2015,
Formal Methods in System Design.
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2013
.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
NFM.
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2014,
FSTTCS.
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2016,
CIE.
Alexandre Donzé,
2007
.
Oded Maler,
Alexandre Donzé,
O. Maler,
2010,
FORMATS.
Jyotirmoy V. Deshmukh,
S. Seshia,
Xiaoqing Jin,
2018
.
Alexandre Donzé,
Alexandre Donzé,
2010,
CAV.
Sanjit A. Seshia,
Alexandre Donzé,
Tomoyuki Kaga,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Alexandre Donzé,
S. Shapero,
2005
.
James Kapinski,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
NFM.
Alexandre Donzé,
Georgios Fainekos,
G. Pedrielli,
2019
.
Jyotirmoy V. Deshmukh,
O. Maler,
D. Ničković,
2017
.
O. Maler,
Alexandre Donzé,
G. Batt,
2013,
PLoS Comput. Biol..
Alexandre Donzé,
Alexandre Donzé,
2014
.
BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)
Alexandre Donzé,
Alexandre Donzé,
2020,
ASD@DATE.
Edmund M. Clarke,
James Kapinski,
Alexandre Donzé,
2008
.
Alexandre Donzé,
Georgios Fainekos,
G. Pedrielli,
2020,
ARCH.
Taylor T. Johnson,
A. Podelski,
Alexandre Donzé,
2015,
International Journal on Software Tools for Technology Transfer.
S. Seshia,
Alexandre Donzé,
T. Dreossi,
2019,
Journal of Automated Reasoning.
Alexandre Donzé,
W. Paul,
J. Zentek,
2014
.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
HSCC.
Sanjit A. Seshia,
Vasumathi Raman,
Richard M. Murray,
2015,
HSCC.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2004,
FMCAD.
O. Maler,
Alexandre Donzé,
F. Bertaux,
2013
.
Alexandre Donzé,
Eric Fanchon,
Jean Marc Moulis,
2012,
HSB.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
Journal of Automated Reasoning.
Gidon Ernst,
Marc Pouzet,
Giulia Pedrielli,
2021,
ARCH@ADHS.
Antoine Girard,
Goran Frehse,
Oded Maler,
2011,
CAV.
Gilles Clermont,
Christopher James Langmead,
Alexandre Donzé,
2009,
RECOMB.
Silke Wagner,
Bruce H. Krogh,
James Kapinski,
2008,
2008 47th IEEE Conference on Decision and Control.
Dejan Nickovic,
James Kapinski,
Thomas Ferrère,
2019,
HSCC.
Thomas Ferrère,
Oded Maler,
Alexandre Donzé,
2013,
CAV.
Alexandre Donzé,
Yannick Le Goc,
Alexandre Donzé,
2015,
Sci. Comput. Program..
Alexandre Donzé,
Alexandre Donzé,
2013,
RV.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Richard M. Murray,
2014,
IEEE Access.
Goran Frehse,
Alexandre Donzé,
Alexandre Donzé,
2013,
2013 European Control Conference (ECC).
Garvit Juniwal,
Sanjit A. Seshia,
Sakshi Jain,
2015,
L@S.
Xiaoqing Jin,
Alexandre Donzé,
Thao Dang,
2017,
CAV.
Dejan Nickovic,
Eugene Asarin,
Oded Maler,
2011,
RV.
Oded Maler,
Alexandre Donzé,
O. Maler,
2007,
HSCC.
Alexandre Donzé,
Alexandre Donzé,
2018,
ICINCO.
O. Maler,
Alexandre Donzé,
F. Bertaux,
2013,
PLoS Comput. Biol..
Jyotirmoy V. Deshmukh,
Marcell Vazquez-Chanlatte,
Alexandre Donzé,
2019,
HSCC.
Jyotirmoy V. Deshmukh,
O. Maler,
D. Ničković,
2017
.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2008,
2008 47th IEEE Conference on Decision and Control.
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2010,
Formal Methods Syst. Des..
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2009,
Haifa Verification Conference.
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2014,
ICMC.
Sanjit A. Seshia,
James Kapinski,
Xiaoqing Jin,
2016,
SAE Technical Paper Series.
Garvit Juniwal,
Sanjit A. Seshia,
Alexandre Donzé,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2012,
ATVA.
Daniel J. Fremont,
Alexandre Donzé,
Sanjit A. Seshia,
2017,
ArXiv.
Alexandre Donzé,
E. Fanchon,
J. Moulis,
2012,
HSB.