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
COMM_INT
OUV
THESE
611

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.
      https://hal.archives-ouvertes.fr/hal-01178301
    • [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.
      https://hal.archives-ouvertes.fr/hal-01214360
    • [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.
      https://hal.inria.fr/hal-01168303
    • [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.
      https://hal.inria.fr/hal-01221072
    • [5] . Tanter, N. Tabareau. Gradual Certified Programming in Coq. In 11th ACM Dynamic Languages Symposium (DLS 2015), octobre 2015, Pittsburgh, états-Unis.
      https://hal.inria.fr/hal-01238774
    • [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.
      https://hal.archives-ouvertes.fr/hal-01214365

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

    • [7] W. Benghabrit, H. Grall, J. Royer, M. SELLAMI, M. Azraoui, K. Elkhiyaoui, M. Onen, A. Sanatan De Oliveira, K. Bernsmed. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. In Cloud Computing and Services Sciences. 2015
      https://hal.archives-ouvertes.fr/hal-01214387

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales - 
 -