Rafik Henia
According to our database1,
Rafik Henia
authored at least 26 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
1
1
4
3
1
1
3
4
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser., 2023
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023
2020
Microprocess. Microsystems, 2020
2018
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
2017
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
2016
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.
Proceedings of the Software Technologies: Applications and Foundations, 2016
Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016
2015
Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development, 2015
2014
Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
2013
SIGBED Rev., 2013
2012
Industrial adaptation of MARTE for early scheduling analysis of component-based applications.
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
2009
Influence of different abstractions on the performance analysis of distributed hard real-time systems.
Des. Autom. Embed. Syst., 2009
2007
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Influence of different system abstractions on the performance analysis of distributed real-time systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007
2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
2005
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies.
Proceedings of the 2005 Design, 2005
2004
Proceedings of the 2004 Design, 2004
2002
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002