Author Search Results

1

Guaranteeing timed opacity using parametric timed model checking

Guaranteeing timed opacity using parametric timed model checking

by ANDRÉ, Étienne, LIME, Didier, MARINHO, Dylan, SUN, Jun
Published 2022

Get full text
Get full text

text

2

Configuring timing parameters to ensure execution-time opacity in timed automata

Configuring timing parameters to ensure execution-time opacity in timed automata

by André, Étienne, Lefaucheux, Engel, Lime, Didier, Marinho, Dylan, SUN, Jun
Published 2023

Get full text
Get full text

text