P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, J-L. Lanet "Checking
secure interactions of smart cart applets: extended version "
ESORICS 2000, Toulouse, 4-6 octobre 2000
http://www.cert.fr/francais/deri/wiels/Publi/esorics00.ps
P. Bieber, J. Cazin, A. El Marouani, P. Girard, J-L. Lanet,
V. Wiels "The PACAP prototype: a tool for detecting
Java Card illegal flow" Java Card Forum, Cannes, septembre
2000
http://www.cert.fr/francais/deri/wiels/Publi/jcwshop.ps
P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, J-L. Lanet"Certification d'un porte-monnaie électronique", Journées FAC, 2000. http://www.cert.fr/francais/deri/bieber/papers/2000fac.ps.gz
P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, J-L. Lanet "Electronic
Purse Applet Certification : Extended Abstract", Electronic
Notes in Theoretical Computer Science,Volume 32, 2000.
http://www.cert.fr/francais/deri/bieber/papers/2000entcs.ps.gz
P. Bieber, J. Cazin, A. El Marouani, P. Girard, J-L. Lanet,
R. Muller, V. Wiels, G. Zanon "Detecting illegal
information flow using abstract interpretation and model checking "
Gemplus Developer Conference, Montpellier, juin 2000
http://www.cert.fr/francais/deri/wiels/Publi/GDC2000.ps
B. d'Ausbourg and J. Cazin "Using TRIO
Specifications to Generate Test Cases for an Interactive System"6th
International Eurographics Workshop on Design, Specification and Verification
of Interactive Systems - Braga, Portugal, June 2-4, 1999
http://www.cert.fr/en/dtim/publis/CVSI/1999/dsvis99.ps
P. Bieber, J. Cazin, P. Siron, G.Zanon "Security
Extensions to ONERA RTI HLA Prototype" - 1998 Fall
Simulation Interoperability Workshop, Orlando, September 13-18, 1998.
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/Orlando.ps.gz
M. Doche, J. Cazin, D. Le Berre, P. Michel, C. Seguin, V; Wiels
- "Module Templates for the Specification of
Fault-Tolerant System" - DASIA'98 - May 98 - Athens
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/DASIA98.ps.gz
J. Cazin "Approches
formelle des systèmes informatiques complexes,: application au développement
et à la validation" - RSTD 3 - 1998
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/artrtsd98.ps.gz
(in French)
J. Cazin, C. Seguin. - "Utilisation d'un
environnement de logique remporelle pour la validation et le test d'un
système de commandes électriques d'avion" - Monography
OFTA: ARAGO 20 - Applications des techniques formelles au logiciel - Juin
1997
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/ofta97.ps.gz
(in French)
J. Cazin, C. Seguin. - "Utilisation d'un
environnement de logique remporelle pour la validation et le test d'un
système de commandes électriques d'avion" - Rapport
d'activités 96 ONERA - Mars 97
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/onera96.ps.gz
(in French)
J. Cazin, C. Seguin, W. Osnowycz, E. Ciapessoni, E. Ratto - "An
experience in the specification and test of an electrical flight control
system using a temporal logic framework" - DASIA 96 May 96 - Roma
.
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/DASIA96.ps.gz
(Paper)
http://www.cert.fr/anglais/deri/cazin/Perso/Topos/DASIA96.ps.gz
(Presentation)
J. Cazin, P. Girard, C; O'Halloran and C. Sennett - "Formal
Validation of Software for secure systems" - FMMSSE95 Feb. 95 -
St Quentin en Yvelines
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/fmmsse.ps.gz
(Paper)
http://www.cert.fr/anglais/deri/cazin/Perso/Topos/fmmsse.ps.gz
(Presentation)
J. Cazin , P. Cros, R. Jacquart , M. Lemoine and P. Michel
- "Construction and reuse of formal
program developments" - TAPSOFT 1991 -Brighton
http://www.cert.fr/anglais/deri/cazin/Perso/Publis/TAPSOFT91.ps.gz
J. Cazin , R. Jacquart , M. Lemoine and P. Michel - "The ToolUse Project and Formal Program Developments" - ESF Workshop 1990 -Berlin
J. Cazin , R. Jacquart , M. Lemoine and P. Michel - "Manipulation of Formal Developments Expressed in DEVA" - Software Engineering Environments 1989 - Durham -
J. Cazin , R. Jacquart , M. Lemoine , P. Maurice and P. Michel - "Method Driven Programming" - IFIF 1989 -San Francisco -
J. Cazin, P. Michel and G. Verfaillie - "The F1 Formalism: an extension of the the entity relationship model usingf the first order logic" - 4th International Conference on Entitiy Relationship Approach - 1985 Chicago
J. Cazin, R. Jacquart, P. Michel, L. Boi, Y. Boubenider, H. Heckenroth - "Le système d'information d'un atelier de génie logiciel" - Journées BIGRE 83 - Le Cap d'Agde.
L. Boi, M. Buis, J. Cazin, JM. Jantke, P. Michel, A;. Plas " ISAURE: un système modulaire orienté sécurité de l'information et traitement des exceptions " - Bulleztin BIGRE - DeC. 81
L. Boi, M. Buis, J. Cazin, JM. Jantke, P. Michel, A;. Plas " Exception handling and recovery techniques in modular systems: an application to the ISAURE system" - FTCS'11 - Portland - Jun. 1981
L. Boi, M. Buis, J. Cazin, L. Camdoras, JM. Jantke, P. Michel, A;. Plas " ISAURE: a modular system for data security and fault tolerance" - IFIP working conference on Reliable computing and Fault Tolerance in the 1980'S - London - Sept. 79
L. Boi, M. Buis, J. Cazin, L. Camdoras, JM. Jantke, P. Michel, A;. Plas " ISAURE: a modular system for data security and fault tolerance" - 2ème cours européen sur la sreté de fonctionnement - Toulouse, Sept. 79