Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Hervé GRALL

ENSEIGNANT-CHERCHEUR


: Herve.Grallatls2n.fr

Page pro : https://www.grall.name/

Adresse :

IMT Atlantique Bretagne-Pays de la Loire Ecole Mines-Telecom ( IMT ATLANTIQUE )
La Chantrerie
4, rue Alfred Kastler
B.P. 20722
44307 NANTES Cedex 3

Batiment b, étage 2, bureau 223



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] X. Leroy, H. Grall. Coinductive big-step operational semantics. In Information and Computation ; éd. Elsevier, 2009, vol. 207, num. 2.
      https://hal.inria.fr/inria-00309010
    • [2] H. Grall. A Confinement Criterion for Securely Executing Mobile Code. In Journal of Automata Languages and Combinatorics ; éd. Otto-von-Guericke-Universität Magdeburg, 2006, vol. 1, num. 11.
      https://hal.archives-ouvertes.fr/hal-00484906

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [3] W. Benghabrit, H. Grall, J. Royer, M. Sellami. Checking Accountability with a Prover. In 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), juillet 2015, Taichung, Taïwan.
      https://hal.archives-ouvertes.fr/hal-01214360
    • [4] W. Benghabrit, H. Grall, J. Royer, M. Sellami. Abstract Accountability Language: Translation, Compliance and Application. In ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, décembre 2015, New Delhi, Inde.
      https://hal.archives-ouvertes.fr/hal-01214365
    • [5] W. Benghabrit, H. Grall, J. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Önen, A. Santana de Oliveira, K. Bernsmed. A Cloud Accountability Policy Representation Framework. In CLOSER - 4th International Conference on Cloud Computing and Services Science, avril 2014, Barcelone, Espagne.
      https://hal.inria.fr/hal-00941872
    • [6] W. Benghabrit, H. Grall, J. Royer, M. Sellami, K. Bernsmed, A. Santana de Oliveira. Abstract Accountability Language. In IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, juillet 2014, Singapore, Singapour.
      https://hal.inria.fr/hal-00973399
    • [7] W. Benghabrit, H. Grall, J. Royer, M. Sellami. Accountability for Abstract Component Design. In EUROMICRO DSD/SEAA 2014, août 2014, Verona, Italie.
      https://hal.inria.fr/hal-00987165
    • [8] W. Benghabrit, H. Grall, J. Royer, M. Sellami, K. Bernsmed, A. Oliveira. Abstract Accountability Language. In 8th IFIP International Conference on Trust Management (IFIPTM), juillet 2014, Singapore, Singapour.In Jianying Zhou (éds.), . Springer, 2014.
      https://hal.inria.fr/hal-01381692
    • [9] D. Allam, H. Grall, J. Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping. In WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, mai 2013, Aachen, Allemagne.In Karl-Heinz Krempels and Alexander Stocker (éds.), . SciTePress Digital Library, 2013.
      https://hal.inria.fr/hal-00800153
    • [10] D. Allam, H. Grall, J. Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. In The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), décembre 2013, Vienna, Autriche.In Gabriele Kotsis (éds.), . , 2013.
      https://hal.inria.fr/hal-00908552
    • [11] D. Allam, R. Douence, H. Grall, J. Royer, M. Südholt. A Message-Passing Model for Service Oriented Computing. In WEBIST, 8th International Conference on Web Information Systems and Technologies, avril 2012, Porto, Portugal.In Karl-Heinz Krempels and José Cordeiro (éds.), . SciTePress Digital Library, 2012.
      https://hal.inria.fr/hal-00668975
    • [12] M. Sabir Idrees, G. Serme, Y. Roudier, A. Santana de Oliveira, H. Grall, M. Südholt. Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures. In 4th International Workshop on Autonomous and Spontaneous Security, septembre 2011, Leuven, Belgique.
      https://hal.inria.fr/inria-00614163
    • [13] D. Miller, A. Carayol, P. Rondogiannis, L. Birkedal, M. Czarnecki, H. Grall, P. Levy, M. Mio, K. Nakata, A. Romashchenko, J. Schwinghammer, K. Støvring, T. Uustalu, P. Waszkiewicz. FICS 2010. In 7th Workshop on Fixed Points in Computer Science, FICS 2010, août 2010, Brno, République tchèque.In Luigi Santocanale (éds.), Fixed Points in Computer Science 2010. , 2010.
      https://hal.archives-ouvertes.fr/hal-00512377
    • [14] M. Lacouture, H. Grall, T. Ledoux. CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources. In International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), septembre 2010, PARIS, France.In M.R. Mousavi and G. Salaün (éds.), . , 2010.
      https://hal.inria.fr/inria-00493063v2
    • [15] P. David, M. Léger, H. Grall, T. Ledoux, T. Coupaye. A Multi-Stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems. In 8th IFIP WG 6.1 International Conference, DAIS 2008, juin 2008, Oslo, Norvège.
      https://hal.archives-ouvertes.fr/hal-00424057

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [16] D. Allam, R. Douence, H. Grall, J. Royer, M. 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, juin 2011, Lille, France.
      https://hal.inria.fr/hal-00700750
    • [17] D. Allam, H. Grall, J. Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. In Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), juin 2011, Lille, France.In Yves Ledru, Anne-Françoise Le Meur, Olivier Caron (éds.), . , 2011.
      https://hal.inria.fr/hal-00700737

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [18] W. Benghabrit, H. Grall, J. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Onen, A. Sanatan de Oliveira, K. Bernsmed. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. In Cloud Computing and Services Sciences. 2015
      https://hal.archives-ouvertes.fr/hal-01214387

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [21] W. Benghabrit, H. Grall, J. Royer. Monitoring accountability policies with AccMon framework. In GDR-GPL, juin 2016, Besançon, France.
      https://hal.inria.fr/hal-01332040
Copyright : LS2N 2017 - Mentions Légales - 
 -