Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2310.20392
Cited By
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
31 October 2023
Étienne André
Engel Lefaucheux
D. Lime
Dylan Marinho
Jun Sun
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata"
2 / 2 papers shown
Title
Execution-time opacity control for timed automata
Étienne André
Marie Duflot
Laetitia Laversa
Engel Lefaucheux
24
2
0
16 Sep 2024
Expiring opacity problems in parametric timed automata
Étienne André
Engel Lefaucheux
Dylan Marinho
24
5
0
12 Mar 2024
1