Pierre Bieber

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 2

Top Topics

Evaluation Method

Decision Making

Top Venues

SAFECOMP Workshops

Publications

Domenico Pascarella, Gabriella Gigante, Angela Vozella, Maurizio Sodano, Marco Ippolito, Pierre Bieber, Thomas Dubot, Edgar Martinavarro
Evaluation of a Resilience-Driven Operational Concept to Manage Drone Intrusions in Airports. Inf. 14 (4) (2023)
Kevin Delmas, Christel Seguin, Pierre Bieber
Tiered Model-Based Safety Assessment. IMBSA (2019)
Pierre Bieber, Julien Brunel
From Safety Models to Security Models: Preliminary Lessons Learnt. SAFECOMP Workshops (2014)
Sébastien Maîtrehenry, Sylvain Metge, Yamine Aït Ameur, Pierre Bieber
An MDE-Based Synthesis of Aircraft Safety Models. MEDI (2012)
Pierre Bieber, Remi Delmas, Christel Seguin
DALculus - Theory and Tool for Development Assurance Level Allocation. SAFECOMP (2011)
Pierre Bieber, Eric Noulard, Claire Pagetti, Thierry Planche, Francois Vialard
Preliminary design of future reconfigurable IMA platforms. SIGBED Rev. 6 (3) (2009)
Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy
Vers la génération de modèles de sûreté de fonctionnement. LMO (2008)
Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy
Vers la génération de modèles de sûreté de fonctionnement. CAL (2008)
Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel
Safe Allocation of Avionics Shared Resources. HASE (2005)
Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin
Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. IFIP Congress Topical Sessions (2004)
Pierre Bieber, Charles Castel, Christel Seguin
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. EDCC (2002)
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
Checking Secure Interactions of Smart Card Applets: Extended Version. J. Comput. Secur. 10 (4) (2002)
Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
Electronic Purse Applet Certification: extended abstract. Electron. Notes Theor. Comput. Sci. 32 (2000)
Pierre Bieber, D. Raujol, Pierre Siron
Security Architecture for Federated Cooperative Information Systems. ACSAC (2000)
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. Java Card Workshop (2000)
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
Checking Secure Interactions of Smart Card Applets. ESORICS (2000)
Pierre Bieber
Security Function Interactions. CSFW (1999)
Pierre Bieber, Pierre Siron
Design and Implementation of a Distributed Interactive Simulation Security Architecture. DIS-RT (1999)
Pierre Bieber
Formal Techniques for an ITSEC-E4 Secure Gateway. ACSAC (1996)
Pierre Bieber, Nora Boulahia-Cuppens
Formal Development of Authentication Protocols. Refine (1994)
Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren
Abstract Machines for Communication Security. CSFW (1993)
Pierre Bieber, Frédéric Cuppens
A Logical View of Secure Dependencies. J. Comput. Secur. 1 (1) (1992)
Pierre Bieber, Frédéric Cuppens
Secure Dependencies with Dynamic Level Assignments. CSFW (1992)
Pierre Bieber, Frédéric Cuppens
A Definition of Secure Dependencies Using the Logic of Security. CSFW (1991)
Pierre Bieber
Epistemic Verification of Cryptographic Protocols. ESORICS (1990)
Pierre Bieber
A Logic of Communication in Hostile Environments. CSFW (1990)
Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig
MOLOG: a Modal PROLOG. CADE (1988)