Autor der Publikation

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

, , , , , , , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 497-516. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints., , , , , , , , , und . ACM Trans. Cyber Phys. Syst., 7 (3): 21:1-21:28 (Juli 2023)Intelligent Stethoscope System and Diagnosis Platform With Synchronized Heart Sound and Electrocardiogram Signals., , , , , und . IEEE Access, (2023)A Direct Current-Sensing VCO-Based 2nd-Order Continuous-Time Sigma-Delta Modulator for Biosensor Readout Applications., , , , und . 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., , , und . J. Supercomput., 74 (9): 4470-4480 (2018)A Wireless Urine Detection System and Platform with Power-Efficient Electrochemical Readout ASIC and ABTS-CNT Biosensor., , , , , , , , , und . VLSI Technology and Circuits, Seite 246-247. IEEE, (2022)A VCO-Based 2nd-Order Continuous Time Sigma-Delta Modulator for Current-Sensing Systems., , , , und . ISCAS, Seite 2576-2579. IEEE, (2022)Experimental Study on Augmented Reality Potentials in Urban Design., , , und . IV, Seite 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., , , , , , , , , und . IEEE Trans. Biomed. Circuits Syst., 15 (3): 537-548 (2021)Fault Diagnosis of Ball Bearings Using SVM Based on Artificial Fish Swarm Algorithm., , und . ICCE-TW, Seite 1-2. IEEE, (2019)Plantar Fasciitis Detection Based on Deep Learning Architecture., , , und . ICMHI, Seite 45-48. ACM, (2019)