Hervé Grall

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Venues

WEBIST

IFIPTM

APSEC

CLOSER (Selected Papers)

École des ponts ParisTech, Champs-sur-Marne, France (PHD)

Education History

École des ponts ParisTech, Champs-sur-Marne, France

PHD

Publications

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Abstract Accountability Language: Translation, Compliance and Application. APSEC (2015)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Checking Accountability with a Prover. COMPSAC (2015)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, Anderson Santana de Oliveira
Abstract Accountability Language. IFIPTM (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed
A Cloud Accountability Policy Representation Framework. CLOSER (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Accountability for Abstract Component Design. EUROMICRO-SEAA (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed
From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. CLOSER (Selected Papers) (2014)
Diana Allam, Hervé Grall, Jean-Claude Royer
From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. WEBIST (2013)
Diana Allam, Hervé Grall, Jean-Claude Royer
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. iiWAS (2013)
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
A Message-passing Model for Service Oriented Computing. WEBIST (2012)
Muhammad Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt
Evolving Security Requirements in Multi-layered Service-Oriented-Architectures. DPM/SETOP (2011)
Hervé Grall
Proving Fixed Points. FICS (2010)
Mayleen Lacouture, Hervé Grall, Thomas Ledoux
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources FOCLASA (2010)
Xavier Leroy, Hervé Grall
Coinductive big-step operational semantics. Inf. Comput. 207 (2) (2009)
Xavier Leroy, Hervé Grall
Coinductive big-step operational semantics CoRR (2008)
Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, Thierry Coupaye
A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. DAIS (2008)
Hervé Grall
A Confinement Criterion for Securely Executing Mobile Code. J. Autom. Lang. Comb. 11 (1) (2006)

Hervé Grall.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hervé Grall