Author of the publication

A decomposition approach for SMT-based schedule synthesis for time-triggered networks.

, , , and . ETFA, page 1-8. IEEE, (2015)

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

Network Fault Tolerance by Means of Diverse Physical Layers., , and . ETFA, page 1697-1704. IEEE, (2020)An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks.. RTSS, page 375-384. IEEE Computer Society, (2010)The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems., and . ICDCS, page 329-336. IEEE Computer Society, (2002)The Startup Problem in Fault-Tolerant Time-Triggered Communication., and . DSN, page 35-44. IEEE Computer Society, (2006)Towards synchronous deterministic channels for the Internet of Things., , and . WF-IoT, page 433-436. IEEE Computer Society, (2014)Clock Synchronization in Virtualized Distributed Real-Time Systems using IEEE 802.1AS and ACRN., , and . CoRR, (2021)Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving., and . DSN Workshops, page 39-46. IEEE, (2021)TTEthernet Dataflow Concept., , , , and . NCA, page 319-322. IEEE Computer Society, (2009)Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol., and . PRDC, page 244-253. IEEE Computer Society, (2011)Synthesis of communication schedules for TTEthernet-based mixed-criticality systems., , and . CODES+ISSS, page 473-482. ACM, (2012)