Home » Team publications

Publications  for  the  collection  HAL LS2N-STR  for  2016

Total of the publications found : 24

Overview of LS2N-STR publications by types

International journals with reviewing committee (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.
    • [2] J. Girault, J. Loiseau, O. Roux. On-line compositional controller synthesis for AGV. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2016, vol. 26, num. 4.
    • [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.

International conferences with reviewing committee (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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [12] L. Jezequel, D. Lime. Lazy Reachability Analysis in Distributed Systems. In 27th International Conference on Concurrency Theory (CONCUR 2016), août 2016, Québec, Canada.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.

Books - books sections - directions of work or proceedings (OUV)

PhD Thesis (THESE)

    • [19] M. Comlan. Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement.. Thèses : Université de Nantes, Université d'Abomey-Calavi, .

Other publications (AUTRES)

    • [22] 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.
    • [23] 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.
    • [24] 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.
Copyright : LS2N 2017 - Legal notices -