Autor der Publikation

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

Development of probabilistic timed CEGAR., und . ICSAI, Seite 482-491. IEEE, (2014)SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions., und . DASC/PiCom/DataCom/CyberSciTech, Seite 633-639. IEEE, (2019)Generalize IoT Device's Client Application with Virtual Machine., und . GCCE, Seite 992-995. IEEE, (2019)Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata.. ARTS, Volume 1231 von Lecture Notes in Computer Science, Seite 169-183. Springer, (1997)Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems.. EUC Workshops, Volume 3823 von Lecture Notes in Computer Science, Seite 1211-1224. Springer, (2005)Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator., , und . CoRR, (2024)Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software., und . IEICE Trans. Inf. Syst., 103-D (4): 800-812 (2020)GANs with Suppressed Mode Collapse Using Intrinsic Rewards., , , und . CANDAR (Workshops), Seite 187-192. IEEE, (2021)Optimizing 3D Convolution Kernels on Stereo Matching for Resource Efficient Computations., , und . Sensors, 21 (20): 6808 (2021)Boosting Binary Neural Networks for FPGA., und . GCCE, Seite 577-579. IEEE, (2020)