An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. | 0 | 0.34 | 2018 |
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. | 2 | 0.39 | 2017 |
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. | 3 | 0.41 | 2017 |
Time in cyber-physical systems | 6 | 0.63 | 2016 |
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware | 1 | 0.35 | 2016 |
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems | 1 | 0.36 | 2015 |
Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint | 2 | 0.40 | 2014 |
Analysis techniques for static dataflow models with access patterns. | 2 | 0.37 | 2012 |
LabVIEW™: A graphical system design environment for adaptive hardware/software systems | 1 | 0.39 | 2010 |
A graphical programming and design environment for FPGA-based hardware. | 6 | 0.82 | 2010 |
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture | 0 | 0.34 | 2008 |