Articles with public access mandates - Sun Jun - Agence Nationale de la RechercheLearn more
Not available based on mandate: 1
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
Available based on mandate: 5
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
Parametric timed model checking for guaranteeing timed opacity
É André, J Sun
International Symposium on Automated Technology for Verification and …, 2019
Automated synthesis of local time requirement for service composition
É André, TH Tan, M Chen, S Liu, J Sun, Y Liu, JS Dong
Software and Systems Modeling 19, 983-1013, 2020
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage
E Rothstein-Morris, J Sun, S Chattopadhyay
2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022
Parametric timed model checking for guaranteeing timed opacity.(2019)
É ANDRÉ, J SUN
Proceedings of the 17th International Symposium, ATVA, 28-31, 2019
Publication and funding information is determined automatically by a computer program