Accéder directement au contenu

Jean-Claude Royer

15
Documents

Publications

herve-grall

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 Bernsmed
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
Image document

Abstract Accountability Language

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Karin Bernsmed
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 Azraoui
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
Image document

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
Image document

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

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
Image document

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

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Monir Azraoui
Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage hal-01214387v1