553 documents

  • 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, 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〉
  • Julien Cervelle, Grégory Lafitte. On shift-invariant maximal filters and hormonal cellular automata. LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, pp.1-10, 2017, 〈http://lics.siglog.org/lics17/〉. 〈10.1109/LICS.2017.8005145〉. 〈hal-01615278〉
  • 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〉
  • 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〉
  • Nghi Huynh. Verification and validation of healthcare access control policies. Computation and Language [cs.CL]. Université Paris-Est, 2016. English. 〈NNT : 2016PESC1042〉. 〈tel-01538386〉
  • Rodica Bozianu. Synthesis of Interactive Reactive Systems. Formal Languages and Automata Theory [cs.FL]. Université Paris-Est, 2016. English. 〈NNT : 2016PESC1026〉. 〈tel-01532054〉
  • Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau. Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, 2016, Linz, Austria. Springer, 9675, pp.394--408, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-33600-8_33〉. 〈hal-01574901〉
  • 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〉