Didier Lime

Identifiers

• name variant Didier Lime 0.60 · backfill

Papers (5)

1. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata cs.LO · 2023 · author #2
2. Parametric analyses of attack-fault trees cs.CR · 2019 · author #2
3. Parametric Timed Broadcast Protocols cs.LO · 2018 · author #4
4. Interrupt Timed Automata with Auxiliary Clocks and Parameters cs.LO · 2014 · author #4
5. Control and Synthesis of Non-Interferent Timed Systems cs.LO · 2012 · author #3

Mentions

• 1207.4984 #3 · arxiv_oai · confidence 0.70 Didier Lime
• 1409.2408 #4 · backfill · confidence 0.70 Didier Lime
• 1207.4984 #3 · backfill · confidence 0.70 Didier Lime

Frequent Coauthors

• \'Etienne Andr\'e 3 shared papers
• Olivier H. Roux 2 shared papers
• Aleksandra Jovanovi\'c 1 shared papers
• B\'eatrice B\'erard 1 shared papers
• Beno\^it Delahaye 1 shared papers
• Franck Cassez 1 shared papers
• Gilles Benattar 1 shared papers
• Mari\"elle Stoelinga 1 shared papers
• Mathias Ramparison 1 shared papers
• Paulin Fournier 1 shared papers
• Serge Haddad 1 shared papers