Author of the publication

Accelerated Runtime Verification of LTL Specifications with Counting Semantics.

, , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 251-267. Springer, (2016)

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

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications., , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 184:1-184:19 (2017)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 251-267. Springer, (2016)Energy-Efficient Multiple Producer-Consumer., , and . IEEE Trans. Parallel Distributed Syst., 30 (3): 560-574 (2019)Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems., , , and . ICCPS, page 115-126. IEEE Computer Society, (2014)Power Redistribution for Optimizing Performance in MPI Clusters., , and . CoRR, (2014)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . CoRR, (2014)A framework for mining hybrid automata from input/output traces., , , and . EMSOFT, page 177-186. IEEE, (2015)Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints., , , and . ACM Trans. Embed. Comput. Syst., 14 (4): 79:1-79:29 (2015)Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications.. University of Waterloo, Ontario, Canada, (2017)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/12796).Managing the security-energy tradeoff in distributed cyber-physical systems., , and . ICCPS, page 118-128. ACM, (2019)