Author of the publication

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.

, , , , , , , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 169:1-169:20 (2017)

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

A graphical programming and design environment for FPGA-based hardware., , and . FPT, page 337-340. IEEE, (2010)An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture., , , and . DS-RT, page 322-325. IEEE Computer Society, (2008)A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited., , , , , , , , , and . DAC, page 69:1-69:6. ACM, (2017)A methodology for the design and deployment of reliable systems on heterogeneous platforms., , , and . ReConFig, page 1-7. IEEE, (2012)Analysis techniques for static dataflow models with access patterns., , , , , and . DASIP, page 1-8. IEEE, (2012)A Rapid Prototyping Tool for Embedded, Real-Time Hierarchical Control Systems., , , and . EURASIP J. Emb. Sys., (2008)Making FPGAs Accessible to Scientists and Engineers as Domain Expert Software Programmers with LabVIEW., , and . CoRR, (2014)An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems., , , , , , , , , and 1 other author(s). DAC, page 144:1-144:6. ACM, (2018)A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs., , , , and . FCCM, page 125-132. IEEE Computer Society, (2012)Tools for deploying dataflow models on FPGA targets., , , , , , , , , and 2 other author(s). DASIP, page 1-2. IEEE, (2012)