Thao Dang
发表
Alexandre Rocca,
Thao Dang,
Eric Fanchon,
2016,
HSB.
Thao Dang,
2006,
HSCC.
Thao Dang,
Noa Shalev,
2012,
ICTSS.
Jan Horn,
Christoph Stiller,
Thao Dang,
2004
.
James Kapinski,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
NFM.
Antoine Girard,
Thao Dang,
M. Al Khatib,
2018
.
Christoph Stiller,
Thao Dang,
Sören Kammel,
2006,
2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2017,
ADHS.
Julius Ziegler,
Christoph Stiller,
Thao Dang,
2014,
2014 IEEE Intelligent Vehicles Symposium Proceedings.
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2002,
HSCC.
Tarik Nahhal,
Thao Dang,
2006,
FDL.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2017,
ArXiv.
Thao Dang,
2005,
Int. J. Softw. Eng. Knowl. Eng..
Alexandre Rocca,
Thao Dang,
Eric Fanchon,
2014,
HSB.
Eugene Asarin,
Thao Dang,
2004,
HSCC.
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2006,
Theor. Comput. Sci..
Thao Dang,
Romain Testylier,
T. Dang,
2013,
ATVA.
Bertrand Jeannet,
Thao Dang,
Romain Testylier,
2013,
2013 European Control Conference (ECC).
Thao Dang,
Tommaso Dreossi,
T. Dang,
2013,
HSB.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2016,
2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).
Oded Maler,
Thao Dang,
Colas Le Guernic,
2009,
Theor. Comput. Sci..
Alie El-Din Mady,
Rajesh Kumar,
Thao Dang,
2016,
CSDM.
Thao Dang,
Noa Shalev,
T. Dang,
2014,
ATVA.
Thao Dang,
Romain Testylier,
T. Dang,
2011,
HSCC '11.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2017,
Formal Methods in System Design.
Christoph Stiller,
Thao Dang,
Sören Kammel,
2007,
Autom..
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2016,
HSCC.
Thao Dang,
Gabi Breuel,
Adam Berthelot,
2012,
2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Thao Dang,
Arvind S. Adimoolam,
2017,
FORMATS.
Christian Hoffmann,
Thao Dang,
T. Dang,
2005,
2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Workshops.
Thao Dang,
Philippe Gerner,
T. Dang,
2004,
FORMATS/FTRTFT.
Thao Dang,
Jan W. Horbach,
2008,
Machine Vision and Applications.
Thao Dang,
Arvind S. Adimoolam,
T. Dang,
2016,
2016 American Control Conference (ACC).
Deokjai Choi,
Thao Dang,
Lam Tran,
2018,
SoICT.
Oded Maler,
Thao Dang,
Romain Testylier,
2010,
HSCC '10.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2008,
2008 47th IEEE Conference on Decision and Control.
Bernard Espiau,
Eugene Asarin,
Oded Maler,
2001,
HSCC.
Christian Hoffmann,
Thao Dang,
T. Dang,
2006,
2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems.
Alexander Bachmann,
Thao Dang,
2008,
Int. J. Intell. Inf. Database Syst..
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2003,
HSCC.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017,
HSCC.
Olivier Bournez,
Eugene Asarin,
Oded Maler,
2000,
HSCC.
Thao Dang,
Romain Testylier,
T. Dang,
2012,
HSB.
Christoph Stiller,
Thao Dang,
Gabi Breuel,
2013,
16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).
Tarik Nahhal,
Thao Dang,
T. Dang,
2009,
Formal Methods Syst. Des..
Victor Magron,
Alexandre Rocca,
Thao Dang,
2018,
IEEE Transactions on Computers.
Thao Dang,
Thao Dang,
2009
.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2015,
ADHS.
Thao Dang,
Eugene Asarin,
Oded Maler,
2001
.
Alexander Bachmann,
Thao Dang,
2006,
2006 IEEE Intelligent Transportation Systems Conference.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2007,
Acta Informatica.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2001,
EMSOFT.
Wolfgang Rosenstiel,
Thao Dang,
Gabi Breuel,
2012,
IEEE Intelligent Transportation Systems Magazine.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2003,
HSCC.
Dariu Gavrila,
Christoph Gustav Keller,
Thao Dang,
2011,
IEEE Transactions on Intelligent Transportation Systems.
Wolfgang Rosenstiel,
Thao Dang,
Gabi Breuel,
2011,
2011 IEEE Intelligent Vehicles Symposium (IV).
Christoph Stiller,
Thao Dang,
Gabi Breuel,
2014,
17th International IEEE Conference on Intelligent Transportation Systems (ITSC).
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2006,
TECS.
Sriram Sankaranarayanan,
Thao Dang,
Franjo Ivancic,
2008,
TACAS.
Thao Dang,
T. Dang,
2019,
HSB.
Thao Dang,
David Salinas,
T. Dang,
2009,
CAV.
Sriram Sankaranarayanan,
Thao Dang,
Franjo Ivancic,
2008,
HSCC.
Tarik Nahhal,
Thao Dang,
2007,
HSCC.
Thao Dang,
T. Basil Smith,
William A. Moorman,
1991,
[1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.
Thao Dang,
Thomas Gawlitza,
2011,
APLAS.
Antoine Girard,
Thao Dang,
Mohamed Amin Ben Sassi,
2012,
ATVA.
Carla Piazza,
Oded Maler,
Alexandre Rocca,
2019,
Automated Reasoning for Systems Biology and Medicine.
Oded Maler,
Thao Dang,
Colas Le Guernic,
2009,
CMSB.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2003,
Proc. IEEE.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2004,
FMCAD.
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2003,
Theor. Comput. Sci..
Tarik Nahhal,
Thao Dang,
T. Dang,
2011,
VLSIC 2011.
Julius Ziegler,
Nils Appenrodt,
Carsten Brenk,
2014,
IEEE Intelligent Transportation Systems Magazine.
Tarik Nahhal,
Thao Dang,
T. Dang,
2007,
CAV.
Eugene Asarin,
Oded Maler,
Thao Dang,
2010,
ATVA.
Thao Dang,
Thomas Gawlitza,
T. Dang,
2011,
ATVA.
Benoît Barbot,
Thao Dang,
Nicolas Basset,
2019,
NFM.
Christian Hoffmann,
Thao Dang,
2009,
Robotics Auton. Syst..
Thao Dang,
O. Maler,
E. Asarin,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Thao Dang,
Gabi Breuel,
Adam Berthelot,
2012,
2012 IEEE Intelligent Vehicles Symposium.
Antoine Girard,
Thao Dang,
Eugene Asarin,
2003
.
Thao Dang,
Xavier Avon,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Thao Dang,
Romain Testylier,
T. Dang,
2012,
Reliab. Comput..
Christian Hoffmann,
Christoph Stiller,
Thao Dang,
2009,
IEEE Transactions on Image Processing.
Thao Dang,
Philippe Gerner,
T. Dang,
2006,
EMSOFT '06.
Thao Dang,
Gabi Breuel,
Adam Berthelot,
2011,
2011 IEEE Intelligent Vehicles Symposium (IV).
Tarik Nahhal,
Thao Dang,
2008,
TestCom/FATES.
Thao Dang,
Gabi Breuel,
Andreas Tamke,
2010,
2010 IEEE Intelligent Vehicles Symposium.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2015,
FM.
Jan Horn,
Alexander Bachmann,
Thao Dang,
2006,
2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems.
Xiaoqing Jin,
Alexandre Donzé,
Thao Dang,
2017,
CAV.
Thao Dang,
Tommaso Dreossi,
2014,
HSCC.
Antoine Girard,
Goran Frehse,
Oded Maler,
2011,
CAV.
Thao Dang,
Gabi Breuel,
Andreas Tamke,
2011,
2011 IEEE Intelligent Vehicles Symposium (IV).
Goran Frehse,
Antoine Girard,
Thao Dang,
2013,
Communicating Embedded Systems.
Christian Hoffmann,
Thao Dang,
T. Dang,
2006,
DAGM-Symposium.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2016,
HSCC.
Eugene Asarin,
Oded Maler,
Thao Dang,
2002,
CAV.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2014,
HSB.
Thao Dang,
2011,
Model-Based Testing for Embedded Systems.
Thao Dang,
Tommaso Dreossi,
T. Dang,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Thao Dang,
Arvind S. Adimoolam,
2017,
2017 American Control Conference (ACC).
Oded Maler,
Thao Dang,
T. Dang,
1998,
HSCC.
Thao Dang,
Gregor Gössler,
Thomas Mari,
2021,
FORMATS.
Stefan Ratschan,
Thao Dang,
2021
.
Cristinel Mateis,
Thao Dang,
Nicolas Basset,
2021,
2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Dejan Nickovic,
Cristinel Mateis,
Thao Dang,
2021,
ArXiv.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017
.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017
.