Author of the publication

Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.

, , , , , , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 497-516. Springer, (2020)

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

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints., , , , , , , , , and . ACM Trans. Cyber Phys. Syst., 7 (3): 21:1-21:28 (July 2023)Intelligent Stethoscope System and Diagnosis Platform With Synchronized Heart Sound and Electrocardiogram Signals., , , , , and . IEEE Access, (2023)A Direct Current-Sensing VCO-Based 2nd-Order Continuous-Time Sigma-Delta Modulator for Biosensor Readout Applications., , , , and . IEEE Trans. Biomed. Circuits Syst., 18 (2): 288-298 (April 2024)AnyNoC: new network on a chip switching using the shared-memory and output-queue techniques for complex Internet of things systems., , , and . J. Supercomput., 74 (9): 4470-4480 (2018)A Wireless Urine Detection System and Platform with Power-Efficient Electrochemical Readout ASIC and ABTS-CNT Biosensor., , , , , , , , , and . VLSI Technology and Circuits, page 246-247. IEEE, (2022)A VCO-Based 2nd-Order Continuous Time Sigma-Delta Modulator for Current-Sensing Systems., , , , and . ISCAS, page 2576-2579. IEEE, (2022)Experimental Study on Augmented Reality Potentials in Urban Design., , , and . IV, page 567-572. IEEE Computer Society, (2007)A Portable Wireless Urine Detection System With Power-Efficient Electrochemical Readout ASIC and ABTS-CNT Biosensor for UACR Detection., , , , , , , , , and . IEEE Trans. Biomed. Circuits Syst., 15 (3): 537-548 (2021)Fuzzy Double Deep Q-Network-Based Gait Pattern Controller for Humanoid Robots., , , , , , , , and . IEEE Trans. Fuzzy Syst., 30 (1): 147-161 (2022)Fault Diagnosis of Ball Bearings Using SVM Based on Artificial Fish Swarm Algorithm., , and . ICCE-TW, page 1-2. IEEE, (2019)