Author of the publication

Operative architecture design and modelling for the validation of real-time applications.

, , and . ETFA (2), page 649-652. IEEE, (2001)0-7803-7241-7.

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.

 

Other publications of authors with the same name

Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling., , , and . ETFA, page 1-8. IEEE, (2012)Operative architecture design and modelling for the validation of real-time applications., , and . ETFA (2), page 649-652. IEEE, (2001)0-7803-7241-7.Timing fault detection for safety-critical real-time embedded systems., , and . ACM SIGOPS European Workshop, page 247-250. ACM, (2002)Simulation of Real-Time Multiprocessor Scheduling Using DES., , and . SIMULTECH (Selected Papers), volume 319 of Advances in Intelligent Systems and Computing, page 37-53. Springer, (2013)Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor Scheduling., , , and . CSE/EUC (2), page 120-127. IEEE Computer Society, (2017)Adequacy between AUTOSAR OS specification and real-time scheduling theory., , , and . SIES, page 225-233. IEEE, (2007)STORM a simulation tool for real-time multiprocessor scheduling evaluation., , and . ETFA, page 1-8. IEEE, (2010)An ADL Centric Approach for the Formal Design of Real-Time Systems., , and . IFIP-WADL, volume 176 of IFIP, page 67-82. Springer, (2004)Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive., , and . SRDS, page 90-101. IEEE Computer Society, (1999)The SCEPTRE2 Communication Service In A Fault Tolerance Context., , and . PDP, page 196-201. IEEE, (1994)