Hervé Grall
Présentation
Publications
Publications
|
|
Coinductive big-step operational semanticsInformation and Computation, 2009, 207 (2), pp.284-304. ⟨10.1016/j.ic.2007.12.004⟩ |
|
|
A Confinement Criterion for Securely Executing Mobile CodeJournal of Automata Languages and Combinatorics, 2006, 1 (11), pp.59-106 |
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⟩ |
|
Abstract Accountability Language: Translation, Compliance and ApplicationASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India |
|
|
|
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⟩ |
Abstract Accountability LanguageIFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236 |
|
A Cloud Accountability Policy Representation FrameworkCLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain |
|
Accountability for Abstract Component DesignEUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩ |
|
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 |
|
|
|
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 |
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142 |
Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium |
|
|
|
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 |
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 |
|
|
|
FICS 20107th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89 |
|
|
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 |
|
|
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⟩ |
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France |
From Regulatory Obligations to Enforceable Accountability Policies in the CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015 |
|
|
Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine2012 |
|
|
Proving Fixed Points2010 |
|
|
Linear logic as a foundation for service-oriented computing2010 |
|
|
The Abstract Accountability Language: its Syntax, Semantics and Tools[Research Report] IMT Atlantique. 2018 |
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012 |
|
|
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 : ⟩ |