553 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〉
  • 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〉
  • 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〉
  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Preserving opacity on Interval Markov Chains under simulation. WODES 2016 - 13th International Workshop on Discrete Event Systems , May 2016, Xi'an, China. Proceedings of 13th International Workshop on Discrete Event Systems (WODES) 2016, IEEE, pp.319-324, 2016, 〈Christos G. Cassandras and Alessandro Giua and Zhiwu Li〉. 〈10.1109/WODES.2016.7497866〉. 〈hal-01347712〉
  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Opacity for Linear Constraint Markov Chains. [Research Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France; Univ. de Franche-Comté; Ecole Polytechnique de Montréal; LACL, Université Paris-Est. 2016. 〈hal-01384153〉
  • Jean-Louis Giavitto, Antoine Spicher. A Topological Approach of Musical Relationships. Jordan B L Smith (National Institute for Advanced Industrial Research and Technology (AIST) Japan); Elaine Chew (Queen Mary University of London, UK); Gérard Assayag (IRCAM - UMPC - CNRS, Science and Technology of Music and Sound Lab, France). Mathemusical Conversations - Mathematics and Computation in Music Performance and Composition, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (32), World Scientific, pp.283--298, 2016, 978-981-3140-09-7 〈http://www.worldscientific.com/worldscibooks/10.1142/10046〉. 〈hal-01377659〉
  • Nghi Huynh. Verification and validation of healthcare access control policies. Computation and Language [cs.CL]. Université Paris-Est, 2016. English. 〈NNT : 2016PESC1042〉. 〈tel-01538386〉