Benjamin Fontan

According to our database, Benjamin Fontan authored at least 7 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Formal verification of secure group communication protocols modelled in UML.

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron

Innov. Syst. Softw. Eng., 2010

2008

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML.

Benjamin Fontan

PhD thesis, 2008

Synthèse d'observateurs à partir d'exigences temporelles.

Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the Langages et Modèles à Objets, 2008

2007

Temporal Verification in Secure Group Communication System Design.

Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur

Proceedings of the First International Conference on Emerging Security Information, 2007

2006

Real-Time and Embedded System Verification Based on Formal Requirements.

Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

UML-Based Modeling and Formal Verification of Authentication Protocols.

Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

UML-based modeling and formal verification of security protocols.

Sara Mota, Benjamin Fontan

Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, 2005