- 8
- 5
- 1
- 1
Jean-Claude Royer
15
Documents
Publications
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 7
- 7
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 13
- 13
- 6
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 2
- 2
- 4
Checking Accountability with a Prover39th 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 ApplicationASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Communication dans un congrès
hal-01214365v1
|
|
Abstract Accountability LanguageIFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Communication dans un congrès
hal-00973399v1
|
|
|
Abstract Accountability Language8th 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 FrameworkCLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Communication dans un congrès
hal-00941872v1
|
|
Accountability for Abstract Component DesignEUROMICRO 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 SuccessThe 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
|
|
|
From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving SubtypingWEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
Communication dans un congrès
hal-00800153v1
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 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 CollaborationsActes 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
|
|
|
Towards a Unified Formal Model for Service Orchestration and ChoreographyActes 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 CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage
hal-01214387v1
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France
Poster de conférence
hal-01332040v1
|
|
The Abstract Accountability Language: its Syntax, Semantics and Tools[Research Report] IMT Atlantique. 2018
Rapport
hal-01856329v1
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012
Rapport
hal-00700570v2
|