| 2014 | SAFECOMP | From Safety Models to Security Models: Preliminary Lessons Learnt. | Pierre Bieber, Julien Brunel |
| 2012 | MEDI | An MDE-Based Synthesis of Aircraft Safety Models. | Sbastien Matrehenry, Sylvain Metge, Yamine At Ameur, Pierre Bieber |
| 2011 | SAFECOMP | DALculus - Theory and Tool for Development Assurance Level Allocation. | Pierre Bieber, Remi Delmas, Christel Seguin |
| 2002 | EDCC | Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. | Pierre Bieber, Charles Castel, Christel Seguin |
| 2000 | ACSAC | Security Architecture for Federated Cooperative Information Systems. | Pierre Bieber, D. Raujol, Pierre Siron |
| 2000 | ESORICS | Checking Secure Interactions of Smart Card Applets. | Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
| 1996 | ACSAC | Formal Techniques for an ITSEC-E4 Secure Gateway. | Pierre Bieber |
| 1990 | ESORICS | Epistemic Verification of Cryptographic Protocols. | Pierre Bieber |
| 1988 | CADE | MOLOG: a Modal PROLOG. | Pierre Bieber, Luis Farias del Cerro, Andreas Herzig |