Briag Le Nabec

According to our database, Briag Le Nabec authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System.

Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

2017

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

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016

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

Proceedings of the 2016 Forum on Specification and Design Languages, 2016