265 citations
- Institut national de recherche en sciences et technologies du numériqueFR22 papers
- Geometric (India)IN8 papers
- Institut de Mathématiques de BordeauxFR8 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR8 papers
- Centre Inria de l'université de BordeauxFR7 papers
- Centre Inria de l'Université de LorraineFR5 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR5 papers
- Université de LorraineFR5 papers
- Graz University of TechnologyAT4 papers
- Nantes UniversitéFR4 papers
- École PolytechniqueFR3 papers
Showing 2022Show all
3 papers · 1 filter
cs.FL2022★ 3 cited
Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci +1
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a signifi…
cs.CR2022★ 6 cited
strategFTO: Untimed control for timed opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux +1
We introduce a prototype tool strategFTO addressing the verification of a security property in critical software. We consider a recent definition of timed opacity where an attacker…
cs.LO2022★ 2 cited
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…