Home » Team publications


Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2015

Total of the publications found : 8


Overview of LS2N-GALLINETTE publications by types
COMM_INT
OUV
THESE
611

International conferences with reviewing committee (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.science/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.science/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.science/hal-01214365

Books - books sections - directions of work or proceedings (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
      https://hal.science/hal-01214387

PhD Thesis (THESE)

Copyright : LS2N 2017 - Legal notices - 
 -