537 documents

  • 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>
  • Aaron Meurer​, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, et al.. SymPy: Symbolic computing in Python. 2016. <hal-01404156>
  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. International Journal of Parallel Programming, Springer Verlag, 2016, pp.20. <hal-01159182>
  • Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, et al.. Layered Data: A Modular Formal Definition without Formalisms. Lawrence Cabac, Lars Michael Kristensen, and Heiko Rölke. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. CEUR-WS.org, 1591, pp.287-306, 2016, CEUR Workshops Proceedings. <http://pn2016.mat.umk.pl/>. <hal-01353944>
  • Amel Mammar, Thi Mai Nguyen, Régine Laleau. Formal development of a secure access control filter. HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. IEEE, Proceedings HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, pp.173 - 180, 2016, <10.1109/HASE.2016.10>. <hal-01298113>
  • Thi Mai Nguyen, Amel Mammar, Régine Laleau, Samir Hameg. A tool for the generation of a secure access control filter. 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.7549285>. <hal-01359879>
  • 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>
  • 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>
  • Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaël Randour, et al.. Non-Zero Sum Games for Reactive Synthesis. Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide; Bianca Truthe LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. Springer, 9618, pp.3-23, Lecture Notes in Computer Science <10.1007/978-3-319-30000-9_1>. <hal-01373546>
  • Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, et al.. Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering. ACS Synthetic Biology, American Chemical Society, 2016, 5 (8), pp.842-861. <10.1021/acssynbio.5b00246>. <hal-01354757>