PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Seshia, Sanjit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization.

, , , , , , und . ACM Trans. Cyber Phys. Syst., 4 (4): 43:1-43:27 (2020)

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.

Keine Personen gefunden für den Autorennamen Seshia, Sanjit
Eine Person hinzufügen mit dem Namen Seshia, Sanjit
 

Weitere Publikationen von Autoren mit dem selben Namen

Gordian: Formal Reasoning-based Outlier Detection for Secure Localization., , , , , , und . ACM Trans. Cyber Phys. Syst., 4 (4): 43:1-43:27 (2020)An abstraction-based decision procedure for bit-vector arithmetic., , , , , und . STTT, 11 (2): 95-104 (2009)An Application ofWeb-Service Interfaces., , , und . ICWS, Seite 831-838. IEEE Computer Society, (2007)Timing analysis of interrupt-driven programs under context bounds., , und . FMCAD, Seite 81-90. FMCAD Inc., (2011)A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance., , und . FMCAD, Seite 1-9. IEEE, (2008)An introductory capstone design course on embedded systems., , und . ISCAS, Seite 1199-1202. IEEE, (2011)Towards trustworthy automation: User interfaces that convey internal and external awareness., , , , , und . ITSC, Seite 682-688. IEEE, (2016)Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds., und . Logical Methods in Computer Science, (2005)Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy., und . CoRR, (2019)Understanding and Extending Incremental Determinization for 2QBF., , , und . CoRR, (2019)