Nombre de documents

24

CV de Hervé Grall


Chapitre d'ouvrage1 document

  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, et al.. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015. <hal-01214387>

Communication dans un congrès15 documents

  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Abstract Accountability Language: Translation, Compliance and Application. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE. <hal-01214365>
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Checking Accountability with a Prover. 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, 39th IEEE Annual Computer Software and Applications Conference (COMPSAC). <10.1109/COMPSAC.2015.8>. <hal-01214360>
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Accountability for Abstract Component Design. EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014) Book Series: EUROMICRO Conference Proceedings, pp.213-220, 2014, <10.1109/SEAA.2014.68>. <hal-00987165>
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, et al.. A Cloud Accountability Policy Representation Framework. CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain. 2014. <hal-00941872>
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, et al.. Abstract Accountability Language. IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. 430, pp.229--236, 2014, Trust Management - 8th 11.11 International Conference. <hal-00973399>
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, et al.. Abstract Accountability Language. Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. Springer, IFIP Advances in Information and Communication Technology, AICT-430, pp.229-236, 2014, Trust Management VIII. <10.1007/978-3-662-43813-8_17>. <hal-01381692>
  • Diana Allam, Hervé Grall, Jean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. Gabriele Kotsis. The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Dec 2013, Vienna, Austria. 2013. <hal-00908552>
  • Diana Allam, Hervé Grall, Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping. Karl-Heinz Krempels and Alexander Stocker. WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. SciTePress Digital Library, pp.169-173, 2013, WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013. <hal-00800153>
  • Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. A Message-Passing Model for Service Oriented Computing. Karl-Heinz Krempels and José Cordeiro. WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. SciTePress Digital Library, pp.136-142, 2012, WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18 - 21 April, 2012. <hal-00668975>
  • Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France. 2011. <hal-00700750>
  • Diana Allam, Hervé Grall, Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. 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. 2011. <hal-00700737>
  • Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, et al.. Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures. 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. 2011. <inria-00614163>
  • Mayleen Lacouture, Hervé Grall, Thomas Ledoux. CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources. M.R. Mousavi and G. Salaün. International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France. 2010. <inria-00493063v2>
  • Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, et al.. FICS 2010. Luigi Santocanale. 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89, 2010. <hal-00512377>
  • Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, Thierry Coupaye. A Multi-Stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. 8th IFIP WG 6.1 International Conference, DAIS 2008, Jun 2008, Oslo, Norway. Springer Berlin / Heidelberg, 5053, pp.106-111, 2008, LNCS. <10.1007/978-3-540-68642-2_9>. <hal-00424057>

Article dans une revue2 documents

  • Xavier Leroy, Hervé Grall. Coinductive big-step operational semantics. Information and Computation, Elsevier, 2009, 207 (2), pp.284-304. <10.1016/j.ic.2007.12.004>. <inria-00309010>
  • Hervé Grall. A Confinement Criterion for Securely Executing Mobile Code. Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2006, 1 (11), pp.59-106. <hal-00484906>

Thèse1 document

  • Hervé Grall. Deux critères de sécurité pour l'exécution de code mobile. Génie logiciel [cs.SE]. Ecole des Ponts ParisTech, 2003. Français. <tel-00007549>

Poster1 document

  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer. Monitoring accountability policies with AccMon framework. GDR-GPL, Jun 2016, Besançon, France. <hal-01332040>

Pré-publication, Document de travail3 documents

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

Rapport1 document

  • Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. Well-Typed Services Cannot Go Wrong. [Research Report] RR-7899, INRIA. 2012. <hal-00700570v2>