Deux critères de sécurité pour l'exécution de code mobile. - Hervé Grall (2003)

A Confinement Criterion for Securely Executing Mobile Code. - Hervé Grall (J. Autom. Lang. Comb., 2006)

A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. - Pierre-Charles David; Marc Léger; Hervé Grall; Thomas Ledoux; Thierry Coupaye (DAIS, 2008)

Coinductive big-step operational semantics. - Xavier Leroy; Hervé Grall (Inf. Comput., 2009)

Proving Fixed Points. - Hervé Grall (FICS, 2010)

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources - Mayleen Lacouture; Hervé Grall; Thomas Ledoux (FOCLASA, 2010)

Evolving Security Requirements in Multi-layered Service-Oriented-Architectures. - Muhammad Sabir Idrees; Gabriel Serme; Yves Roudier; Anderson Santana de Oliveira; Hervé Grall; Mario Südholt (DPM/SETOP, 2011)

A Message-passing Model for Service Oriented Computing. - Diana Allam; Rémi Douence; Hervé Grall; Jean-Claude Royer; Mario Südholt (WEBIST, 2012)

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. - Diana Allam; Hervé Grall; Jean-Claude Royer (iiWAS, 2013)

From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. - Diana Allam; Hervé Grall; Jean-Claude Royer (WEBIST, 2013)

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami; Monir Azraoui; Kaoutar Elkhiyaoui; Melek Önen; Anderson Santana de Oliveira; Karin Bernsmed (CLOSER (Selected Papers), 2014)

A Cloud Accountability Policy Representation Framework. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami; Monir Azraoui; Kaoutar Elkhiyaoui; Melek Önen; Anderson Santana de Oliveira; Karin Bernsmed (CLOSER, 2014)

Accountability for Abstract Component Design. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami (EUROMICRO-SEAA, 2014)

Abstract Accountability Language. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami; Karin Bernsmed; Anderson Santana de Oliveira (IFIPTM, 2014)

Abstract Accountability Language: Translation, Compliance and Application. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami (APSEC, 2015)

Checking Accountability with a Prover. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami (COMPSAC, 2015)