Borzoo Bonakdarpour

	2009
15		Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175
14		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38
13		Borzoo Bonakdarpour, Sandeep S. Kulkarni: On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM 2009: 660-675
12		Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1): (2009)
	2008
11		Borzoo Bonakdarpour, Sandeep S. Kulkarni: SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171
10		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178
9		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389
8		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427
	2007
7		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3
6		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36
	2006
5		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276
4		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136
3		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567
	2005
2		Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290
	2004
1		Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52

Coauthor Index

1	Fuad Abujarad	[3] [6]
2	Anish Arora	[10]
3	Ananda Basu	[15]
4	Marius Bozga	[15]
5	Ali Ebnenasir	[1] [2] [12]
6	Sandeep S. Kulkarni	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
7	Joseph Sifakis	[15]

Colors in the list of coauthors