557 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〉
  • Johanne Cohen, Alexandre Fauquette, Jean-Michel Fourneau, Nihal Pekergin, Gilles Christian. Convex Stochastic Bounds and Stochastic Optimisation on Graphs . Ninth International Workshop on Practical Applications of Stochastic Modelling (PASM 2017), Sep 2017, Berlin, Germany. 2017, 〈http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM17.htm〉. 〈hal-01638313〉
  • Sergey Verlan, Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. (Tissue) P Systems with Vesicles of Multisets. 15th International Conference on Automata and Formal Languages, AFL 2017, Sep 2017, Debrecen, Hungary. 252, pp.11 - 25, 2017, 〈10.4204/EPTCS.252.6〉. 〈hal-01638707〉
  • Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan. Universal Matrix Insertion Grammars with Small Size. Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. Lecture Notes in Computer Science, 10240, pp.182-193, 2017. 〈hal-01638808〉
  • 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〉
  • Sergey Verlan, Sergiu Ivanov. Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 155 (1-2), pp.163 - 185. 〈10.3233/FI-2017-1580〉. 〈hal-01638789〉