Jacques Cazin

According to our database, Jacques Cazin authored at least 9 papers between 1985 and 2012.

Collaborative distances:

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

2012

Formal Verification of a Safety Argumentation and Application to a Complex UAV System.

Julien Brunel, Jacques Cazin

Proceedings of the Computer Safety, Reliability, and Security, 2012

2002

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

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

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Checking Secure Interactions of Smart Card Applets.

Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon

Proceedings of the Computer Security, 2000

1999

Electronic Purse Applet Certification: extended abstract.

Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet

Proceedings of the Workshop on Secure Architectures and Information Flow 1999, 1999

Using TRIO Specifications to Generate Test Cases for an Interactive System.

Bruno d'Ausbourg, Jacques Cazin

Proceedings of the Design, 1999

1991

Construction and Reuse of Formal Program Developments.

Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1989

Method Driven Programming.

Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1985

The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.

Jacques Cazin, René Jacquart, P. Michel

Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985