Rabéa Ameur-Boulifa

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