538 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. On the use of domain and system knowledge modeling in goal-based Event-B specifications. ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, Oct 2016, Corfu, Greece. Springer, Proceedings ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, pp.325 - 339, 2016, <10.1007/978-3-319-47166-2_23>. <hal-01425977>
  • Clément Aubert, Ioana Cristescu. Contextual equivalences in configuration structures and reversibility. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016. <hal-01229408v2>
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Performance analysis of a queue by combining stochastic bounds, real traffic traces and histograms. The Computer Journal, Oxford University Press (UK), 2016, 59 (12), pp.1817 - 1830. <10.1093/comjnl/bxw032>. <hal-01449268>
  • 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>
  • 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>
  • 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>
  • 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>
  • Aaron Meurer​, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, et al.. SymPy: Symbolic computing in Python. 2016. <hal-01404156>
  • 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>