Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2016

Nombre de publications retournées : 25


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
OUV
THESE
AUTRES
314134

Revues internationales avec comité de lecture (ART_INT)

    • [1] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, C. Rodríguez, F. Hulin-Hubard. MCC’2015 – The Fifth Model Checking Contest. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2016, vol. 9930.
      https://hal.inria.fr/hal-01361274
    • [3] B. Bérard, S. Haddad, A. Jovanović, D. Lime. Interrupt Timed Automata with Auxiliary Clocks and Parameters. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2016, vol. 143, num. 3-4.
      https://hal.sorbonne-universite.fr/hal-01300505

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [4] A. Hassan, A. Queudet, M. Oussalah. Evolution style: framework for modeling dynamic evolution of real-time software architecture. In 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2016), 2016, Copenhague, Danemark.
      https://hal.archives-ouvertes.fr/hal-01685155
    • [5] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2016, Saint Petersburg, Forida, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01590884
    • [6] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. Hardware runtime verification of embedded software in SoPC. In 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), mai 2016, Cracovie, Pologne.
      https://hal.archives-ouvertes.fr/hal-01307973
    • [7] L. Givel, J. Béchennec, M. Brun, S. Faucou, O. Roux. Testing real-time embedded software using runtime enforcement. In 11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, mai 2016, Krakow, Pologne.
      https://hal.archives-ouvertes.fr/hal-01399909
    • [8] M. Abu Taha, S. El Assad, O. Jallouli, A. Queudet, O. Déforges. Design of a pseudo-chaotic number generator as a random number generator. In The 11th International Conference on Communications, juin 2016, Bucarest, Roumanie.
      https://hal.archives-ouvertes.fr/hal-01295584
    • [9] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.
      https://hal.archives-ouvertes.fr/hal-01590900
    • [10] O. Jallouli, S. El Assad, M. Abu Taha, M. Chetto, R. Lozi, D. Caragata. An efficient pseudo chaotic number generator based on coupling and multiplexing techniques. In International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2016), juillet 2016, Nice, France.
      https://hal.archives-ouvertes.fr/hal-01318805
    • [11] . André, D. Lime, O. Roux. On the Expressiveness of Parametric Timed Automata. In 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), août 2016, Québec, Canada.
      https://hal.archives-ouvertes.fr/hal-02538061
    • [13] O. Jallouli, M. Abu Taha, S. El Assad, M. Chetto, A. Queudet, O. Déforges. Comparative Study of two Pseudo Chaotic Number Generators for Securing the IoT. In International Conference on Advances in Computing, Communications and Informatics (ICACCI-2016), septembre 2016, Jaipur, Inde.
      https://hal.archives-ouvertes.fr/hal-01355173
    • [14] B. Parquier, L. Rioux, R. Henia, R. Soulat, O. Roux, D. Lime, . André. Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems. In 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), novembre 2016, Tokyo, Japon.
      https://hal.archives-ouvertes.fr/hal-02538041
    • [15] . André, D. Lime, O. Roux. Decision Problems for Parametric Timed Automata. In 18th International Conference on Formal Engineering Methods (ICFEM 2016), novembre 2016, Tokyo, Japon.
      https://hal.archives-ouvertes.fr/hal-02538055
    • [16] O. Jallouli, S. El Assad, M. Chetto. Robust Chaos-based Stream-Cipher for Secure Public Communication Channels. In International Conference on Internet Technology and Secured Transactions, décembre 2016, Barcelone, Espagne.
      https://hal.archives-ouvertes.fr/hal-01355381
    • [17] A. Mangean, J. Béchennec, M. Briday, S. Faucou. BEST: a Binary Executable Slicing Tool. In 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), juillet 2016, Toulouse, France.In Martin Schoeberl (éds.), . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016.
      https://hal.archives-ouvertes.fr/hal-01713140

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [23] D. Solet, S. Pillement, M. Briday, J. Béchennec, S. Faucou. Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC. In Colloque National GDR SoC-SiP, juin 2016, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-01324796
    • [24] T. Brihaye, B. Delahaye, L. Jezequel, N. Markey, J. Srba. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters. In Electronic Proceedings in Theoretical Computer Science ; éd. EPTCS, 2016, vol. 220.
      https://hal.archives-ouvertes.fr/hal-02942556
    • [25] S. Faucou. Proceedings of the 24th International Conference on Real-Time Network and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016. In 24th International Conference on Real-Time Networks and Systems, RTNS 2016, octobre 2016, Brest, France.In Sébastien Faucou (éds.), . ACM Press, 2016.
      https://hal.archives-ouvertes.fr/hal-01713162
Copyright : LS2N 2017 - Mentions Légales - 
 -