Search - INSU - Institut national des sciences de l'Univers Access content directly

Filter your results

4 Results
Structure: Internal structure identifier : 118543

An ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel , Frank Singhoff , Alain Plantec , Stéphane Rubini , Pierre Dissaux , et al.
ACM SIGAda Ada Letters, 2011, 31 (3), pp.61-68
Journal articles hal-00801282v1
Image document

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues , Laurent Pautet , B Zalila , P Dissaux , M Perrotin
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1

PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis

Philippe Plasson , Gabriel Brusq , Frank Singhoff , Hai Nam Tran , Stéphane Rubini , et al.
11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France
Conference papers hal-03549058v1
Image document

Lithospheric low-velocity zones associated with a magmatic segment of the Tanzanian Rift, East Africa

M. Plasman , Christel Tiberi , C. Ebinger , Stephanie Gautier , J. Albaric , et al.
Geophysical Journal International, 2017, 210 (1), pp.465-481. ⟨10.1093/gji/ggx177⟩
Journal articles hal-01622078v1