Pierre Bieber

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