Author of the publication

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.

, , , , , , and . ICCPS, page 340-341. ACM, (2019)

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

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 67-72. Elsevier, (2018)Abnormal Data Classification Using Time-Frequency Temporal Logic., , , , , and . HSCC, page 237-242. ACM, (2017)HYST: a source transformation and translation tool for hybrid automaton models., , and . HSCC, page 128-133. ACM, (2015)Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)., and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 19-24. EasyChair, (2014)Numerical Verification of Affine Systems with up to a Billion Dimensions., , and . CoRR, (2018)Verification for Machine Learning, Autonomy, and Neural Networks Survey., , , , , , , and . CoRR, (2018)Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations., , and . CoRR, (2017)Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants., , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 194-211. (2017)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)Stability of digitally interconnected linear systems., , and . CDC-ECE, page 2687-2692. IEEE, (2011)