Registration
This shows you the differences between two versions of the page.
|
industry [2014/04/24 13:50] braibant [Program] |
industry [2014/07/11 14:45] (current) plateau [Program] |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| * 14h00 : Introduction | * 14h00 : Introduction | ||
| - | * 14h05 : Emmanuel Ledinot ([[http://www.dassault-aviation.com/ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// | + | * 14h05 : Emmanuel Ledinot ([[http://www.dassault-aviation.com/ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// {{:av2_regard25ans_fm_final_diffusion.pdf|(pdf)}} |
| - | * 14h50 : Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]]) //SCADE: un langage formel pour l'embarqué critique// | + | * 14h50 : Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]]) //SCADE: un langage formel pour l'embarqué critique// {{:slides_estereltech_280414.pdf|(pdf)}} |
| - | * 15h15 : Benjamin Monate ([[http://trust-in-soft.com/ | TrustInSoft]]) //TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// | + | * 15h15 : Benjamin Monate ([[http://trust-in-soft.com/ | TrustInSoft]]) //TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// {{::2014_04_26_trustinsoft_talk_1_.pdf|(pdf)}} |
| Line 20: | Line 20: | ||
| - | * 16h00 : Dominique Bolignano ([[http://www.provenrun.com/ | Prove & Run]]) //Méthodes formelles et sécurité mobile// | + | * 16h00 : Dominique Bolignano ([[http://www.provenrun.com/ | Prove & Run]]) //Méthodes formelles et sécurité mobile// {{::ihp_2014_prove_run.pdf|(pdf)}} |
| - | * 16h25 : Alain Frish ([[http://www.lexifi.com/ | LexiFi]]) //LexiFi: Approche "langage" pour la description de contrats financiers// | + | * 16h25 : Alain Frish ([[http://www.lexifi.com/ | LexiFi]]) //LexiFi: Approche "langage" pour la description de contrats financiers// {{::afrisch.pdf|(pdf)}} |
| - | * 16h50 : Olivier Levillain ([[http://www.ssi.gouv.fr/ | ANSSI]]) //Langages de développement et sécurité --- Mind your language// | + | * 16h50 : Olivier Levillain ([[http://www.ssi.gouv.fr/ | ANSSI]]) //Langages de développement et sécurité --- Mind your language// {{:olivier_levillain.pdf|(pdf)}} |
| * 17h15 : Pause | * 17h15 : Pause | ||
| - | * 17h25 : Philippe Bonnard et Georges Uzbelger ([[ http://www-05.ibm.com/fr/clientcenter/index.html | IBM ]]) //Des règles métier pour la gestion de l'incertain// | + | * 17h25 : Philippe Bonnard et Georges Uzbelger ([[ http://www-05.ibm.com/fr/clientcenter/index.html | IBM ]]) //Des règles métier pour la gestion de l'incertain// {{::ibm.pdf|(pdf)}} |
| - | * 17h35 : Claire Dross ([[ http://www.spark-2014.org/ | Adacore]]) //SPARK 2014: Vérification de Programmes Ada// | + | * 17h35 : Claire Dross ([[ http://www.spark-2014.org/ | Adacore]]) //SPARK 2014: Vérification de Programmes Ada// {{::claire_dross.pdf|(pdf)}} |
| - | * 17h40 : Etienne Prun ([[http://clearsy.com/ | Clearsy]]) | + | * 17h40 : Etienne Prun ([[http://clearsy.com/ | Clearsy]]) //Vérification formelle système : CBTC Flushing// {{::clearsy.pdf|(pdf)}} |
| - | * 17h45 : Romain Bardou ([[http://www.cryptosense.com/ | CryptoSense]])// Cryptosense Analyzer: découverte automatique de failles de sécurité// | + | * 17h45 : Romain Bardou ([[http://www.cryptosense.com/ | CryptoSense]])// Cryptosense Analyzer: découverte automatique de failles de sécurité// {{::romain_bardou.pdf|(pdf)}} |
| - | * 17h50 : Fabrice Le Fessant / Mohamed Iguernelala ([[http://www.ocamlpro.com/ | OcamlPro]]) //OCamlPro: Promouvoir OCaml dans le monde industriel// | + | * 17h50 : Mohamed Iguernelala ([[http://www.ocamlpro.com/ | OcamlPro]]) //OCamlPro: Promouvoir OCaml dans le monde industriel// {{:ocamlpro-iguernelala.pdf|(pdf)}} |
| * 17h55 : Conclusion | * 17h55 : Conclusion | ||