Briag Le Nabec
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISORC | QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau |
| 2017 | VECoS | TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. | Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
| 2016 | FDL | Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi |