Searching for authors named "Borzoo Bonakdarpour" – sorted by Relevance.
-
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

