Folgen
Brahim HAMID
Brahim HAMID
Professor of Computer Science, Toulouse University -IRIT
Bestätigte E-Mail-Adresse bei irit.fr
Titel
Zitiert von
Zitiert von
Jahr
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
342016
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
312011
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
302021
Engineering secure systems: Models, patterns and empirical validation
B Hamid, D Weber
Computers & Security 77, 315-348, 2018
292018
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
272015
A pattern for network functions virtualization
EB Fernandez, B Hamid
Proceedings of the 20th European Conference on Pattern Languages of Programs …, 2015
262015
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
262013
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
252011
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
232016
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
222008
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
212016
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
202010
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
192020
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
182014
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
182012
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
172011
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
172010
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
162019
A model-driven approach for developing a model repository: Methodology and tool support
B Hamid
Future Generation Computer Systems 68, 473-490, 2017
162017
Model-based real-time evaluation of security patterns: A SCADA system case study
A Motii, A Lanusse, B Hamid, JM Bruel
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE …, 2016
162016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20