552 documents

  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. <10.1007/s10766-016-0415-8>. <hal-01159182>
  • Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.167 - 186. <10.1007/s10009-015-0391-0>. <hal-01254980>
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau. Verification of SGAC Access Control Policies Using Alloy and ProB. 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. IEEE Computer Society, PROCEEDINGS HASE 2017: 18th IEEE International Symposium on High Assurance Systems Engineering, pp.120 - 123, 2017, <10.1109/HASE.2017.24>. <hal-01574899>
  • Antoine Spicher, Jean-Louis Giavitto. Interaction-based Programming in MGS. Andrew Adamatzky. Advances in Unconventional Computing - Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. <10.1007/978-3-319-33924-5>. <http://link.springer.com/book/10.1007%2F978-3-319-33924-5>. <hal-01377667>
  • Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. <https://pfia2017.greyc.fr/iaf/>. <hal-01577780>
  • Nghi Huynh. Verification and validation of healthcare access control policies. Computation and Language [cs.CL]. Université Paris-Est, 2016. English. < NNT : 2016PESC1042 >. <tel-01538386>
  • Amel Mammar, Régine Laleau. On the use of domain and system knowledge modeling in goal-based Event-B specifications. ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, Oct 2016, Corfu, Greece. Springer, Proceedings ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, pp.325 - 339, 2016, <10.1007/978-3-319-47166-2_23>. <hal-01425977>
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, Elsevier, 2016, 131, pp.76 - 93. <10.1016/j.scico.2016.04.011>. <hal-01390991>
  • Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a patient-centered access control method. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. IEEE Computer Society, Proceedings RCIS 2016 : 10th International Conference on Research Challenges in Information Science, pp.1 - 12, 2016, <10.1109/RCIS.2016.7549286>. <hal-01359877>
  • Serge Grigorieff, Irene Guessarian, Patrick Cégielski. CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS. 2016. <hal-01260934>