Access content directly

Hervé Grall

25
Documents

Presentation

[Personal page](http://www.grall.name)
[Page personnelle](http://www.grall.name)

Publications

Image document

Coinductive big-step operational semantics

Xavier Leroy , Hervé Grall
Information and Computation, 2009, 207 (2), pp.284-304. ⟨10.1016/j.ic.2007.12.004⟩
Journal articles inria-00309010v1
Image document

A Confinement Criterion for Securely Executing Mobile Code

Hervé Grall
Journal of Automata Languages and Combinatorics, 2006, 1 (11), pp.59-106
Journal articles hal-00484906v1

Checking Accountability with a Prover

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
Conference papers hal-01214360v1

Abstract Accountability Language: Translation, Compliance and Application

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Conference papers hal-01214365v1

A Cloud Accountability Policy Representation Framework

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Monir Azraoui
CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Conference papers hal-00941872v1

Accountability for Abstract Component Design

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩
Conference papers hal-00987165v1
Image document

Abstract Accountability Language

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Karin Bernsmed
8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.229-236, ⟨10.1007/978-3-662-43813-8_17⟩
Conference papers hal-01381692v1

Abstract Accountability Language

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Karin Bernsmed
IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Conference papers hal-00973399v1

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

Diana Allam , Hervé Grall , Jean-Claude Royer
The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria
Conference papers hal-00908552v1
Image document

From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping

Diana Allam , Hervé Grall , Jean-Claude Royer
WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
Conference papers hal-00800153v1
Image document

A Message-Passing Model for Service Oriented Computing

Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Conference papers hal-00668975v1

Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures

Muhammed Sabir Idrees , Gabriel Serme , Yves Roudier , Anderson Santana de Oliveira , Hervé Grall
4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
Conference papers inria-00614163v1

The Synthesis Problem for Trusted Service-based Collaborations

Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
Conference papers hal-00700750v1
Image document

Towards a Unified Formal Model for Service Orchestration and Choreography

Diana Allam , Hervé Grall , Jean-Claude Royer
Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
Conference papers hal-00700737v1
Image document

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

Mayleen Lacouture , Hervé Grall , Thomas Ledoux
International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
Conference papers inria-00493063v2
Image document

FICS 2010

Dale Miller , Arnaud Carayol , Panos Rondogiannis , Lars Birkedal , Marek Czarnecki
7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
Conference papers hal-00512377v1

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

Pierre-Charles David , Marc Léger , Hervé Grall , Thomas Ledoux , Thierry Coupaye
8th IFIP WG 6.1 International Conference, DAIS 2008, Jun 2008, Oslo, Norway. pp.106-111, ⟨10.1007/978-3-540-68642-2_9⟩
Conference papers hal-00424057v1

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Monir Azraoui
Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Book sections hal-01214387v1
Image document

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

Hervé Grall
Génie logiciel [cs.SE]. Ecole des Ponts ParisTech, 2003. Français. ⟨NNT : ⟩
Theses tel-00007549v1