| A benchmarks library for extended parametric timed automata É André, D Marinho, J van de Pol International Conference on Tests and Proofs, 39-50, 2021 | 28 | 2021 |
| Guaranteeing timed opacity using parametric timed model checking É André, D Lime, D Marinho, J Sun ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-36, 2022 | 25 | 2022 |
| Expiring opacity problems in parametric timed automata É André, E Lefaucheux, D Marinho 2023 27th International Conference on Engineering of Complex Computer …, 2023 | 13 | 2023 |
| Configuring timing parameters to ensure execution-time opacity in timed automata É André, E Lefaucheux, D Lime, D Marinho, J Sun arXiv preprint arXiv:2310.20392, 2023 | 11 | 2023 |
| strategFTO: Untimed control for timed opacity É André, S Bolat, E Lefaucheux, D Marinho Proceedings Of The 8th ACM SIGPLAN International Workshop On Formal …, 2022 | 10 | 2022 |
| Efficient convex zone merging in parametric timed automata É André, D Marinho, L Petrucci, J van de Pol International Conference on Formal Modeling and Analysis of Timed Systems …, 2022 | 5 | 2022 |
| Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets É André, JL Béchennec, S Chattopadhyay, S Faucou, D Lime, D Marinho, ... Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 1998-2006, 2025 | | 2025 |
| Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty D Marinho Université de Lorraine, 2023 | | 2023 |
| Contributions théoriques et algorithmiques pour l’analyse de propriétés de sûreté et de sécurité dans les systemes temporisés sous incertitude D Marinho Université de Lorraine, 2023 | | 2023 |
| Efficient Convex Zone Merging É André¹, D Marinho, L Petrucci Formal Modeling and Analysis of Timed Systems: 20th International Conference …, 2022 | | 2022 |
| A Benchmarks Library for Extended É André¹, D Marinho Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of …, 2021 | | 2021 |
| Désobscurcissement de prédicats opaques D Marinho Inria Nancy-Grand Est, 2020 | | 2020 |
| Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification D Marinho Inria Rennes-Bretagne Atlantique, 2018 | | 2018 |
| Guaranteeing Timed Opacity using Parametric Timed Model Checking D Marinho | | |
| Etude de propriétés d’opacité temporiséea l’aide de vérification temporisée paramétrée D Marinho Proceedings” Approches formelles dans l’assistance au développement du …, 0 | | |
| 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)| 979-8-3503-4004-4/23/$31.00© 2023 IEEE| DOI: 10.1109/ICECCS59891. 2023.00035 É André, P Arcaini, S Baarir, G Bai, JP Baudeveix, P Bellini, C Benzaïd, ... | | |
Étienne AndréNantes Université, Bretagne, FranceVerified email at univ-nantes.fr
