Pierre Bieber - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2023

Evaluation of a Resilience-Driven Operational Concept to Manage Drone Intrusions in AirportsDomenico Pascarella, Gabriella Gigante, Angela Vozella, Maurizio Sodano, Marco Ippolito, Pierre Bieber, Thomas Dubot, Edgar Martinavarro. information, 14(4):239, April 2023. [doi]

2019

Tiered Model-Based Safety AssessmentKevin Delmas, Christel Seguin, Pierre Bieber. imbsa 2019: 141-156 [doi]

2014

From Safety Models to Security Models: Preliminary Lessons LearntPierre Bieber, Julien Brunel. safecomp 2014: 269-281 [doi]

2012

An MDE-Based Synthesis of Aircraft Safety ModelsSébastien Maitrehenry, Sylvain Metge, Yamine Aït Ameur, Pierre Bieber. medi 2012: 43-54 [doi]

2011

DALculus - Theory and Tool for Development Assurance Level AllocationPierre Bieber, Remi Delmas, Christel Seguin. safecomp 2011: 43-56 [doi]

2009

Preliminary design of future reconfigurable IMA platformsPierre Bieber, Eric Noulard, Claire Pagetti, Thierry Planche, Francois Vialard. sigbed, 6(3):7, 2009. [doi]

2008

Vers la génération de modèles de sûreté de fonctionnementXavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. lmo 2008: 59-61 [doi]

Vers la génération de modèles de sûreté de fonctionnementXavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. cal 2008: 157-172

2005

Safe Allocation of Avionics Shared ResourcesLaurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel. hase 2005: 25-33 [doi]

2004

Safety assessment with AltaRicaPierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin. ifip 2004: 505-510

2002

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex SystemPierre Bieber, Charles Castel, Christel Seguin. edcc 2002: 19-31 [doi]

Checking Secure Interactions of Smart Card Applets: Extended VersionPierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon. jcs, 10(4):369-398, 2002.

2000

1999

Security Function InteractionsPierre Bieber. csfw 1999: 151-160 [doi]

Design and Implementation of a Distributed Interactive Simulation Security ArchitecturePierre Bieber, Pierre Siron. dsrt 1999: 113-119 [doi]

1996

Formal Techniques for an ITSEC-E4 Secure GatewayPierre Bieber. acsac 1996: 236-246 [doi]

1994

Formal Development of Authentication ProtocolsPierre Bieber, Nora Boulahia-Cuppens. Refine 1994: 80-102 [doi]

1993

Abstract Machines for Communication SecurityPierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren. csfw 1993: 137-146

1992

Secure Dependencies with Dynamic Level AssignmentsPierre Bieber, Frédéric Cuppens. csfw 1992: 63-75

A Logical View of Secure DependenciesPierre Bieber, Frédéric Cuppens. jcs, 1(1):99-130, 1992.

1991

A Definition of Secure Dependencies Using the Logic of SecurityPierre Bieber, Frédéric Cuppens. csfw 1991: 2-11

1990

A Logic of Communication in Hostile EnvironmentsPierre Bieber. csfw 1990: 14-22

Epistemic Verification of Cryptographic ProtocolsPierre Bieber. esorics 1990: 211-221

1988

MOLOG: a Modal PROLOGPierre Bieber, Luis Fariñas del Cerro, Andreas Herzig. cade 1988: 762-763

Sign in or sign up to see more results.

runs on WebDSL