Didier Bert (LSR - IMAG)

Identifiers

• name variant Didier Bert (LSR - IMAG) 0.60 · backfill

Papers (3)

1. GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. cs.LO · 2010 · author #1
2. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions cs.LO · 2005 · author #2
3. Proof obligations for specification and refinement of liveness properties under weak fairness cs.LO · 2005 · author #2

Mentions

• 1004.1472 #1 · backfill · confidence 0.70 Didier Bert (LSR - IMAG)

Frequent Coauthors

• Hector Ruiz Barradas (LSR - IMAG) 2 shared papers
• Marie-Laure Potet (LSR - IMAG) 1 shared papers
• Nicolas Stouls (LSR - IMAG) 1 shared papers