Author of the publication

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.

, , , , , , , , , , , , , , , , , , , , , , , and . IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 118-130. (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

Regrouping Metric-Space Search Index for Search Engine Size Adaptation., and . SISAP, volume 9371 of Lecture Notes in Computer Science, page 271-282. Springer, (2015)Acumen: An Open-Source Testbed for Cyber-Physical Systems Research., , , , , , , , , and 14 other author(s). IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 118-130. (2015)Integration of secure agents with a secure communication infrastructure for crisis management., , , , and . CTS, page 367-372. IEEE, (2011)Enclosing the behavior of a hybrid system up to and beyond a Zeno point., , , , and . CPSNA, page 120-125. IEEE Computer Society, (2013)Certified Computation of Nondeterministic Limits., , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 771-789. Springer, (2022)Continuous and Monotone Machines., , and . MFCS, volume 170 of LIPIcs, page 56:1-56:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Computable Analysis for Verified Exact Real Computation., , and . FSTTCS, volume 182 of LIPIcs, page 50:1-50:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Formalizing Hyperspaces for Extracting Efficient Exact Real Computation., , and . MFCS, volume 272 of LIPIcs, page 59:1-59:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Axiomatic Reals and Certified Efficient Exact Real Computation., , and . WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 252-268. Springer, (2021)Semantics of Query-Driven Communication of Exact Values., and . J. Univers. Comput. Sci., 16 (18): 2597-2628 (2010)