Autor der Publikation

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach.

, , , und . SOFL+MSVL, Volume 10795 von Lecture Notes in Computer Science, Seite 51-68. Springer, (2017)

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

Towards Sustainability-Oriented Development of Dynamic Reconfigurable Software Systems., , , und . SEKE, Seite 598-602. Knowledge Systems Institute Graduate School, (2014)CMIRGen: Automatic Signature Generation Algorithm for Malicious Network Traffic., , , , , und . TrustCom, Seite 736-743. IEEE, (2020)Remark on Some Variants., , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 183-199. Springer, (2017)A Method For The RNA-Protein Complexes Recognition., , und . ICCIR, Seite 251-255. ACM, (2021)Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots., , , , , und . Internetware, ACM, (2024)Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach., , , und . SOFL+MSVL, Volume 10795 von Lecture Notes in Computer Science, Seite 51-68. Springer, (2017)Study of Malus Asiatica Nakai's firmness during different shelf lives based on visible/near-infrared spectroscopy., , , und . Math. Comput. Model., 58 (11-12): 1829-1836 (2013)Race-driven active random testing of null-pointer dereferences., und . Internetware, Seite 63-70. ACM, (2016)Far from classification algorithm: dive into the preprocessing stage in DGA detection., , , , , und . TrustCom, Seite 468-474. IEEE, (2020)A Machine Learning Method for Protein quaternary structure Prediction., , , , , und . EITCE, Seite 872-876. ACM, (2021)