Sign in
Nissaf Fredj
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 6
Top Topics
Metamodel
Uml Models
Issues That Need To Be Addressed
Model Driven
Top Venues
ICSOFT
ISDA (2)
PDCAT
ENASE
</>
Publications
</>
Nissaf Fredj
,
Yessine Hadj Kacem
,
Olfa Kanoun
,
Mohamed Abid
Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems.
ICSOFT
(2021)
Nissaf Fredj
,
Yessine Hadj Kacem
,
Mohamed Abid
An event-based approach for formally verifying runtime adaptive real-time systems.
J. Supercomput.
77 (3) (2021)
Nissaf Fredj
,
Yessine Hadj Kacem
,
Mohamed Abid
A runtime model-based framework for specifying and verifying adaptive RTE systems.
Int. J. Comput. Appl. Technol.
63 (4) (2020)
Nissaf Fredj
,
Yessine Hadj Kacem
,
Mohamed Abid
A Model Driven-Based Approach for Managing Unanticipated Runtime Adaptation of RTE Systems.
PDCAT
(2019)
Nissaf Fredj
,
Yessine Hadj Kacem
,
Mohamed Abid
Runtime UML MARTE Extensions for the Design of Adaptive RTE Systems.
ISDA (2)
(2018)
Nissaf Fredj
,
Mhamed Saidane
,
Yessine Hadj Kacem
,
Mohamed Abid
Patterns System for the Design of Partial Reconfigurable Applications on FPGA.
ENASE
(2017)