552 documents

  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • Rodica Bozianu. Synthesis of Interactive Reactive Systems. Formal Languages and Automata Theory [cs.FL]. Université Paris-Est, 2016. English. < NNT : 2016PESC1026 >. <tel-01532054>
  • 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>
  • 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>