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

Forward and backward: Bounded model checking of linear hybrid automata from two directions., , und . FMCAD, Seite 204-208. IEEE, (2012)A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking., , , , und . IEEE Trans. Parallel Distrib. Syst., 26 (10): 2630-2642 (2015)ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics., , , , , , , , , und 3 andere Autor(en). ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 1-13. EasyChair, (2019)Systematically Debugging IoT Control System Correctness for Building Automation., , , , , , , und . BuildSys@SenSys, Seite 133-142. ACM, (2016)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , und . SEKE, Seite 369-374. Knowledge Systems Institute Graduate School, (2012)From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)., , , , , und . ICCPS, Seite 13-22. IEEE Computer Society, (2012)Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata., , , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 473-495. Springer, (2022)Verification Assisted Gas Reduction for Smart Contracts., , , , , und . APSEC, Seite 264-274. IEEE, (2021)Incremental Online Verification of Dynamic Cyber-Physical Systems., , , , , und . DATE, Seite 782-787. IEEE, (2019)Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata., , , , und . ICCPS, Seite 237. IEEE Computer Society, (2012)