Publications 2020-2025

• 2025
  • É. André, J.‑L. Béchennec, S. Chattopadhyay, S. Faucou, D. Lime, D. Marinho, O. Roux, J. Sun : “Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets”, SAC '25: Proceedings of the 40^th ACM/SIGAPP Symposium on Applied Computing, Catania (IT), Italy, pp. 1998-2006, (ACM) (2025)
• 2023
  • É. André, E. Lefaucheux, D. Marinho : “Expiring opacity problems in parametric timed automata”, 2023 27^th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, pp. 89-98, (IEEE) (2023)
• 2022
  • É. André, Sh. Bolat, E. Lefaucheux, D. Marinho : “strategFTO: Untimed control for timed opacity”, Proceedings of the 8^th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Proceedings of the 8^th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Auckland, New Zealand, pp. 27-33, (ACM) (2022)
  • É. André, D. Lime, D. Marinho, J. Sun : “Guaranteeing Timed Opacity using Parametric Timed Model Checking”, ACM Transactions on Software Engineering and Methodology, vol. 31 (4), pp. 1-36, (Association for Computing Machinery) (2022)
  • É. André, D. Marinho, L. Petrucci, J. Van De Pol : “Efficient Convex Zone Merging in Parametric Timed Automata”, 20^th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 13465, Lecture Notes in Computer Science, Warsaw, Poland, pp. 200-218, (Springer International Publishing) (2022)
• 2021
  • É. André, D. Marinho, J. Van De Pol : “A Benchmarks Library for Extended Parametric Timed Automata”, TAP 2021 - 15^th International Conference on Tests and Proofs n°12740, Proceedings of the 15^th International Conference on Tests and Proofs (TAP 2021), Virtual, Norway, pp. 39-50, (Springer) (2021)
• 2020
  • D. Marinho : “Désobscurcissement de prédicats opaques”, (2020)