Login / Signup
Lamia Eljadiri
ORCID
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 4
Top Topics
Qualitative And Quantitative
Symbolic Execution
Uncertain Information
Imperative Programs
Top Venues
ICSDE
AICCSA
WINCOM
</>
Publications
</>
Lamia Eljadiri
,
Ismail Assayad
,
Abdelouahed Zakari
Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.
ICSDE
(2018)
Lamia Eljadiri
,
Ismail Assayad
A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.
ICSDE
(2018)
Ismail Assayad
,
Lamia Eljadiri
,
Abdelouahed Zakari
Systematic verification of embedded components with re-usable properties.
WINCOM
(2017)
Ismail Assayad
,
Lamia Eljadiri
,
Abdelouahed Zakari
,
Tarik Nahhal
The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.
AICCSA
(2016)