E-LIB Suche - Ergebnisse für: Ameur-Boulifa, Rabea

1

Compositional equivalences based on open pNets:

Ameur-Boulifa, Rabéa ; Henrio, Ludovic ; Madelaine, Eric
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100842 , 2023

Link: https://doi.org/10.1016/..

2

Refinements for Open Automata:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Ameur-Boulifa, Rabéa ; Corradi, Quentin ; Henrio, Ludovic. - p. 11-29 , 2023

Link: https://doi.org/10.1007/..

3

Security Vulnerabilities Detection Through Assertion-Based ..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Kissi, Salim Yahia ; Ameur-Boulifa, Rabéa ; Seladji, Yassamin - p. 381-387 , 2022

Link: https://doi.org/10.1007/..

4

Detection of leaks through exception mechanisms:

, In: 2022 International Conference on Advanced Aspects of Software Engineering (ICAASE),

Kissi, Salim Yahia ; Seladji, Yassamine ; Ameur-Boulifa, Rabea - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

5

From Formal Test Objectives to TTCN-3 for Verifying ETCS Co..:

, In: Communications in Computer and Information Science; Software Technologies,

Ameur-Boulifa, Rabea ; Cavalli, Ana ; Maag, Stephane - p. 156-178 , 2020

Link: https://doi.org/10.1007/..

6

SysML Model Transformation for Safety and Security Analysis:

, In: Security and Safety Interplay of Intelligent Software Systems; Lecture Notes in Computer Science,

Ameur-Boulifa, Rabéa ; Lugou, Florian ; Apvrille, Ludovic - p. 35-49 , 2019

Link: https://doi.org/10.1007/..

7

Behavioural models for distributed Fractal components:

Barros, Tomás ; Ameur-Boulifa, Rabéa ; Cansado, Antonio..
annals of telecommunications - annales des télécommunications. 64 (2009) 1-2 - p. 25-43 , 2009

Link: https://doi.org/10.1007/..

8

Refinements for Open Automata (Extended Version):

Henrio, Ludovic ; Madelaine, Eric ; Ameur-Boulifa, Rabéa.
Report N°: RR-9517. , 2023

Link: https://inria.hal.scienc..

9

Refinements for Open Automata:

Ameur-Boulifa, Rabéa ; Corradi, Quentin ; Henrio, Ludovic.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-47115-5_2. , 2023

Link: https://inria.hal.scienc..

10

Refinements for Open Automata (Extended Version):

Henrio, Ludovic ; Madelaine, Eric ; Ameur-Boulifa, Rabéa.
Report N°: RR-9517. , 2023

Link: https://inria.hal.scienc..

11

Refinements for Open Automata:

Ameur-Boulifa, Rabéa ; Corradi, Quentin ; Henrio, Ludovic.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-47115-5_2. , 2023

Link: https://inria.hal.scienc..

12

Integration of Heterogeneous Components for Co-Simulation:

Jerray, Jawher ; Ameur-Boulifa, Rabea ; Apvrille, Ludovic
info:eu-repo/semantics/altIdentifier/doi/10.5220/0012134800003538. , 2023

Link: https://hal.science/hal-..

13

Refinements for Open Automata (Extended Version):

Henrio, Ludovic ; Madelaine, Eric ; Ameur-Boulifa, Rabéa.
Report N°: RR-9517. , 2023

Link: https://inria.hal.scienc..

14

Integration of Heterogeneous Components for Co-Simulation:

Jerray, Jawher ; Ameur-Boulifa, Rabea ; Apvrille, Ludovic
info:eu-repo/semantics/altIdentifier/doi/10.5220/0012134800003538. , 2023

Link: https://hal.science/hal-..

15

Refinements for Open Automata (Extended Version):

Henrio, Ludovic ; Madelaine, Eric ; Ameur-Boulifa, Rabéa.
Report N°: RR-9517. , 2023

Link: https://inria.hal.scienc..