Benjamin Fontan

UML-based modeling and formal verification of authentication protocols

Pierre de Saqui-Sannes, Benjamin Fontan, Sara Mota, 2006 .

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

Ludovic Apvrille, Pierre de Saqui-Sannes, Benjamin Fontan, 2008, LMO.

D . 3 . 4 PROOF-OF-CONCEPT CASE TOOL

Dániel Varró, Bashar Nuseibeh, Fabio Massacci, 2011 .

UML Modeling and Formal Verification of Secure Group Communication Protocols

Laurent Vigneron, Pierre de Saqui-Sannes, Isabelle Chrisment, 2008, FM'08 2008.

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

Benjamin Fontan, B. Fontan, 2008 .

Timing requirement description diagrams for real-time system verification

Ludovic Apvrille, Benjamin Fontan, P. de Saqui-Sannes, 2008 .

Formal verification of secure group communication protocols modelled in UML

Laurent Vigneron, Pierre de Saqui-Sannes, Isabelle Chrisment, 2010, Innovations in Systems and Software Engineering.

Real-Time and Embedded System Verification Based on Formal Requirements

Ludovic Apvrille, Pierre de Saqui-Sannes, Benjamin Fontan, 2006, 2006 International Symposium on Industrial Embedded Systems.

Evaluation of existing methods and principles

Heidi E. I. Dahl, Benjamin Fontan, Frank Innerhofer-Oberperfler, 2009 .

D.3.2 METHOLOGY FOR EVOLUTIONARY REQUIREMENTS

Charles B. Haley, Benjamin Fontan, Yijun Yu, 2010 .

Temporal Verification in Secure Group Communication System Design

Pierre de Saqui-Sannes, Benjamin Fontan, Sara Mota, 2007, The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007).

UML-based modeling and formal verification of security protocols

Benjamin Fontan, Sara Mota, Benjamin Fontan, 2005, CoNEXT '05.