From post

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.

 

Другие публикации лиц с тем же именем

Scheduling Mechanisms for Efficient Implementation of Real-Time Objects., , и . ECOOP Workshops, том 1357 из Lecture Notes in Computer Science, стр. 450-459. Springer, (1997)A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures., , , , и . MoDeVVa@MoDELS, том 1235 из CEUR Workshop Proceedings, стр. 39-48. CEUR-WS.org, (2014)Using Model-Checking for Timing Verification in Industrial System Design., , и . ICST Workshops, стр. 377-378. IEEE Computer Society, (2017)Bounding deadline misses in weakly-hard real-time systems with task dependencies., , , , и . DATE, стр. 584-589. IEEE, (2017)Finding a Path to Model Consistency., , , и . ECMDA-FA, том 4066 из Lecture Notes in Computer Science, стр. 101-112. Springer, (2006)Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?, , и . ISSRE Workshops, стр. 15-16. IEEE Computer Society, (2012)Event-Triggered vs. Time-Triggered Communications with UML MARTE., , и . FDL, стр. 154-159. IEEE, (2008)Industrial adaptation of MARTE for early scheduling analysis of component-based applications., , и . NFPinDSML@MoDELS, стр. 7:1-7:2. ACM, (2012)Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices., , и . RTAS, стр. 63. IEEE Computer Society, (2016)Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study., , , , , , и . ECRTS, том 165 из LIPIcs, стр. 15:1-15:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)