BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gava:Fr=eacute=d=eacute=ric

Contributed to:

IFM 20132013
PDP 20122012
PDP 20092009

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.