Author of the publication

09481 Abstracts Collection - SYNCHRON 2009.

, , , , and . SYNCHRON 2009, volume 09481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)

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

Observation and Interaction - Invited Paper.. LATA, volume 11417 of Lecture Notes in Computer Science, page 31-42. Springer, (2019)Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels., , , , and . IEEE J. Sel. Areas Commun., 11 (3): 367-379 (1993)Gabriel: a design environment for DSP., , , , and . IEEE Trans. Acoust. Speech Signal Process., 37 (11): 1751-1762 (1989)A framework for comparing models of computation., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17 (12): 1217-1229 (1998)Causality interfaces for actor networks., and . ACM Trans. Embed. Comput. Syst., 7 (3): 29:1-29:35 (2008)Consistency vs. Availability in Distributed Cyber-Physical Systems., , , , , and . ACM Trans. Embed. Comput. Syst., 22 (5s): 138:1-138:24 (October 2023)High-Performance Deterministic Concurrency using Lingua Franca., , , , , , , , , and 3 other author(s). CoRR, (2023)Gordian: Formal Reasoning-based Outlier Detection for Secure Localization., , , , , , and . ACM Trans. Cyber Phys. Syst., 4 (4): 43:1-43:27 (2020)StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions., and . EMSOFT, page 20:1-20:10. IEEE, (2013)Determinate composition of FMUs for co-simulation., , , , , , and . EMSOFT, page 2:1-2:12. IEEE, (2013)