The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. - Jacques Cazin; René Jacquart; P. Michel (ER, 1985)

Method Driven Programming. - Jacques Cazin; René Jacquart; Michel Lemoine; P. Michel; P. Maurice (IFIP Congress, 1989)

Construction and Reuse of Formal Program Developments. - Jacques Cazin; Patrice Cros; René Jacquart; Michel Lemoine; P. Michel (TAPSOFT, Vol.2, 1991)

Using TRIO Specifications to Generate Test Cases for an Interactive System. - Bruno d'Ausbourg; Jacques Cazin (DSV-IS, 1999)

Electronic Purse Applet Certification: extended abstract. - Pierre Bieber; Jacques Cazin; Virginie Wiels; Guy Zanon; Pierre Girard; Jean-Louis Lanet (Workshop on Secure Architectures and Information Flow, 1999)

Checking Secure Interactions of Smart Card Applets. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (ESORICS, 2000)

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. - Pierre Bieber; Jacques Cazin; A. El Marouani; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (Java Card Workshop, 2000)

Checking Secure Interactions of Smart Card Applets: Extended Version. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (J. Comput. Secur., 2002)

Formal Verification of a Safety Argumentation and Application to a Complex UAV System. - Julien Brunel; Jacques Cazin (SAFECOMP Workshops, 2012)