Alexandre Donzé
发表
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
James Kapinski,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
NFM.
Alexandre Donzé,
Eugenio Cinquemani,
2016,
Lecture Notes in Computer Science.
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2015,
Formal Methods in System Design.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
NFM.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
2015 American Control Conference (ACC).
Sanjit A. Seshia,
Vasumathi Raman,
Richard M. Murray,
2015,
HSCC.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
BuildSys@SenSys.
Sanjit A. Seshia,
Alexandre Donzé,
Tomoyuki Kaga,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2014,
ICMC.
Garvit Juniwal,
Sanjit A. Seshia,
Sakshi Jain,
2015,
L@S.
Gidon Ernst,
Paolo Arcaini,
Georgios Fainekos,
2019,
ARCH@CPSIoTWeek.
Sanjit A. Seshia,
David Wessel,
Alexandre Donzé,
2013
.
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2009,
Haifa Verification Conference.
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.
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2015,
International Journal on Software Tools for Technology Transfer.
Vasumathi Raman,
Mehdi Maasoumy,
Alexandre Donzé,
2014,
CyPhy '14.
Sanjit A. Seshia,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Garvit Juniwal,
Sanjit A. Seshia,
Alexandre Donzé,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Garvit Juniwal,
Sanjit A. Seshia,
Xiaoqing Jin,
2017,
Formal Methods Syst. Des..
Dejan Nickovic,
Eugene Asarin,
Oded Maler,
2011,
RV.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2008,
2008 47th IEEE Conference on Decision and Control.
Silke Wagner,
Bruce H. Krogh,
James Kapinski,
2008,
2008 47th IEEE Conference on Decision and Control.
Gilles Clermont,
Christopher James Langmead,
Alexandre Donzé,
2009,
RECOMB.
Oded Maler,
Alexandre Donzé,
O. Maler,
2007,
HSCC.
Edward A. Lee,
Sanjit A. Seshia,
Daniel J. Fremont,
2016,
2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).
Alexandre Donzé,
Eric Fanchon,
Jean Marc Moulis,
2013,
HSB.
Alexandre Donzé,
Yannick Le Goc,
Alexandre Donzé,
2015,
Sci. Comput. Program..
Edmund M. Clarke,
James Kapinski,
Alexandre Donzé,
2008
.
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
Alexandre Donzé,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alexandre Donzé,
Alexandre Donzé,
2007
.
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2010,
Formal Methods Syst. Des..
Thomas Ferrère,
Oded Maler,
Alexandre Donzé,
2013,
CAV.
Sanjit A. Seshia,
Alexandre Donzé,
Tommaso Dreossi,
2017,
Journal of Automated Reasoning.
Sanjit A. Seshia,
Daniel J. Fremont,
Adrian Freed,
2016,
ISMIR.
Jyotirmoy V. Deshmukh,
Marcell Vazquez-Chanlatte,
Alexandre Donzé,
2019,
HSCC.
Alexandre Donzé,
Alexandre Donzé,
2018,
ICINCO.
Sanjit A. Seshia,
James Kapinski,
Xiaoqing Jin,
2016,
SAE Technical Paper Series.
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2016,
CIE.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
HSCC.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Richard M. Murray,
2014,
IEEE Access.
Knut Åkesson,
Alexandre Donzé,
Johan Lidén Eddeland,
2020
.
Alexandre Donzé,
Alexandre Donzé,
2010,
CAV.
Oded Maler,
Alexandre Donzé,
O. Maler,
2010,
FORMATS.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2004,
FMCAD.
Vasumathi Raman,
Mehdi Maasoumy,
Alexandre Donzé,
2014
.
Bruce H. Krogh,
Alexandre Donzé,
Akshay Rajhans,
2009,
HSCC.
Goran Frehse,
Alexandre Donzé,
Alexandre Donzé,
2013,
2013 European Control Conference (ECC).
BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)
Alexandre Donzé,
Alexandre Donzé,
2020,
ASD@DATE.
Alexandre Donzé,
Alexandre Donzé,
2013,
RV.
Sanjit A. Seshia,
David Wessel,
Daniel J. Fremont,
2014,
FSTTCS.
Vasumathi Raman,
Alexandre Donzé,
2015,
ARCH@CPSWeek.
Alexandre Donzé,
Eric Fanchon,
Jean Marc Moulis,
2012,
HSB.
Gilles Clermont,
Axel Legay,
Christopher James Langmead,
2009,
RECOMB.
Dejan Nickovic,
James Kapinski,
Thomas Ferrère,
2019,
HSCC.
Xiaoqing Jin,
Alexandre Donzé,
Thao Dang,
2017,
CAV.
Antoine Girard,
Goran Frehse,
Oded Maler,
2011,
CAV.
Alexandre Donzé,
Thao Dang,
Nicolas Basset,
2020,
NFM.
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2013,
SPIN.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2012,
ATVA.
Alexandre Donzé,
Alexandre Donzé,
2014
.
Gidon Ernst,
Marc Pouzet,
Giulia Pedrielli,
2021,
ARCH@ADHS.
Gilles Clermont,
Sumit Kumar Jha,
Alexandre Donzé,
2011
.