Home » Publications Equipe

Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2015

Nombre de publications retournées : 8

Récapitulatif du nombre de publications de la collection par types

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [1] A. Hirschowitz, T. Hirschowitz, N. Tabareau. Wild omega-Categories for the Homotopy Hypothesis in Type Theory. In Typed Lambda Calculi and Applications, 2015, Varsovie, Pologne.
    • [2] W. Benghabrit, H. Grall, J. Royer, M. Sellami. Checking Accountability with a Prover. In 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), juillet 2015, Taichung, Taïwan.
    • [3] R. Cherrueau, R. Douence, M. Südholt. A Language for the Composition of Privacy-Enforcement Techniques. In IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, août 2015, Helsinki, Finlande.
    • [4] M. Tisi, R. Douence, D. Wagelaar. Lazy Evaluation for OCL. In Models 2015: 15th International Workshop on OCL and Textual Modeling, septembre 2015, Ottawa, Canada.
    • [5] . Tanter, N. Tabareau. Gradual Certified Programming in Coq. In 11th ACM Dynamic Languages Symposium (DLS 2015), octobre 2015, Pittsburgh, états-Unis.
    • [6] W. Benghabrit, H. Grall, J. Royer, M. Sellami. Abstract Accountability Language: Translation, Compliance and Application. In ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, décembre 2015, New Delhi, Inde.

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [7] W. Benghabrit, H. Grall, J. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Önen, A. Sanatan de Oliveira, K. Bernsmed. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. In Cloud Computing and Services Sciences. 2015

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales -