Travelled to:1 × Canada
1 × Italy
Collaborated with:D.Delahaye V.Donzeau-Gouge M.Maarek F.Anseaume V.Delebarre
Talks about:predict (1) environ (1) certifi (1) airport (1) improv (1) effici (1) trust (1) secur (1) regul (1) proof (1)
Person: Jean-Frédéric Étienne
DBLP: =Eacute=tienne:Jean=Fr=eacute=d=eacute=ric
Contributed to:
2015
2006Wrote 2 papers:
- ICSE-v2-2015-EtienneMAD #modelling #performance #predict #process #proving #trust
- Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
- FM-2006-DelahayeED #security #using
- Certifying Airport Security Regulations Using the Focal Environment (DD, JFÉ, VDG), pp. 48–63.