Travelled to:1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:D.Méry J.P.Gibson S.Merz
Talks about:verif (2) abstract (1) reactiv (1) diagram (1) tempor (1) tamper (1) system (1) storag (1) specif (1) predic (1)
Person: Dominique Cansell
DBLP: Cansell:Dominique
Contributed to:
2007
2000
1999Wrote 3 papers:
- SEFM-2007-CansellGM #verification
- Formal verification of tamper-evident storage for e-voting (DC, JPG, DM), pp. 329–338.
- IFM-2000-CansellMM #diagrams #verification
- Predicate Diagrams for the Verification of Reactive Systems (DC, DM, SM), pp. 380–397.
- SAS-1999-CansellM #specification
- Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.