539 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>
  • 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>
  • 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>
  • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Verification of EB3 specifications using CADP . Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. <10.1007/s00165-016-0362-6>. <hal-01290460>
  • Aaron Meurer​, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, et al.. SymPy: Symbolic computing in Python. 2016. <hal-01404156>
  • Noam Greenberg, Joseph Miller, Benoit Monin, Daniel Turetsky. TWO MORE CHARACTERIZATIONS OF K-TRIVIALITY. Notre Dame Journal of Formal Logic, University of Notre Dame, 2016. <hal-01397290>
  • Benoit Monin, Ludovic Patey. Π 0 1 ENCODABILITY AND OMNISCIENT REDUCTIONS. Notre Dame Journal of Formal Logic, University of Notre Dame, 2016. <hal-01397286>
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds and histograms for active queues management and networks analysis. ASMTA 2016 : 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, Aug 2016, Cardiff United Kingdom. Springer, Proceedings ASMTA 2016 : 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, pp.1 - 16, 2016, <10.1007/978-3-319-43904-4_1>. <hal-01449260>
  • 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>