Benjamin Fontan

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
Formal verification of secure group communication protocols modelled in UML. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille
Synthèse d'observateurs à partir d'exigences temporelles. LMO (2008)
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur
Temporal Verification in Secure Group Communication System Design. SECURWARE (2007)
Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Real-Time and Embedded System Verification Based on Formal Requirements. IES (2006)
Sara Mota, Benjamin Fontan
UML-based modeling and formal verification of security protocols. CoNEXT (2005)