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

Enclosing the behavior of a hybrid system up to and beyond a Zeno point., , , , and . CPSNA, page 120-125. IEEE Computer Society, (2013)Polynomial function intervals for floating-point software verification., and . Ann. Math. Artif. Intell., 70 (4): 351-398 (2014)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)Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation., , , , , , , , , and . CyPhy/WESE, volume 11971 of Lecture Notes in Computer Science, page 108-126. Springer, (2019)Function Interval Arithmetic., , , and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 677-684. Springer, (2014)Verification of floating point programs.. Aston University, Birmingham, UK, (2010)British Library, EThOS.