Publication de la collection HAL LS2N-STR pour 2019
Revues internationales avec comité de lecture (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-02170526v1
- [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-02016880v1
- [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-02058575v1
- [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-02613084v1
- [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-02454089v1
- [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-01961497v1
- [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-02184667v1
- [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-02094047v1
- [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-02565091v1
- [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-02415301v1
- [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-02153316v1
- [12] R. El 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-02463382v1
- [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-02267883v1
- [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-02432687v1
- [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-02323641v1
- [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-02153238v1
