( en | de | ru )

 

Disambiguierung von "D'Silva, Vijay"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Existential abstractions for distributed reactive systems via syntactic transformations.

, , und . EMSOFT, Seite 240-248. ACM, (2007)

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.

Loyola D'Silva

Balakumar Vijayakrishnan

Vijay Divi

Vijay Singh

Preethi Vijayaraj

 

Weitere Publikationen von Autoren mit dem selben Namen

Existential abstractions for distributed reactive systems via syntactic transformations., , und . EMSOFT, Seite 240-248. ACM, (2007)Generalizing Simulation to Abstract Domains.. CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 485-499. Springer, (2013)A Toolset for Modelling and Verification of GALS Systems., , , , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 506-509. Springer, (2004)Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer., und . IJCAI, Seite 4150-4154. IJCAI/AAAI Press, (2016)Bridge Over Troubled Wrappers: Automated Interface Synthesis., , und . VLSI Design, Seite 189-194. IEEE Computer Society, (2004)Contextual Policy Enforcement in Android Applications with Permission Event Graphs., , , , , , , , und . NDSS, The Internet Society, (2013)The Correctness-Security Gap in Compiler Optimization., , und . IEEE Symposium on Security and Privacy Workshops, Seite 73-87. IEEE Computer Society, (2015)Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures., , und . DATE, Seite 390-395. IEEE Computer Society, (2004)Abstract Interpretation as Automated Deduction., und . CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 450-464. Springer, (2015)Propositional Interpolation and Abstract Interpretation.. ESOP, Volume 6012 von Lecture Notes in Computer Science, Seite 185-204. Springer, (2010)