Skip to Main content Skip to Navigation


hal-02409672v1  Conference papers
Evariste NtaryamiraCristian MaximLiliana Cucu-Grosjean. Data consistency and temporal validity under the circular buffer communication paradigm
RACS '19 - Conference on Research in Adaptive and Convergent Systems, Sep 2019, Chongqing, China. pp.51-56, ⟨10.1145/3338840.3355682⟩
...
hal-02362858v1  Conference papers
Evariste NtaryamiraCristian MaximLiliana Cucu-Grosjean. The temporal correlation of data in a multirate system
RTNS'2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France
...
hal-02454258v1  Conference papers
Paolo CrisafulliDominique BlouinFrançoise CaronCristian Maxim. Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-03097920v1  Conference papers
Evariste NtaryamiraCristian MaximTherence NiyonsabaLiliana Cucu-Grosjean. An efficient FIFO buffer management to ensure task level and effect-chain level data properties
ICESS 2020 - IEEE International Conference on Embedded Software and Systems, Dec 2020, Shanghai / Virtual, China. ⟨10.1109/ICESS49830.2020.9301518⟩