Seguir
Pierre Bieber
Pierre Bieber
Email confirmado em onera.fr
Título
Citado por
Citado por
Ano
ESACS: an integrated methodology for design and safety analysis of complex systems
M Bozzano, A Villafiorita, O Åkerlund, P Bieber, C Bougnol, E Böde, ...
Proc. ESREL, 237-245, 2003
1412003
A logic of communication in hostile environment
P Bieber
Computer Security Foundations Workshop III, 1990. Proceedings, 14-22, 1990
1391990
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
O Akerlund, P Bieber, E Boede, M Bozzano, M Bretschneider, C Castel, ...
Conference ERTS'06, 2006
1192006
New challenges for future avionic architectures.
P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti
Aerospace Lab, p. 1-10, 2012
1162012
Combination of fault tree analysis and model checking for safety assessment of complex system
P Bieber, C Castel, C Seguin
Dependable Computing EDCC-4: 4th European Dependable Computing Conference …, 2002
922002
Safety assessment with AltaRica: lessons learnt based on two aircraft system studies
P Bieber, C Bougnol, C Castel, JPH Christophe Kehren, S Metge, ...
Building the Information Society: IFIP 18th World Computer Congress Topical …, 2004
912004
A logical view of secure dependencies
P Bieber, F Cuppens
Journal of Computer Security 1 (1), 99-129, 1992
881992
Checking secure interactions of smart card applets: Extended version
P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon
Journal of Computer Security 10 (4), 369-398, 2002
582002
Experiments in model based safety analysis: Flight controls
R Bernard, JJ Aubert, P Bieber, C Merlini, S Metge
IFAC Proceedings Volumes 40 (6), 43-48, 2007
562007
Preliminary design of future reconfigurable IMA platforms
P Bieber, E Noulard, C Pagetti, T Planche, F Vialard
ACM Sigbed Review 6 (3), 1-5, 2009
482009
Formal development of authentication protocols
P Bieber, N Boulahia-Cuppens
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994
431994
DALculus–theory and tool for development assurance level allocation
P Bieber, R Delmas, C Seguin
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
412011
Constraint-based design and allocation of shared avionics resources
L Sagaspe, P Bieber
2007 IEEE/AIAA 26th Digital Avionics Systems Conference, 2. A. 5-1-2. A. 5-10, 2007
392007
A Definition of Secure Dependencies Using the Logic of Security.
P Bieber, F Cuppens
CSFW, 2-11, 1991
371991
Expression of confidentiality policies with deontic logic
P Bieber, F Cuppens
Deontic logic in computer science: normative system specification, 103-123, 1993
361993
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
P Bieber, JP Blanquart, G Durrieu, D Lesens, J Lucotte, F Tardy, M Turin, ...
Embedded Real Time Software and Systems (ERTS2008), 2008
312008
The PACAP prototype: a tool for detecting Java Card illegal flow
P Bieber, J Cazin, V Wiels, G Zanon, E Marouan, P Girard, JL Lanet
International Java Card Workshop, 25-37, 2000
312000
Checking secure interactions of smart card applets
P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon
Computer Security-ESORICS 2000: 6th European Symposium on Research in …, 2000
312000
Abstract machines for communication security
P Bieber, N Boulahia-Cuppens, T Lehmann, E Van Wickeren
[1993] Proceedings Computer Security Foundations Workshop VI, 137-146, 1993
311993
Quantitative assessments of runway excursion precursors using Mode S data
X Olive, P Bieber
arXiv preprint arXiv:1903.11964, 2019
282019
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20