Publications of Brahim HAMID
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games
Internet of Things, 2024, 26 (July), pp.101161. ⟨10.1016/j.iot.2024.101161⟩
Engineering secure systems: Models, patterns and empirical validation
Computers & Security, 2018, 77, pp.315-348. ⟨10.1016/j.cose.2018.03.016⟩
A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support
Future Generation Computer Systems, 2017, vol. 68, pp. 473-490. ⟨10.1016/j.future.2016.04.018⟩
Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
Journal of Systems and Software, 2016, vol. 122, pp. 239-273. ⟨10.1016/j.jss.2016.09.027⟩
Brahim Hamid, Sigrid Gürgens, Andreas Fuchs
Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems
Innovations in Systems and Software Engineering, 2016, vol. 12 (n° 2), pp. 109-140. ⟨10.1007/s11334-015-0259-1⟩
Modeling of Secure and Dependable Applications Based on a Repository of Patterns: The SEMCO Approach
Reliability, 2014, Trustworthy computing and cybersecurity, Special, pp.9-17
Brahim Hamid, Yulin Zhang, Jacob Geisel, David Gonzalez
First Experiment on Modeling Safety LifeCycle Process in Railway Systems
In : International Journal of Dependable and Trustworthy Information Systems (IJDTIS), IGI Global, Hershey – USA, Vol. 2 N. 2, pp. 17-39, November 2011.
Brahim Hamid, Nicolas Desnos, Christophe Jouvray
Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, pp. 53-58, May 2011.
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Droits d’accès aux services offerts par des composants logiciels– Profil UML à base de patrons de sécurité
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 94, pp. 6-11, September 2010.
A Local Enumeration Protocol in Spite of Corrupted Data
In : Journal of Computers, Academy Publisher, Finland, Vol. 1 N. 7, pp. 9-20, 2006.
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Constructing security cases based on formal verification of security requirements in alloy
42nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2023) Workshops, Sep 2023, Toulouse, France. pp.15-25, ⟨10.1007/978-3-031-40953-0_2⟩
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Formal model-based argument patterns for security cases
28th European Conference on Pattern Languages of Programs (EuroPLoP 2023), Jul 2023, Irsee, Germany. pp.1-12, ⟨10.1145/3628034.3628044⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Formal analysis approach for multi-layered system safety and security co-engineering
14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Facilitating safety and security co-design and formal analysis in multi-layered system modeling
20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Introducing a multi-layered model-based design approach towards safety-security co-engineering
IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Multi-layered model-based design approach towards system safety and security co-engineering
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formalizing Reusable Communication Models for Distributed Systems Architecture
8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.198-216
Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering
International Conference On Model and Data Engineering (MEDI 2017), Oct 2017, Barcelona, Spain. pp.111-125
Eduardo B. Fernandez, Brahim Hamid
Two safety patterns: Safety Assertion and Safety Assertion Enforcer.
22nd European Conference on Pattern Language of Programs (EuroPlop 2017), Jul 2017, Irsee, Germany. pp.1-9
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns for real-time systems
21st IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp. 155-164, ⟨10.1145/2855321.2855332⟩
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Towards the integration of security patterns in UML Component-based Applications
Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE}19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint-Malo, France
Jacob Geisel, Brahim Hamid, David Gonzalez, Jean-Michel Bruel
Towards a Methodological Tool Support for Modeling Security-Oriented Processes
6th International Conference On Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp. 31-41
Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study
TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), Sep 2016, Trondheim, Norway. pp. 375-389
A Model Repository Description Language – MRDL
15th International Conference on Software Reuse (ICSR 2016), Jun 2016, Limassol, Cyprus. pp. 350-367
Jacob Geisel, Brahim Hamid, Jean-Michel Bruel
Security Concepts as Add-On for Process Models
20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193
Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development
14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland. pp. 254-262
Eduardo B. Fernandez, Brahim Hamid
A pattern for network functions virtualization
20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-9
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns based on security requirements and pattern classification
20th European Conference on Pattern Language of Programs (EuroPlop 2015), Jul 2015, Kloster Irsee, Germany. pp. 1-17
A Model-Driven Methodology Approach for Developing a Repository of Models
4th International Conference On Model and Data Engineering (MEDI 2014), Sep 2014, Larnaca, Cyprus. pp.29-44, ⟨10.1007/978-3-319-11587-0_5⟩
Brahim Hamid, Christian Percebois
A Modeling and Formal Approach for the Precise Specification of Security Patterns
International Symposium on Engineering Secure Software and Systems – ESSoS 2014, Feb 2014, Munich, Germany. pp. 95-112
Frédéric Mayart, Jean-Michel Bruel, Brahim Hamid
How to Analyze Modeling Approach Comparison Criteria (short paper)
In : Comparing Modeling Approaches Workshop, Miami, 01/10/13, Vol. 1076, CEUR-WS : Workshop proceedings, (on line), October 2013.
URL : http://ceur-ws.org/Vol-1076/paper7.pdf – https://oatao.univ-toulouse.fr/12759/
BibTeXJacob Geisel, Brahim Hamid, Adel Ziani, Ansgar Radermacher
Common Pattern Modeling Language for Object and Component Architectures (regular paper)
In : Pattern Languages of Programs Conference (PLOP 2013), Allerton Park in Monticello, IL, USA, 23/10/13-26/10/13, ACM Digital Library, pp. 1-16, 2013.
Brahim Hamid, Christian Percebois
Model-based Specification and Validation of Security and Dependability Patterns (regular paper)
In : International Symposium on Foundations & Practice of Security (FPS 2013), La Rochelle, France, 21/10/13-22/10/13, Springer, pp. 1-18, October 2013.
Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, Brahim Hamid
Split of Composite Components for Distributed Applications (regular paper)
In : Forum on Specification & Design Languages (FDL 2013), Paris, France, 24/09/13-26/09/13, IEEE Computer Society, pp. 1-6, 2013.
Brahim Hamid, Adel Ziani, Jacob Geisel
Towards Tool Support for Pattern-Based Secure and Dependable Systems Development (regular paper)
In : ACadeMics Tooling with Eclipse (ACME 2013), Montpellier, France, 02/07/13-02/07/13, ACM Digital Library, pp. 1-10, 2013.
Adel Ziani, Brahim Hamid, Jacob Geisel, Jean-Michel Bruel
A Model-based Repository of Security and Dependability Patterns for Trusted RCES (regular paper)
In : IEEE International Conference on Information Reuse and Integration (IRI 2013), San Francisco, CA. USA, 14/08/13-16/08/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 448-457, 2013.
Ansgar Radermacher, Brahim Hamid, Manel Fredj , Jean-Louis Profizi
S&D Patterns for Component-Based Applications with Safety Requirements (regular paper)
In : European Conference on Pattern Language of Programs (EuroPlop 2013), Kloster Irsee in Bavaria, Germany, 10/07/13-14/07/13, ACM Digital Library, pp. 1-16, July 2013.
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez
Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns (regular paper)
In : System Design Languages Forum, Montreal, Canada, 26/06/13-28/06/13, Springer, LNCS, pp. 73-91, June 2013.
Brahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez
Safety Lifecycle Development Process Modeling for Embedded Systems – Example of Railway Domain (regular paper)
In : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Vol. 7527, Springer, LNCS, pp. 63-75, September 2012.
Adel Ziani, Brahim Hamid, Jean-Michel Bruel
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design (regular paper)
In : Euromicro conference on Software Engineering and Advanced Applications, Cesme, Izmir, Turkey, 05/09/12-08/09/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 166-169, September 2012.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Design-Time Verification of Reconfigurable Real-Time Embedded Systems (regular paper)
In : IEEE International Conference on Embedded Software and Systems, Liverpool, 25/06/12-27/06/12, IEEE Computer Society, pp. 1487-1494, 2012.
Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila
An MDE-Based Approach for Reconfigurable DRE Systems (regular paper)
In : Workshop on Knowledge Media Networking – IEEE Ninth International Workshops on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE 2012), Toulouse, 25/06/12-27/06/12, IEEE Communications Society, pp. 78-83, June 2012.
Brahim Hamid, Christian Percebois, Damien Gouteux
A Methodology for Integration of Patterns with Validation Purpose (regular paper)
In : European Conference on Pattern Language of Programs (EuroPlop 2012), Kloster Irsee, Germany, 11/07/12-15/07/12, ACM Digital Library, pp. 1-14, 2012.
Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems (regular paper)
In : Software Quality Days (SWQD 2012), Vienna, 17/01/12-19/01/12, Springer, pp. 193-204, January 2012.
Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), wellington, 16/10/11-21/10/11, Vol. 6981, Jon Whittle (Eds.), Springer, pp. 319-333, October 2011.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems (regular paper)
In : European Conference on Software Architecture (ECSA 2011), Essen, Germany, 13/09/11-16/09/11, Springer, pp. 295-302, September 2011.
Adel Ziani, Brahim Hamid, Salvador Trujillo
Towards a Unified Meta-model for Resources-Constrained Embedded Systems (regular paper)
In : Euromicro conference on Software Engineering and Advanced Applications, Oulu, Finland, 30/08/11-02/09/11, IEEE Computer Society, pp. 485-492, September 2011.
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Towards a Better Integration of Patterns in Secure Component-Based Systems Design (regular paper)
In : International Conference on Computational Science and Applications (ICCSA 2011), University of Cantabria, 20/06/11-23/06/11, Vol. 5, Springer, pp. 607-621, June 2011.
Alternative Paths to Components and Systems: Challenge objectives and Success Stories
In : International Networking Event on Med-EU ICT Co-operation, Hammamet, Tunisia, 08/11/10-10/11/10 (invited speaker).
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES (regular paper)
In : IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2010), Hong Kong SAR, China, 11/12/10-13/12/10, IEEE Computer Society – Conference Publishing Services, pp. 60-67, December 2010.
Salvador Trujillo, Antonio Perez, David Gonzalez, Brahim Hamid
Towards the Integration of Advanced Engineering Paradigms into RCES: Raising the issues for the Safety-Critical Model-Driven Product-Line Case (short paper)
In : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienna, 14/09/10-14/09/10, ACM : Association for Computing Machinery, pp. 1-4, September 2010.
Brahim Hamid, Nicolas Desnos, Cyril Grepet, Christophe Jouvray
Model-Based Security and Dependability Patterns in RCES the TERESA Approach (short paper)
In : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienna, 14/09/10-14/09/10, Brahim Hamid, Carsten Rudolph, Christoph Ruland (Eds.), ACM : Association for Computing Machinery, pp. 1-4, September 2010.
Model-Based Engineering for Dynamic Reconfiguration in DRTES (regular paper)
In : Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010), Copenhagen, Denmark, 23/08/10-24/08/10, ACM : Association for Computing Machinery, pp. 269-276, August 2010.
Clock Synchronization Modeling in DRTES (regular paper)
In : Hands-on Platforms and tools for model-based engineering of Embedded Systems (workshop at ECMFA 2010) (HoPES 2010), Paris, 15/06/10-16/06/10, CEA LIST, pp. 51-56, 2010.
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Droits daccès aux services offerts par des composants logiciels (regular paper)
In : Sécurité des Systèmes d’Information et les Environnements Collaboratifs – INFORSID 2010 (SEC-SY 2010), Marseilles, 25/05/10-25/05/10, IRIT, pp. 13-25, May 2010.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette
Designing Dynamic Reconfiguration of Distributed Real Time Embedded Systems (regular paper)
In : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisie, 31/05/10-02/06/10, IEEE Computer Society, pp. 249-254, June 2010.
Mohamed-Lamine Boukhanoufa, Brahim Hamid, Agnes Lanusse, Ansgar Radermacher
Démarche de développement à base de composant d’applications embarquées tolérantes aux fautes (regular paper)
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2009), Nancy, France, 25/03/09-26/03/09, Hermès, pp. 65-72, 2009.
Brahim Hamid, Agnes Lanusse, Ansgar Radermacher, Sébastien Gérard
Designing Reconfigurable Component Systems with a Model Based Approach
In : ARTIST Workshop on Adaptive and Reconfigurable Embedded Systems, Saint Louis, MO, USA, 21/04/08-21/04/08, ARTIST (European Network of Excellence on Embedded Systems), pp. 69-73, April 2008.
Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sébastien Gérard
A fault-tolerance framework for distributed component systems
In : Euromicro conference on Software Engineering and Advanced Applications, Parma, Italy, 03/09/08-05/09/08, IEEE Computer Society, pp. 84–91, September 2008.
Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, François Terrier
Designing fault-tolerant component based applications with a model driven approach (regular paper)
In : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri Island, Italy, 01/10/08-03/10/08, Vol. 5287, Springer-Verlag, Lecture Notes in Computer Science, pp. 9-20, October 2008.
URL : http://www.springerlink.com/content/978-3-540-87784-4
BibTeXBrahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
A Simple distributed algorithm for the maintenance of a spanning tree
In : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), USTHB, Alger, Algérie, 05/05/07-06/05/07, British Computer Society, Electronic Workshops in Computing series (eWiC), pp. 1-14, 2007.
Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
Distributed local 2-connectivity test of graphs and applications
In : International Symposium on Parallel and Distributed Processing and Applications, Niagara Falls, ON, CANADA, 29/08/07-31/08/07, Vol. 4742, Springer-Verlag, LNCS, pp. 195-207, 2007.
Brahim Hamid, Mohamed Mosbah, Akka Zemmari
Self-stabilizing distributed algorithm for resolving conflicts
In : International Workshop on Reliability in Decentralized Distributed Systems, Vilamoura, Algarve, Portugal, 25/11/07-30/11/07, Vol. 4806, Springer-Verlag, LNCS, pp. 1024-1051, November 2007.
Distributed maintenance of spanning trees using graph relabeling systems
In : Workshop on Graph Computation Models (GCM’06), a satellite event of the The third International Conference on Graph Transformation (ICGT’06), Natal, Brazil, 18/09/06-18/09/06.
A tool to design and prototype fault-tolerant distributed algorithms
In : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2006), Toulouse, France, 06/06/06-09/06/06, Hermès, pp. 311-322, June 2006.
A local self-stabilizing enumeration algorithm
In : IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4025, Springer-Verlag, LNCS, pp. 289-302, June 2006.
A formal model for snap-stabilization in distributed systems
In : The Poster Session of the symposium on self-stabilizing systems (SSS’05), Barcelona, Spain, 25/10/05-27/10/05.
A model for self-stabilization using relabeling systems
In : Cinquième journées scientifiques des jeunes chercheurs en génie électrique et informatique (GEI’05), Sousse, Tunisie, 25/03/05-27/03/05.
A formal model for fault-tolerance in distributed systems
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2005), Fredrikstad, Norway, 26/09/05-30/09/05, Vol. 3688, Springer, LNCS, pp. 108-121, September 2005.
An automatic approach to self-stabilization
In : ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2005), Towson University, Maryland, U. S. A., 23/05/05-25/05/05, IEEE Computer Society, pp. 123-128, May 2005.
Visualization of self-stabilizing distributed algorithms
In : International conference on information visualization (IV 2005), Londres, UK, 01/07/05-05/07/05, IEEE Computer Society, pp. 550-555, July 2005.
Détection de pannes dans un système distribué par échange local de messages,
In : Journées Scientifiques Francophones (JSF’03), Tozeur, Tunisie, 20/12/03-21/12/03.
Ansgar Radermacher, Önder Gürcan, Arnaud Cuccuru, Sébastien Gerard, Brahim Hamid
Split of Composite Components for Distributed Applications
Languages, Design Methods, and Tools for Electronic System Design. Lecture Notes in Electrical Engineering, 311, pp.265-280, 2014, Lecture Notes in Electrical Engineering
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid
A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
In : Software Engineering Research, Management and Applications. Roger Lee (Eds.) , Springer, 6, pp. 81-96, Vol. 430, Studies in Computational Intelligence, 2012.
Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Security and safety interplay of intelligent software systems: ESORICS 2018 international workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6-7, 2018, revised selected papers
ESORICS 2018 international workshops (ISSA 2018) and (CSITS 2018), Lecture Notes in Computer Science, LNCS 11552, Springer International Publishing, pp.1–173, 2019, Security and Cryptology, LNCS, 978-3-030-16873-5. ⟨10.1007/978-3-030-16874-2⟩
Brahim Hamid, Carsten Rudolph, Antonio Mana, Simin Nadjm-Tehrani
International Workshop on Security and Dependability for Resource Constrained Embedded Systems (SD4RCES) in conjunction with SAFECOMP 2011, Naples, Italy, 22/09/11 – 22/09/11, ACM Digital Library, September 2011.
Brahim Hamid, François Terrier
International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE) in conjunction with SEAA 2011, Oulu, Finland, 01/09/11 – 02/09/11, IEEE Computer Society, September 2011.
Brahim Hamid, François Terrier
International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE), Tozeur, Tunisia, 29/05/10 – 30/05/10, IEEE : Institute of Electrical and Electronics Engineers, May 2010.
Brahim Hamid, Carsten Rudolph, Christoph Ruland
International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES) in conjunction with SAFECOMP 2010, Vienna, Austria, 14/09/10 – 14/09/10, ACM : Association for Computing Machinery, September 2010.
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Towards logical specification of adversarial examples in machine learning
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2022), Dec 2022, Wuhan, China. IEEE, 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pp.1575-1580, 2022, ⟨10.1109/TrustCom56396.2022.00226⟩