( en | de | ru )

 

Disambiguierung von "Viswanathan, Mahesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust Model Checking of Timed Automata under Clock Drifts.

, , und . HSCC, Seite 153-162. ACM, (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.

Viswanathan Ramaswami

Viswanathan Subramanian

Kartik Viswanathan

Mahesh Darna

Mahesh Kandasamy

 

Weitere Publikationen von Autoren mit dem selben Namen

Conformance testing in the presence of multiple faults., und . SODA, Seite 1136-1145. SIAM, (2005)Document recognition: an attribute grammar approach., , und . Document Recognition, Volume 2660 von SPIE Proceedings, Seite 101-113. SPIE, (1996)Testing and Spot-Checking of Data Streams., , , und . Algorithmica, 34 (1): 67-80 (2002)Query Automata for Nested Words., und . MFCS, Volume 5734 von Lecture Notes in Computer Science, Seite 561-573. Springer, (2009)Actively Learning to Verify Safety for FIFO Automata., , , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 494-505. Springer, (2004)STORMED Hybrid Systems., , , und . ICALP (2), Volume 5126 von Lecture Notes in Computer Science, Seite 136-147. Springer, (2008)Modular Verification of Protocol Equivalence in the Presence of Randomness., , und . ESORICS (1), Volume 10492 von Lecture Notes in Computer Science, Seite 187-205. Springer, (2017)Quantitative Information Flow in Boolean Programs., , und . POST, Volume 8414 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2014)Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds., , und . VMCAI, Volume 6538 von Lecture Notes in Computer Science, Seite 103-117. Springer, (2011)Deciding Concurrent Planar Monotonic Linear Hybrid Systems., , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 256-269. Springer, (2015)