Nguyen Thanh Hung
Nguyen Thanh Hung
Assistant Professor, School of Information and Communication Technology, Hanoi University of Science
Verified email at soict.hust.edu.vn
Title
Cited by
Cited by
Year
Rigorous component-based system design using the BIP framework
A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis
IEEE software 28 (3), 41-48, 2011
3312011
D-finder: A tool for compositional deadlock detection and verification
S Bensalem, M Bozga, TH Nguyen, J Sifakis
International Conference on Computer Aided Verification, 614-619, 2009
1452009
Compositional verification for component-based systems and application
S Bensalem, M Bozga, J Sifakis, TH Nguyen
International Symposium on Automated Technology for Verification and …, 2008
1292008
Compositional verification for component-based systems and application
S Bensalem, M Bozga, TH Nguyen, J Sifakis
IET software 4 (3), 181-193, 2010
682010
Incremental component-based construction and verification of a robotic system
A Basu, M Gallien, C Lesire, TH Nguyen, S Bensalem, F Ingrand, J Sifakis
ECAI 2008, 631-635, 2008
672008
Runtime verification of component-based systems
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
International Conference on Software Engineering and Formal Methods, 204-220, 2011
642011
D-finder 2: Towards efficient correctness of incremental design
S Bensalem, A Griesmayer, A Legay, TH Nguyen, J Sifakis, R Yan
NASA Formal Methods Symposium, 453-458, 2011
612011
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
Software & Systems Modeling 14 (1), 173-199, 2015
532015
Incremental component-based construction and verification using invariants
S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan
Formal Methods in Computer Aided Design, 257-256, 2010
442010
Toward a more dependable software architecture for autonomous robots
S Bensalem, M Gallien, F Ingrand, I Kahloul, TH Nguyen
IEEE Robotics and Automation Magazine 16 (1), 67-77, 2009
352009
Clinical and aetiological study of hand, foot and mouth disease in southern Vietnam, 2013–2015: Inpatients and outpatients
MT Van Hoang, TA Nguyen, TT Tran, TTH Vu, NTN Le, THN Nguyen, ...
International Journal of Infectious Diseases 80, 1-9, 2019
302019
Effects of enzymes on feed efficiency and digestibility of nutrients in broilers
B Carré, M Lessire, TH Nguyen, M Larbier
19. World's poultry congress, 1992
271992
Efficient deadlock detection for concurrent systems
S Bensalem, A Griesmayer, A Legay, TH Nguyen, D Peled
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
222011
Incremental invariant generation for compositional design
S Bensalem, A Legay, TH Nguyen, J Sifakis, R Yan
2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010
212010
Innovative methodology for multi-view point cloud registration in robotic 3D object scanning and reconstruction
LC Chen, DC Hoang, HI Lin, TH Nguyen
Applied Sciences 6 (5), 132, 2016
182016
Component-based verification using incremental design and invariants
S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan
Software & Systems Modeling 15 (2), 427-451, 2016
182016
Equivalent-inclusion approach and effective medium approximations for elastic moduli of compound-inclusion composites
BV Tran, DC Pham, THG Nguyen
Archive of Applied Mechanics 85 (12), 1983-1995, 2015
142015
Load balanced and constant stretch routing in the vicinity of holes in wsns
P Le Nguyen, Y Ji, K Le, TH Nguyen
2018 15th IEEE annual consumer communications & networking conference (CCNC …, 2018
112018
Monitoring agriculture areas with satellite images and deep learning
TT Nguyen, TD Hoang, MT Pham, TT Vu, TH Nguyen, QT Huynh, J Jo
Applied Soft Computing 95, 106565, 2020
102020
independent 3D object segmentation for randomly stacked objects using optical object detection
LC Chen, TH Nguyen, ST Lin
Measurement science and technology 26 (10), 105202, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20