( en | de | ru )

 

Disambiguation of "Henia, Rafik"

Author of the publication

copydeleteadd this publication to your clipboard
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

, , , , , , , , , , , , , , and . Dagstuhl Artifacts Ser., 9 (1): 04:1-04:6 (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Henia Liebhaber

Elvira Rafikova

Rafik Bostan

Rafik Bostan

Rafik Kheddam

 

Other publications of authors with the same name

Bounding deadline misses in weakly-hard real-time systems with task dependencies., , , , and . DATE, page 584-589. IEEE, (2017)Using Model-Checking for Timing Verification in Industrial System Design., , and . ICST Workshops, page 377-378. IEEE Computer Society, (2017)Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?, , and . ISSRE Workshops, page 15-16. IEEE Computer Society, (2012)Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems., , and . IPDPS, page 1-8. IEEE, (2007)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)., , , , , , , , , and 5 other author(s). Dagstuhl Artifacts Ser., 9 (1): 04:1-04:6 (2023)Mega-modeling of complex, distributed, heterogeneous CPS systems., , , , and . Microprocess. Microsystems, (2020)Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA., , , , , and . RTAS, page 155-156. IEEE Computer Society, (2017)An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy., , , , , , , , , and . STAF Workshops, volume 9946 of Lecture Notes in Computer Science, page 303-316. Springer, (2016)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)., , , , , , , , , and 5 other author(s). ECRTS, volume 262 of LIPIcs, page 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Improved offset-analysis using multiple timing-references., and . DATE, page 450-455. European Design and Automation Association, Leuven, Belgium, (2006)