A benchmarks library for extended parametric timed automata É André, D Marinho, J van de Pol International Conference on Tests and Proofs, 39-50, 2021 | 15 | 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 | 12 | 2022 |
Expiring opacity problems in parametric timed automata É André, E Lefaucheux, D Marinho 2023 27th International Conference on Engineering of Complex Computer …, 2023 | 3 | 2023 |
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 | 2 | 2022 |
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 | 1 | 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 | 1 | 2022 |
Expiring opacity problems in parametric timed automata E Lefaucheux, É André, D Marinho | | 2023 |
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 |
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, ... | | |