Bimodal fucoidan-coated zinc oxide/iron oxide-based nanoparticles for the imaging of atherothrombosis H Nguyen, E Tinet, T Chauveau, F Geinguenaud, Y Lalatonne, A Michel, ... Molecules 24 (5), 962, 2019 | 23 | 2019 |
Layered and collecting NDFS with subsumption for parametric timed automata HG Nguyen, L Petrucci, J Van de Pol 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 19 | 2018 |
Reachability preservation based parameter synthesis for timed automata É André, G Lipari, HG Nguyen, Y Sun NASA Formal Methods Symposium, 50-65, 2015 | 14 | 2015 |
Enhanced distributed behavioral cartography of parametric timed automata É André, C Coti, HG Nguyen Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 10 | 2015 |
Parametric model checking timed automata under non-Zenoness assumption É André, HG Nguyen, L Petrucci, J Sun NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 9 | 2017 |
Efficient parameter synthesis using optimized state exploration strategies E André, HG Nguyen, L Petrucci 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 5 | 2017 |
Distributed parametric model checking timed automata under non-Zenoness assumption É André, HG Nguyen, L Petrucci, J Sun Formal Methods in System Design 59 (1), 253-290, 2021 | | 2021 |
Efficient Parametric Verification of Parametric Timed Automata HG Nguyen Université Sorbonne Paris Cité, 2018 | | 2018 |
Efficient Parameter Synthesis Using Optimized State Exploration Strategies HG NGUYEN | | 2017 |
Parametric model checking timed automata under non-Zenoness assumption HG Nguyen | | 2017 |
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation) É André, C Coti, HG Nguyen 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)(2015), 2015 | | 2015 |
Side information generation in Distributed Video Coding using selective DC coefficients H Nguyen, J Woods, M Ghanbari 2012 4th Computer Science and Electronic Engineering Conference (CEEC), 190-193, 2012 | | 2012 |
Applying Distributed Computing Techniques to The Parametric Verification of Real-Time Systems HG Nguyen | | |
Towards Distributed Verification of Parametric Real-Time Systems HG Nguyen | | |
Distributed Verification of Parametric Real-Time Systems HG Nguyen | | |
ICECCS 2017 É André, HG Nguyen, L Petrucci | | |