( en | de | ru )

 

Disambiguierung von "Alur, Rajeev"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MOCHA: Modularity in Model Checking.

, , , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 521-525. Springer, (1998)

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.

Rajeev Sudra

Naresh Kumar Aluri

Rajeev Gangula

Bhaskar Reddy Aluri

Sirisha Aluri

 

Weitere Publikationen von Autoren mit dem selben Namen

How Can Automatic Feedback Help Students Construct Automata?, , , , , und . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 209-229. Springer, (1992)NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , und . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)Adding nesting structure to words, und . Journal of the ACM, 56 (3): 16:1--16:43 (2009)Contention-free Complexity of Shared Memory Algorithms., und . PODC, Seite 61-70. ACM, (1994)Formal verification of hybrid systems.. EMSOFT, Seite 273-278. ACM, (2011)Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report)., , , und . ICSE, Seite 514-524. ACM, (1997)Trends and Challenges in Algorithmic Software Verification.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 245-250. Springer, (2005)Policy Synthesis and Reinforcement Learning for Discounted LTL., , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 415-435. Springer, (2023)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 212-232. Springer, (1999)