BACK TO INDEX

Publications of Hervé Grall
Articles in journal or book chapters
  1. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed SELLAMI, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Onen, Anderson Sanatan De Oliveira, and Karin Bernsmed. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. In Cloud Computing and Services Sciences. Springer International Publishing Switzerland, 2015. Note: CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised Selected Papers.


  2. Xavier Leroy and Hervé Grall. Coinductive big-step operational semantics. Information and Computation, 207:284-304, 2009. [Abstract]


  3. Hervé Grall. A Confinement Criterion for Securely Executing Mobile Code. Journal of Automata, Languages and Combinatorics, 11(1):59-106, 2006.


Conference articles
  1. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, and Mohamed SELLAMI. Abstract Accountability Language: Translation, Compliance and Application. In ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, New Delhi, India, December 2015.


  2. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, and Mohamed SELLAMI. Checking Accountability with a Prover. In 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Taichung, Taiwan, pages 83-88, July 2015.


  3. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, and Mohamed Sellami. Accountability for Abstract Component Design. In EUROMICRO DSD/SEAA 2014, Verona, Italy, pages 213-220, August 2014.


  4. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana De Oliveira, and Karin Bernsmed. A Cloud Accountability Policy Representation Framework. In CLOSER - 4th International Conference on Cloud Computing and Services Science, Barcelone, Spain, April 2014. Keyword(s): Accountability, Data Protection, Framework, Policy Language, Policy Enforcement.


  5. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, and Anderson Santana De Oliveira. Abstract Accountability Language. In IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, volume 430 of Trust Management VIII - 8th IFIP WG 11.11 International Conference, Singapore, Singapore, pages 229-236, July 2014.


  6. Diana Allam, Hervé Grall, and Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping. In Karl-Heinz Krempels and Alexander Stocker, editors, WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, Aachen, Germany, pages 169-173, May 2013. SciTePress Digital Library. Note: Short paper presented as a poster. Keyword(s): Service-Oriented Architecture, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping.


  7. Diana Allam, Hervé Grall, and Jean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. In Gabriele Kotsis, editor, The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Vienna, Austria, December 2013. Gabriele Kotsis. Note: Full regular paper. Keyword(s): Service-Oriented Computing, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping, Basics of Category Theory.


  8. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. A Message-Passing Model for Service Oriented Computing. In Karl-Heinz Krempels and José Cordeiro, editors, WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, pages 136-142, April 2012. SciTePress Digital Library. Keyword(s): Service-Oriented Computing, Message-Passing Model, Type Checking, Security.


  9. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. In Actes des troisiémes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Lille, France, June 2011.


  10. Diana Allam, Hervé Grall, and Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. In Olivier Caron Yves Ledru, Anne-Françoise Le Meur, editor, Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Lille, France, June 2011.


  11. Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana De Oliveira, Hervé Grall, and Mario Südholt. Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures. In 4th International Workshop on Autonomous and Spontaneous Security, Leuven, Belgium, September 2011.


  12. Mayleen Lacouture, Hervé Grall, and Thomas Ledoux. CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources. In M.R. Mousavi and G. Salaün, editors, International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), PARIS, France, September 2010.


  13. Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, Hervé Grall, Paul Levy, Matteo Mio, Keiko Nakata, Andrei Romashchenko, Jan Schwinghammer, Kristian Stovring, Tarmo Uustalu, and Pawel Waszkiewicz. FICS 2010. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, pages 89, August 2010. Keyword(s): Fixed points, mu-calculi;.


  14. Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, and Thierry Coupaye. A Multi-Stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. In Proceedings of the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'08), LNCS, Oslo, Norway, June 2008. Springer Verlag.


Internal reports
  1. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. Well-Typed Services Cannot Go Wrong. Research Report RR-7899, INRIA, May 2012.


  2. Hervé Grall. The Synthesis of Reference Monitors. Technical report, École des Mines de Nantes, July 2006.


Miscellaneous
  1. Walid Benghabrit, Hervé Grall, and Jean-Claude Royer. Monitoring accountability policies with AccMon framework. GDR-GPL, June 2016. Note: Poster. Keyword(s): monitoring, temporal logic., Accountability, privacy, security.


  2. Hervé Grall and Mayleen Lacouture. Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine. , 2012. Keyword(s): Distributed Computing, Concurrent Computing, Service-Oriented Computing, Chemical Semantics, Web Services, Interoperability.


  3. Hervé Grall. Proving Fixed Points. , 2010. Keyword(s): fixed points, partially ordered sets, inference systems, induction, coinduction.


  4. Hervé Grall and Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. , 2010.



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Wed May 31 15:05:58 2017
Author: helene.


This document was translated from BibTEX by bibtex2html