Cited By
View all- André ÉLefaucheux ELime DMarinho DSun J(2023)Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed AutomataElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.392.1392(1-26)Online publication date: 31-Oct-2023
- André ÉLefaucheux EMarinho D(2023)Expiring opacity problems in parametric timed automata2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)10.1109/ICECCS59891.2023.00020(89-98)Online publication date: 14-Jun-2023
- Gruska D(2023)Security EnforcingConcurrency, Specification and Programming10.1007/978-3-031-26651-5_6(123-143)Online publication date: 5-May-2023
- Show More Cited By