| 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 | 141 | 2003 |
| A logic of communication in hostile environment P Bieber Computer Security Foundations Workshop III, 1990. Proceedings, 14-22, 1990 | 139 | 1990 |
| 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 | 119 | 2006 |
| New challenges for future avionic architectures. P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti Aerospace Lab, p. 1-10, 2012 | 114 | 2012 |
| 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 | 92 | 2002 |
| 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 | 91 | 2004 |
| A logical view of secure dependencies P Bieber, F Cuppens Journal of Computer Security 1 (1), 99-129, 1992 | 88 | 1992 |
| 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 | 58 | 2002 |
| 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 | 54 | 2007 |
| 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 | 48 | 2009 |
| Formal development of authentication protocols P Bieber, N Boulahia-Cuppens 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994 | 43 | 1994 |
| DALculus–theory and tool for development assurance level allocation P Bieber, R Delmas, C Seguin Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 39 | 2011 |
| 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 | 39 | 2007 |
| A Definition of Secure Dependencies Using the Logic of Security. P Bieber, F Cuppens CSFW, 2-11, 1991 | 37 | 1991 |
| Expression of confidentiality policies with deontic logic P Bieber, F Cuppens Deontic logic in computer science: normative system specification, 103-123, 1993 | 35 | 1993 |
| 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 | 31 | 2000 |
| 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 | 31 | 2000 |
| 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 | 31 | 1993 |
| 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 | 30 | 2008 |
| Quantitative assessments of runway excursion precursors using Mode S data X Olive, P Bieber arXiv preprint arXiv:1903.11964, 2019 | 28 | 2019 |
Virginie WielsONERA在 onera.fr 的电子邮件经过验证
Virginie WielsONERA在 onera.fr 的电子邮件经过验证
Claire PagettiONERA / ANITI在 onera.fr 的电子邮件经过验证