Home » Team publications


Publications  for  the  collection  HAL LS2N-STR  for  2019

Total of the publications found : 17

Overview of LS2N-STR publications by types
ART_INT
COMM_INT
512

International journals with reviewing committee (ART_INT)

    • [1] Ã. André, M. Knapik, D. Lime, W. Penczek, L. Petrucci. Parametric Verification: An Introduction. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2019.
      https://hal.science/hal-02170526
    • [2] H. El Ghor, M. Chetto. Energy Guarantee Scheme for Real-time Systems with Energy Harvesting Constraints. In International Journal of Automation and Computing ; éd. Springer Verlag, 2019.
      https://hal.science/hal-02016880
    • [3] M. Chetto, A. Queudet. Feasibility Analysis of Periodic Real-Time Systems with Energy Harvesting Capabilities. In Sustainable Computing : Informatics and Systems ; éd. Elsevier, 2019.
      https://hal.science/hal-02058575
    • [4] M. Chetto, H. Ghor. Scheduling and power management in energy harvesting computing systems with real-time constraints. In Journal of Systems Architecture ; éd. Elsevier, 2019, vol. 98.
      https://hal.science/hal-02613084
    • [5] D. Delfieu, M. Comlan. Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture. In SCEE ; éd. Pr. Mohamed N. HARMAS, 2019, vol. 1, num. 2.
      https://hal.science/hal-02454089

International conferences with reviewing committee (COMM_INT)

    • [6] Ã. André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
      https://hal.science/hal-01961497
    • [7] K. Hammoudi, M. Taha, H. Benhabiles, M. Melkemi, F. Windal, S. El Assad, A. Queudet. Image-based Ciphering of Video Streams and Object Recognition for Urban and Vehicular Surveillance Services. In International Conference on Information and Computer Technology, mars 2019, London, Royaume-Uni.
      https://hal.science/hal-02184667
    • [8] E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin-Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot-Adet, J. Srba, Y. Thierry-Mieg, T. van Dijk, K. Wolf. Presentation of the 9th Edition of the Model Checking Contest. In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, avril 2019, Prague, République tchèque.
      https://hal.sorbonne-universite.fr/hal-02094047
    • [9] D. Lime, O. Roux, C. Seidner. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. In 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), juin 2019, Aachen, Allemagne.
      https://hal.science/hal-02565091
    • [10] J. Béchennec, D. Lime, O. Roux. Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.science/hal-02415301
    • [11] Ã. André, D. Lime, M. Ramparison, M. Stoelinga. Parametric analyses of attack-fault trees. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.science/hal-02153316
    • [12] R. Osta, M. Chetto, H. Ghor. An efficient aperiodic task server for energy harvesting embedded systems. In The 2019 IEEE International Conference on Internet of Things and Intelligence Systems, novembre 2019, Kuta, Indonésie.
      https://hal.science/hal-02463382
    • [13] Ã. André, D. Lime, M. Ramparison. On the expressive power of invariants in parametric timed automata. In 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), novembre 2019, Hong Kong, Chine.
      https://hal.science/hal-02267883
    • [14] J. Béchennec, D. Lime, O. Roux. Contrôle des SED avec urgence,évitabilité et inéluctabilité. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.science/hal-02432148v2
    • [15] R. Bao, C. Attiogbe, P. Fournier, D. Lime. Model checking paramétrique statistique du plan de vol de drone civil. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.science/hal-02432687
    • [16] H. Coullon, C. Jard, D. Lime. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In IFM 2019 : 15th International Conference on integrated Formal Methods, décembre 2019, Bergen, Norvège.
      https://hal.science/hal-02323641
    • [17] Ã. André, D. Lime, M. Ramparison. Parametric updates in parametric timed automata. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.
      https://hal.science/hal-02153238
Copyright : LS2N 2017 - Legal notices - 
 -