Quang Huy Nguyen

According to our database, Quang Huy Nguyen authored at least 10 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Load time code validation for mobile phone Java Cards.

Olga Gadyatskaya, Fabio Massacci, Quang Huy Nguyen, Boutheina Chetali

J. Inf. Secur. Appl., 2013

2009

An automated testing experiment for layered embedded C code.

Boutheina Chetali, Quang Huy Nguyen

Int. J. Softw. Tools Technol. Transf., 2009

2008

Certifying an embedded remote method invocation protocol.

June Andronick, Quang Huy Nguyen

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Industrial Use of Formal Methods for a High-Level Security Evaluation.

Boutheina Chetali, Quang Huy Nguyen

Proceedings of the FM 2008: Formal Methods, 2008

2006

Certifying Native Java API by Formal Refinement.

Quang Huy Nguyen, Boutheina Chetali

Proceedings of the Smart Card Research and Advanced Applications, 2006

2003

Proof Search and Proof Check for Equational and Inductive Theorems.

Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve.

Quang Huy Nguyen

PhD thesis, 2002

External Rewriting for Skeptical Proof Assistants.

Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner

J. Autom. Reason., 2002

2001

Certifying Term Rewriting Proofs in ELAN.

Quang Huy Nguyen

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Compact Normalisation Trace via Lazy Rewriting.

Quang Huy Nguyen

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001