Login / Signup
Briag Le Nabec
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 4
Top Topics
Design Space Exploration
Texas Instruments
Multimedia Communication
Real Time Rendering
Top Venues
FDL
Innov. Syst. Softw. Eng.
ISORC
VECoS
</>
Publications
</>
Briag Le Nabec
,
Belgacem Ben Hedia
,
Jean-Philippe Babau
QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System.
ISORC
(2018)
Hela Guesmi
,
Belgacem Ben Hedia
,
Simon Bliudze
,
Saddek Bensalem
,
Briag Le Nabec
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm.
Innov. Syst. Softw. Eng.
14 (2) (2018)
Hela Guesmi
,
Belgacem Ben Hedia
,
Simon Bliudze
,
Saddek Bensalem
,
Briag Le Nabec
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm.
VECoS
(2017)
Briag Le Nabec
,
Belgacem Ben Hedia
,
Jean-Philippe Babau
,
Mathieu Jan
,
Hela Guesmi
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation.
FDL
(2016)