Régine Laleau

Affiliations: 
Université Paris-Est Créteil Val de Marne (UPEC) 
Area:
Information Science, Information Technology, Computer Science
Website:
http://lacl.univ-paris12.fr/laleau/
Google:
"Régine Laleau"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Huynh N, Frappier M, Pooda H, et al. (2016) SGAC: A patient-centered access control method Proceedings - International Conference On Research Challenges in Information Science. 2016
Mai Nguyen T, Mammar A, Laleau R, et al. (2016) A tool for the generation of a secure access control filter Proceedings - International Conference On Research Challenges in Information Science. 2016
Mammar A, Nguyen TM, Laleau R. (2016) Formal Development of a Secure Access Control Filter Proceedings of Ieee International Symposium On High Assurance Systems Engineering. 2016: 173-180
Fayolle T, Frappier M, Gervais F, et al. (2016) Modelling a hemodialysis machine using Algebraic state-Transition Diagrams and B-like methods Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9675: 394-408
Ledru Y, Idani A, Milhau J, et al. (2015) Validation of IS security policies featuring authorisation constraints International Journal of Information System Modeling and Design. 6: 24-46
Huynh N, Frappier M, Mammar A, et al. (2015) A formal validation of the RBAC ANSI 2012 standard using B Science of Computer Programming
Mammar A, Laleau R. (2015) Modeling a landing gear system in Event-B International Journal On Software Tools For Technology Transfer
Frappier M, Gervais F, Laleau R, et al. (2014) Refinement patterns for ASTDs Formal Aspects of Computing. 26: 919-941
Mammar A, Laleau R. (2014) A proved approach for building correct instances of UML Associations: Multiplicities satisfaction Proceedings - Asia-Pacific Software Engineering Conference, Apsec. 1: 438-445
Huynh N, Frappier M, Mammar A, et al. (2014) Validating the RBAC ANSI 2012 standard using B Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8477: 255-270
See more...