Search the dblp DataBase

Publications of Author

1. Jacques Cazin, René Jacquart, P. Michel
   The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. [Citation Graph (2, 3)][DBLP]
   ER, 1985, pp:216-223 [Conf]
   
2. Bruno d'Ausbourg, Jacques Cazin
   Using TRIO Specifications to Generate Test Cases for an Interactive System. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1999, pp:148-166 [Conf]
   
3. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   Checking Secure Interactions of Smart Card Applets. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2000, pp:1-16 [Conf]
   
4. Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice
   Method Driven Programming. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1989, pp:351-356 [Conf]
   
5. Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. [Citation Graph (0, 0)][DBLP]
   Java Card Workshop, 2000, pp:25-37 [Conf]
   
6. Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
   Construction and Reuse of Formal Program Developments. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1991, pp:120-136 [Conf]
   
7. Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
   Electronic Purse Applet Certification: extended abstract. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
8. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   Checking Secure Interactions of Smart Card Applets: Extended Version. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2002, v:10, n:4, pp:369-398 [Journal]