
Hervé Grall
25
Documents
Présentation
Publications
3
3
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
4
2
3
3
4
1
1
1
1
22
19
6
2
1
1
1
Publications
|
Coinductive big-step operational semanticsInformation and Computation, 2009, 207 (2), pp.284-304. ⟨10.1016/j.ic.2007.12.004⟩
Article dans une revue
inria-00309010
v1
|
|
A Confinement Criterion for Securely Executing Mobile CodeJournal of Automata Languages and Combinatorics, 2006, 1 (11), pp.59-106
Article dans une revue
hal-00484906
v1
|
Abstract Accountability Language: Translation, Compliance and ApplicationASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Communication dans un congrès
hal-01214365
v1
|
|
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-01214360
v1
|
|
|
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-01381692
v1
|
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-00973399
v1
|
|
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-00941872
v1
|
|
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-00987165
v1
|
|
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-00908552
v1
|
|
|
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-00800153
v1
|
|
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-00668975
v1
|
Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
Communication dans un congrès
inria-00614163
v1
|
|
|
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-00700737
v1
|
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-00700750
v1
|
|
|
FICS 20107th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
Communication dans un congrès
hal-00512377
v1
|
|
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting ResourcesInternational Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
Communication dans un congrès
inria-00493063
v2
|
|
A Multi-Stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems8th IFIP WG 6.1 International Conference, DAIS 2008, Jun 2008, Oslo, Norway. pp.106-111, ⟨10.1007/978-3-540-68642-2_9⟩
Communication dans un congrès
hal-00424057
v1
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France
Poster de conférence
hal-01332040
v1
|
From Regulatory Obligations to Enforceable Accountability Policies in the CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage
hal-01214387
v1
|
|
Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine2012
Pré-publication, Document de travail
hal-00676083
v2
|
|
Linear logic as a foundation for service-oriented computing2010
Pré-publication, Document de travail
inria-00473854
v2
|
|
Proving Fixed Points2010
Pré-publication, Document de travail
hal-00507775
v1
|
|
The Abstract Accountability Language: its Syntax, Semantics and Tools[Research Report] IMT Atlantique. 2018
Rapport
(rapport de recherche)
hal-01856329
v1
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012
Rapport
(rapport de recherche)
hal-00700570
v2
|
|
Deux critères de sécurité pour l'exécution de code mobileGénie logiciel [cs.SE]. Ecole des Ponts ParisTech, 2003. Français. ⟨NNT : ⟩
Thèse
tel-00007549
v1
|
Chargement...
Chargement...