Nghiên cứu

Publications

On DBLP

Ph.D. Thesis

---

Constructive Verification for Component-based Systems [ pdf  slides ]

Thanh-Hung Nguyen under the supervision of Pr. Saddek Bensalem and Pr. Joseph Sifakis

Defended on 27 May, 2010

---

 

International Journals and Magazines

---

[3]. Rigorous Component-based System Design Using the BIP Framework

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.H. Nguyen, and J. Sifakis

IEEE Software Magazine, Special Issue on Software Components beyond Programming

---

[2]. Compositional Verification for Component-based Systems and Application

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis

IET Software Journal, Special Issue on Automated Compositional Verification.

Volume 4, Issue 3, p. 181-193 (June 2010)

---

[1]. Toward a More Dependable Software Architecture for Autonomous Robots [ pdf ]

Saddek Bensalem, Matthieu Gallien, Felix Ingrand, Imen Kahloul and Thanh-Hung Nguyen

Special Issue on Soft. Engineering for Robotics of the IEEE Robotics and Automation Magazine

Volume 16, Issue 1, p. 67-77 (March 2009)

---

 

International Conferences

---

[8]. Runtime Verification of Component-based Systems

Y. Falcone, M. Jaber, T-H. Nguyen, M. Bozga, S. Bensalem

SEFM'11, 9th International Conference on Software Engineering and Formal Methods (to appear)

---

[7]. Efficient Deadlock Detection for Concurrent Systems

S. Bensalem, A. Griesmayer, A. Legay, T-H Nguyen, and D. Peled

MEMOCODE'11, ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign, July 11 - 13, Cambridge, UK

---

[6]. D-Finder 2: Towards Efficient Correctness of Incremental Design

S. Bensalem, A. Griesmayer, A. Legay, T-H Nguyen, J. Sifakis, and R. Yan

NFM'11, 3rd NASA Formal Methods Symposium, p. 453-458, April 18 - 20, Pasadena, California, USA

---

[5]. Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

FMCAD'10, Formal Methods in Computer Aided Design, October 20-23, 2010, Lugano, Switzerland

---

[4]. Incremental Invariant Generation for Compositional Design

Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis and Rongjie Yan

TASE'10, 4th IEEE Int. Symposium on Theoretical Aspects of Soft. Engineering, p 157-167, August 24 - 27, 2010, Taipei, Taiwan

---

[3]. D-Finder: A Tool for Compositional Deadlock Detection and Verification [ pdf  slides ]

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen and Joseph Sifakis

CAV'09 21st Int. Conf. on Computer Aided Verification, June 26 - July 02, 2009, Grenoble, France

---

[2]. Compositional Verification for Component-based Systems and Application [ pdf  slides ]

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis

ATVA'08 6th Int. Symp. on Automated Technology for Verification and Analysis, October 20-23, 2008, Seoul, S. Korea

---

[1]. Incremental Component-Based Construction and Verification of a Robotic System [ pdf ]

Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand, Joseph Sifakis

ECAI'08 18th European Conf. on Artificial Intelligence, July 21-25, 2008, Patras, Greece

---

 

Workshops

---

[3]. Invariants and Robustness of BIP Models

Jan Olaf Blech, Thanh-Hung Nguyen and Michael Perin

WING'09 2nd Int. Workshop on Invariant Generation, March 29, 2009, York, UK

---

[2]. Incremental Component-Based Construction and Verification of a Robotic System

Ananda Basu , Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand and Joseph Sifakis

IROS'08 Int. Workshop on Current Soft. frameworks in Cognitive Robotics integrating different computational paradigms

September 22nd, 2008, Nice, France

---

[1]. D'une approche modulaire a une approche orientee composant pour le developpement

de systemes autonomes : Defis et principes [ pdf ]

Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen, Thanh-Hung Nguyen, Saddek Bensalem and Felix Ingrand

CAR'08 The 3rd National Workshop on Control Architectures of Robots, May 29 - 30, 2008, Bourges, France.

---

 

Technical Reports

---

Incremental Component-based Construction and Deadlock Checking [ pdf ]

Saddek Bensalem, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

VERIMAG Technical Report , September, 2009

---

Compositional Deadlock-Detection and Verification for Component-based Systems [ pdf ]

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen and Joseph Sifakis

VERIMAG Technical Report , May, 2008

---

Modelisation et validation d'un systeme autonome robotique en BIP [ pdf  slides ]

Thanh-Hung Nguyen

Rapport de Master, Juin, 2006