Number of documents

22

Hervé Grall, DAPI, IMT Atlantique


Personal page


Laboratoire d'Informatique de Nantes Atlantique   

Journal articles2 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⟩

Conference papers14 documents

  • 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, ⟨10.1109/COMPSAC.2015.8⟩. ⟨hal-01214360⟩
  • 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. ⟨hal-01214365⟩
  • 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. pp.229--236. ⟨hal-00973399⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Accountability for Abstract Component Design. EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨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. ⟨hal-00941872⟩
  • Diana Allam, Hervé Grall, Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping. WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173. ⟨hal-00800153⟩
  • Diana Allam, Hervé Grall, Jean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria. ⟨hal-00908552⟩
  • Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. A Message-Passing Model for Service Oriented Computing. WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142. ⟨hal-00668975⟩
  • 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. ⟨inria-00614163⟩
  • 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. ⟨hal-00700750⟩
  • Diana Allam, Hervé Grall, Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. 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. ⟨hal-00700737⟩
  • Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, et al.. FICS 2010. 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89. ⟨hal-00512377⟩
  • Mayleen Lacouture, Hervé Grall, Thomas Ledoux. CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources. International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France. ⟨inria-00493063v2⟩
  • 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. pp.106-111, ⟨10.1007/978-3-540-68642-2_9⟩. ⟨hal-00424057⟩

Poster communications1 document

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

Book sections1 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⟩

Preprints, Working Papers, ...3 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⟩

Reports1 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⟩