Author of the publication

AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems.

, , , , , and . RTCSA, page 65-75. IEEE Computer Society, (2018)

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

Concurrency in Ada, and . Cambridge University Press, New York, NY, USA, (1995)An Approach To Symbolic Worst-Case Execution Time Analysis, and . (2000)http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2148 Copyright c 2000 IFAC Keywords: Real-time, timing-analysis. 1..A Modula-2 implementation of a real-time process abstraction., , and . ACM SIGPLAN Notices, 23 (10): 49-58 (1988)Probabilistic timing analysis: An approach using copulas., , and . J. Embed. Comput., 1 (2): 179-194 (2005)Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme., , , and . Real Time Syst., 48 (1): 3-33 (2012)How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study.. Real Time Syst., 24 (2): 135-151 (2003)Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis., , , , , and . ACM Trans. Embed. Comput. Syst., 19 (5): 31:1-31:26 (2020)Real-Time Guarantees in Routerless Networks-on-Chip., and . ACM Trans. Embed. Comput. Syst., 22 (5): 88:1-88:27 (September 2023)Program Generators and Generation Software., and . Comput. J., 29 (4): 315-321 (1986)Deriving Specifications of Control Programs for Cyber Physical Systems., , and . Comput. J., 63 (5): 774-790 (2020)