Searching for authors named "Borzoo Bonakdarpour" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Exploiting Symbolic Techniques in Automated Synthesis of DistributedPrograms with Large State Space*
- … Space* Borzoo Bonakdarpour Sandeep S. KulkarniDepartment of Computer Science and Engineering Michigan…
- Add To MetaCart
-
Automated incremental synthesis of timed automata
- …Automated Incremental Synthesis of Timed Automata 1 Borzoo Bonakdarpour , Sandeep S. Kulkarni…
- Cited by 1 (1 self) – Add To MetaCart
-
Exploiting symbolic techniques in automated synthesis of distributed programs
- … Space ∗ Borzoo Bonakdarpour Sandeep S. Kulkarni Department of Computer Science and Engineering Michigan…
- Cited by 1 (0 self) – Add To MetaCart
-
Revising UNITY Programs: Possibilities and
- …, and Borzoo Bonakdarpour Software Engineering and Network Systems Laboratory Department of Computer Science…
- Add To MetaCart
-
Mechanical verification of automatic synthesis of fault-tolerant programs
- …, Borzoo Bonakdarpour, and Ali Ebnenasir Department of Computer Science and Engineering, Michigan State…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 5.
