Hervé Grall

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