Hervé Grall

Présentation

Page personnelle

Publications

Article dans une revue (2)

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⟩ Article dans une revue inria-00309010v1
A Confinement Criterion for Securely Executing Mobile Code Hervé Grall Journal of Automata Languages and Combinatorics, 2006, 1 (11), pp.59-106 Article dans une revue hal-00484906v1

Communication dans un congrès (15)

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⟩ Communication dans un congrès 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 Communication dans un congrès hal-01214365v1
Abstract Accountability Language Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Karin Bernsmedet al. IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236 Communication dans un congrès hal-00973399v1
Abstract Accountability Language Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Karin Bernsmedet al. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.229-236, ⟨10.1007/978-3-662-43813-8_17⟩ Communication dans un congrès hal-01381692v1
A Cloud Accountability Policy Representation Framework Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Monir Azraouiet al. CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain Communication dans un congrès 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⟩ Communication dans un congrès hal-00987165v1
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 Communication dans un congrès hal-00908552v1
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 Communication dans un congrès hal-00800153v1
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 Communication dans un congrès hal-00668975v1
Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures Muhammed Sabir Idrees,Gabriel Serme,Yves Roudier,Anderson Santana de Oliveira,Hervé Grallet al. 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium Communication dans un congrès inria-00614163v1
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 Communication dans un congrès hal-00700737v1
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 Communication dans un congrès hal-00700750v1
FICS 2010 Dale Miller,Arnaud Carayol,Panos Rondogiannis,Lars Birkedal,Marek Czarneckiet al. 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89 Communication dans un congrès hal-00512377v1
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 Communication dans un congrès inria-00493063v2
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⟩ Communication dans un congrès hal-00424057v1

Poster de conférence (1)

Monitoring accountability policies with AccMon framework Walid Benghabrit,Hervé Grall,Jean-Claude Royer GDR-GPL, Jun 2016, Besançon, France Poster de conférence hal-01332040v1

Chapitre d'ouvrage (1)

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Monir Azraouiet al. Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015 Chapitre d'ouvrage hal-01214387v1

Pré-publication, Document de travail (3)

Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine Hervé Grall,Mayleen Lacouture 2012 Pré-publication, Document de travail hal-00676083v2
Proving Fixed Points Hervé Grall 2010 Pré-publication, Document de travail hal-00507775v1
Linear logic as a foundation for service-oriented computing Hervé Grall,Nicolas Tabareau 2010 Pré-publication, Document de travail inria-00473854v2

Rapport (2)

The Abstract Accountability Language: its Syntax, Semantics and Tools Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Anderson Santana de Oliveira [Research Report] IMT Atlantique. 2018 Rapport (rapport de recherche) hal-01856329v1
Well-Typed Services Cannot Go Wrong Diana Allam,Rémi Douence,Hervé Grall,Jean-Claude Royer,Mario Südholt [Research Report] RR-7899, INRIA. 2012 Rapport (rapport de recherche) hal-00700570v2

Thèse (1)

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 : ⟩ Thèse tel-00007549v1