Hervé Grall

According to our database, Hervé Grall authored at least 16 papers between 2003 and 2015.

Collaborative distances:

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

2015

Checking Accountability with a Prover.

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Abstract Accountability Language: Translation, Compliance and Application.

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Abstract Accountability Language.

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, Anderson Santana de Oliveira

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Accountability for Abstract Component Design.

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 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

Proceedings of the CLOSER 2014, 2014

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

Proceedings of the Cloud Computing and Services Sciences, 2014

2013

From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping.

Diana Allam, Hervé Grall, Jean-Claude Royer

Proceedings of the WEBIST 2013, 2013

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success.

Diana Allam, Hervé Grall, Jean-Claude Royer

Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

2012

A Message-passing Model for Service Oriented Computing.

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

2011

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

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

2010

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources

Mayleen Lacouture, Hervé Grall, Thomas Ledoux

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Proving Fixed Points.

Hervé Grall

Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010

2009

Coinductive big-step operational semantics.

Xavier Leroy, Hervé Grall

Inf. Comput., 2009

2008

A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems.

Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, Thierry Coupaye

Proceedings of the Distributed Applications and Interoperable Systems, 2008

2006

A Confinement Criterion for Securely Executing Mobile Code.

Hervé Grall

J. Autom. Lang. Comb., 2006

2003

Deux critères de sécurité pour l'exécution de code mobile.

Hervé Grall

PhD thesis, 2003