Author of the publication

An Interface Theory for the Internet of Things.

, and . SEFM, volume 9276 of Lecture Notes in Computer Science, page 20-34. Springer, (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

High-Performance Deterministic Concurrency using Lingua Franca., , , , , , , , , and 3 other author(s). CoRR, (2023)Gabriel: a design environment for DSP., , , , and . IEEE Trans. Acoust. Speech Signal Process., 37 (11): 1751-1762 (1989)Observation and Interaction - Invited Paper.. LATA, volume 11417 of Lecture Notes in Computer Science, page 31-42. Springer, (2019)Causality interfaces for actor networks., and . ACM Trans. Embed. Comput. Syst., 7 (3): 29:1-29:35 (2008)Message from the Chairs., and . MSCPES@CPSWeek, page 1-2. IEEE, (2014)A fundamental look at models and intelligence: abstract of keynote.. SEsCPS@ICSE, page 1. IEEE / ACM, (2019)Service Discovery for the Connected Car with Semantic Accessors., , and . IV, page 2417-2422. IEEE, (2019)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)Gordian: Formal Reasoning-based Outlier Detection for Secure Localization., , , , , , and . ACM Trans. Cyber Phys. Syst., 4 (4): 43:1-43:27 (2020)