PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sankaranarayanan, Sriram"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.

, , , und . HSCC, Seite 135-144. ACM, (2016)

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.

Siddharth Nirupama Sriram University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Can Cut-Generating Functions Be Good and Efficient?, und . SIAM Journal on Optimization, 29 (2): 1190-1210 (2019)Guest Editorial: Special issue on formal modeling and analysis of timed systems., , und . Real-Time Systems, 53 (3): 289-290 (2017)Model-based falsification of an artificial pancreas control system., , , , , und . SIGBED Review, 14 (2): 24-33 (2017)Collecting Statistics Over Runtime Executions., , und . Formal Methods in System Design, 27 (3): 253-274 (2005)Constructing invariants for hybrid systems., , und . Formal Methods in System Design, 32 (1): 25-55 (2008)Editorial: Special Section VCPSS'09., , , und . ACM Trans. Embedded Comput. Syst., 11 (S2): 52:1-52:3 (2012)Change-Of-Bases Abstractions for Non-Linear Systems. CoRR, (2012)Models, Devices, Properties, and Verification of Artificial Pancreas Systems., , , , , und . Automated Reasoning for Systems Biology and Medicine, Volume 30 von Computational Biology, Springer, (2019)Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications., , , , , , und . Lectures on Runtime Verification, Volume 10457 von Lecture Notes in Computer Science, Springer, (2018)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 866-873. Springer, (2014)