| A logic of communication in hostile environment P Bieber Computer Security Foundations Workshop III, 1990. Proceedings, 14-22, 1990 | 136 | 1990 |
| 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 | 133 | 2003 |
| 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 | 110 | 2006 |
| New Challenges for Future Avionic Architectures. P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti AerospaceLab, p. 1-10, 2012 | 90 | 2012 |
| Combination of fault tree analysis and model checking for safety assessment of complex system P Bieber, C Castel, C Seguin European Dependable Computing Conference, 19-31, 2002 | 83 | 2002 |
| A logical view of secure dependencies P Bieber, F Cuppens Journal of Computer Security 1 (1), 99-129, 1992 | 81 | 1992 |
| Safety assessment with AltaRica P Bieber, C Bougnol, C Castel, JPHC Kehren, S Metge, C Seguin Building the Information Society, 505-510, 2004 | 77 | 2004 |
| Checking secure interactions of smart card applets: extended version 1 P Bieber, J Cazin, P Girard, JL Lanet, V Wiels, G Zanon Journal of Computer Security 10 (4), 369-398, 2002 | 57 | 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 | 45 | 2007 |
| Formal development of authentication protocols P Bieber, N Boulahia-Cuppens 6th Refinement Workshop, 80-102, 1994 | 39 | 1994 |
| 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 | 37 | 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 | 35 | 2009 |
| Expression of confidentiality policies with deontic logic P Bieber, F Cuppens Deontic logic in computer science: normative system specification, 103-123, 1994 | 35 | 1994 |
| A definition of secure dependencies using the logic of security P Bieber, F Cuppens Proceedings Computer Security Foundations Workshop IV, 2, 3, 4, 5, 6, 7, 8 …, 1991 | 35 | 1991 |
| 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 European Symposium on Research in Computer Security, 1-16, 2000 | 30 | 2000 |
| DALculus–theory and tool for development assurance level allocation P Bieber, R Delmas, C Seguin International Conference on Computer Safety, Reliability, and Security, 43-56, 2011 | 28 | 2011 |
| 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 | 24 | 1993 |
| Security and safety assurance for aerospace embedded systems P Bieber, JP Blanquart, G Descargues, M Dulucq, Y Fourastier, E Hazane, ... Embedded Real Time Software and Systems (ERTS2012), 2012 | 23 | 2012 |
| Safe allocation of avionics shared resources L Sagaspe, G Bel, P Bieber, F Boniol, C Castel Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005 | 23 | 2005 |
Virginie WielsONERAAdresse e-mail validée de onera.fr
