`Travelled to:`

1 × Finland

`Collaborated with:`

J.Fortin M.Guedj F.Pommereau

`Talks about:`

algorithm (2) state (2) space (2) paderborn (1) construct (1) protocol (1) univers (1) perform (1) subset (1) semant (1)

## Person: Frédéric Gava

### DBLP: Gava:Fr=eacute=d=eacute=ric

### Contributed to:

### Wrote 3 papers:

- IFM-2013-GavaFG #algorithm #deduction #verification
- Deductive Verification of State-Space Algorithms (FG, JF, MG), pp. 124–138.
- PDP-2012-GavaGP #algorithm #performance #protocol #security
- Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols (FG, MG, FP), pp. 170–174.
- PDP-2009-GavaF #semantics #set
- Two Formal Semantics of a Subset of the Paderborn University BSPlib (FG, JF), pp. 44–51.