| Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support Q Rouland, B Hamid, J Jaskolka Journal of Systems Architecture 117, 102073, 2021 | 31 | 2021 |
| Security patterns modeling and formalization for pattern-based development of secure software systems B Hamid, S Gürgens, A Fuchs Innovations in Systems and Software Engineering 12, 109-140, 2016 | 31 | 2016 |
| Enforcing S&D pattern design in RCES with modeling and formal approaches B Hamid, S Gürgens, C Jouvray, N Desnos Model Driven Engineering Languages and Systems: 14th International …, 2011 | 31 | 2011 |
| Engineering secure systems: Models, patterns and empirical validation B Hamid, D Weber Computers & Security 77, 315-348, 2018 | 29 | 2018 |
| A pattern for network functions virtualization EB Fernandez, B Hamid Proceedings of the 20th European Conference on Pattern Languages of Programs …, 2015 | 26 | 2015 |
| Guiding the selection of security patterns based on security requirements and pattern classification A Motii, B Hamid, A Lanusse, JM Bruel Proceedings of the 20th European Conference on Pattern Languages of Programs …, 2015 | 25 | 2015 |
| Towards a model-based approach for reconfigurable dre systems F Krichen, B Hamid, B Zalila, M Jmaiel Software Architecture: 5th European Conference, ECSA 2011, Essen, Germany …, 2011 | 25 | 2011 |
| Model-driven engineering for trusted embedded systems based on security and dependability patterns B Hamid, J Geisel, A Ziani, JM Bruel, J Perez SDL 2013: Model-Driven Dependability Engineering: 16th International SDL …, 2013 | 23 | 2013 |
| Formal specification and verification of reusable communication models for distributed systems architecture Q Rouland, B Hamid, J Jaskolka Future Generation Computer Systems 108, 178-197, 2020 | 22 | 2020 |
| Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation B Hamid, J Perez Journal of Systems and Software 122, 239-273, 2016 | 22 | 2016 |
| Designing fault-tolerant component based applications with a model driven approach B Hamid, A Radermacher, A Lanusse, C Jouvray, S Gérard, F Terrier Software Technologies for Embedded and Ubiquitous Systems: 6th IFIP WG 10.2 …, 2008 | 22 | 2008 |
| Model-based security and dependability patterns in RCES: the TERESA approach B Hamid, N Desnos, C Grepet, C Jouvray Proceedings of the International Workshop on Security and Dependability for …, 2010 | 20 | 2010 |
| Guiding the selection of security patterns for real-time systems A Motii, B Hamid, A Lanusse, JM Bruel 2016 21st International Conference on Engineering of Complex Computer …, 2016 | 18 | 2016 |
| A modeling and formal approach for the precise specification of security patterns B Hamid, C Percebois Engineering Secure Software and Systems: 6th International Symposium, ESSoS …, 2014 | 18 | 2014 |
| Towards a better integration of patterns in secure component-based systems design R Bouaziz, B Hamid, N Desnos Computational Science and Its Applications-ICCSA 2011: International …, 2011 | 17 | 2011 |
| Designing dynamic reconfiguration for distributed real time embedded systems F Krichen, B Hamid, B Zalila, B Coulette 2010 10th Annual International Conference on New Technologies of Distributed …, 2010 | 17 | 2010 |
| A formal methods approach to security requirements specification and verification Q Rouland, B Hamid, JP Bodeveix, M Filali 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 16 | 2019 |
| Development of reconfigurable distributed embedded systems with a model‐driven approach F Krichen, B Hamid, B Zalila, M Jmaiel, B Coulette Concurrency and Computation: Practice and Experience 27 (6), 1391-1411, 2015 | 16 | 2015 |
| A methodology for integration of patterns with validation purpose B Hamid, C Percebois, D Gouteux Proceedings of the 17th European conference on pattern languages of programs …, 2012 | 16 | 2012 |
| Towards a unified meta-model for resources-constrained embedded systems A Ziani, B Hamid, S Trujillo 2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011 | 16 | 2011 |
Jean-Michel BruelProfessor of Computer Science, Toulouse University, France在 irit.fr 的电子邮件经过验证
