Publications for the collection HAL LS2N-GALLINETTE for 2015
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-01178301v1
- [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-01214360v1
- [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://inria.hal.science/hal-01168303v1
- [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://inria.hal.science/hal-01221072v1
- [5] Ã. Tanter, N. Tabareau. Gradual Certified Programming in Coq. In 11th ACM Dynamic Languages Symposium (DLS 2015), octobre 2015, Pittsburgh, états-Unis.https://inria.hal.science/hal-01238774v1
- [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-01214365v1
- [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-01214387v1
- [8] R. Douence. Composition non modulaire modulaire. https://inria.hal.science/tel-01357054v1
