| 2023 | ICSoft | Integration of Heterogeneous Components for Co-Simulation. | Jawher Jerray, Raba Ameur-Boulifa, Ludovic Apvrille |
| 2023 | SEFM | Refinements for Open Automata. | Raba Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
| 2022 | TASE | Security Vulnerabilities Detection Through Assertion-Based Approach. | Salim Yahia Kissi, Raba Ameur-Boulifa, Yassamine Seladji |
| 2021 | ICSoft | Detection of Security Vulnerabilities Induced by Integer Errors. | Salim Yahia Kissi, Yassamine Seladji, Raba Ameur-Boulifa |
| 2019 | ICSoft | Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. | Raba Ameur-Boulifa, Ana R. Cavalli, Stephane Maag |
| 2019 | ICSoft | From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. | Raba Ameur-Boulifa, Ana R. Cavalli, Stephane Maag |
| 2018 | ESORICS | SysML Model Transformation for Safety and Security Analysis. | Raba Ameur-Boulifa, Florian Lugou, Ludovic Apvrille |
| 2017 | FDL | Rethinking of I/O-automata composition. | Sarah Chabane, Raba Ameur-Boulifa, Mohamed Mezghiche |
| 2017 | ICISSP | Tracking Dependent Information Flows. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa, Takoua Kechiche, Stuart Short |
| 2017 | PRDC | Formal Specification and Verification of Security Guidelines. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2017 | TASE | Formal specification of security guidelines for program certification. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2016 | MODELSWARD | SysML Models and Model Transformation for Security. | Florian Lugou, Letitia W. Li, Ludovic Apvrille, Raba Ameur-Boulifa |
| 2016 | RE | Security Guidelines: Requirements Engineering for Verifying Code Quality. | Zeineb Zhioua, Yves Roudier, Stuart Short, Raba Ameur-Boulifa |
| 2013 | FDL | Assisting refinement in System-on-Chip design. | Hocine Mokrani, Raba Ameur-Boulifa, Emmanuelle Encrenaz-Tiphne |
| 2006 | DSD | Abstract Application Modeling for System Design Space Exploration. | Waseem Muhammad, Ludovic Apvrille, Raba Ameur-Boulifa, Sophie Coudert, Renaud Pacalet |