Rabéa Ameur-Boulifa

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 18

Top Topics

Information Flows

Distributed Heterogeneous

Requirements Engineering

Top Venues

J. Log. Algebraic Methods Program.

Publications

Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine
Refinements for Open Automata. SEFM (2023)
Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille
Integration of Heterogeneous Components for Co-Simulation. ICSOFT (2023)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Compositional equivalences based on open pNets. J. Log. Algebraic Methods Program. 131 (2023)
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa
Detection of leaks through exception mechanisms. ICAASE (2022)
Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji
Security Vulnerabilities Detection Through Assertion-Based Approach. TASE (2022)
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa
Detection of Security Vulnerabilities Induced by Integer Errors. ICSOFT (2021)
Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed
Towards compositional verification of synchronous reactive systems. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Compositional equivalences based on Open pNets. CoRR (2020)
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. ICSOFT (2019)
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. ICSOFT (Selected Papers) (2019)
Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille
SysML Model Transformation for Safety and Security Analysis. ISSA/CSITS@ESORICS (2018)
Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu
Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. 89 (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa
Formal Specification and Verification of Security Guidelines. PRDC (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa, Takoua Kechiche, Stuart Short
Tracking Dependent Information Flows. ICISSP (2017)
Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche
Rethinking of I/O-automata composition. FDL (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa
Formal specification of security guidelines for program certification. TASE (2017)
Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa
SysML Models and Model Transformation for Security. MODELSWARD (2016)
Zeineb Zhioua, Yves Roudier, Stuart Short, Rabéa Ameur-Boulifa
Security Guidelines: Requirements Engineering for Verifying Code Quality. RE Workshops (2016)
Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphène
Assisting refinement in System-on-Chip design. FDL (2013)
Jair Gonzalez-Pina, Rabéa Ameur-Boulifa, Renaud Pacalet
DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications. EUROMICRO-SEAA (2012)
Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
Verifying Safety of Fault-Tolerant Distributed Components. FACS (2011)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Behavioural Models for Group Communications WCSI (2010)
Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
Behavioural models for distributed Fractal components. Ann. des Télécommunications 64 (1-2) (2009)
Ludovic Apvrille, Muhammad Waseem, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
A UML-based Environment for System Design Space Exploration. ICECS (2006)
Muhammad Waseem, Ludovic Apvrille, Rabéa Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
Abstract Application Modeling for System Design Space Exploration. DSD (2006)