Autor der Publikation

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 14-40. EasyChair, (2019)

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

A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions., , , und . SIAM J. Scientific Computing, 33 (5): 2402-2420 (2011)Real-Time I/O Management System with COTS Peripherals., , , , und . IEEE Trans. Computers, 62 (1): 45-58 (2013)Sandboxing Controllers for Cyber-Physical Systems., , , und . ICCPS, Seite 3-12. IEEE Computer Society, (2011)On-chip control flow integrity check for real time embedded systems., , , , , , , und . CPSNA, Seite 26-31. IEEE Computer Society, (2013)S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems, , , , , und . CoRR, (2012)Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees., , , und . NSV@CAV, Volume 10381 von Lecture Notes in Computer Science, Seite 83-89. Springer, (2017)Scalable Static Hybridization Methods for Analysis of Nonlinear Systems., , , , und . HSCC, Seite 155-164. ACM, (2016)Space Debris Collision Detection using Reachability., , , und . ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 218-228. EasyChair, (2018)t-Barrier Certificates: A Continuous Analogy to k-Induction.. ADHS, Volume 51 von IFAC-PapersOnLine, Seite 145-150. Elsevier, (2018)Hybrid automata: from verification to implementation., , , , , und . STTT, 21 (1): 87-104 (2019)