Accéder directement au contenu

Rémi Douence

3
Documents
Affiliations actuelles
  • 495900
  • 489559

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Functional Languages Semantics Certified Programming Haskell Agda Java Object-Oriented Languages

Publications

"jean-claude-royer"

Reference monitors for security and interoperability in OAuth 2.0

Ronan-Alexandre Cherrueau , Rémi Douence , Jean-Claude Royer , Mario Südholt , Anderson Santana de Oliveira
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès hal-00846810v1
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