Borzoo Bonakdarpour

	2012
31		George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros: Abstract Model Repair. NASA Formal Methods 2012: 341-355
30		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Computing 25(1): 83-108 (2012)
	2011
29		Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni: Automated addition of fault recovery to cyber-physical component-based models. EMSOFT 2011: 127-136
28		Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf: Automated distributed implementation of component-based models with priorities. EMSOFT 2011: 59-68
27		Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister: Sampling-Based Runtime Verification. FM 2011: 88-102
26		Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit: Snap-Stabilizing Committee Coordination. IPDPS 2011: 231-242
25		Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120
24		Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512
23		Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33
22		Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV 2011: 208-222
21		Borzoo Bonakdarpour, Marius Bozga, Gregor Göessler: A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270
20		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Active Stabilization. SSS 2011: 77-91
	2010
19		Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218
18		Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117
17		Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18
	2009
16		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
15		Borzoo Bonakdarpour, Sandeep S. Kulkarni: Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38
14		Borzoo Bonakdarpour, Sandeep S. Kulkarni: On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM 2009: 660-675
13		Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni: Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs PDMC 2009: 92-106
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] [13] [30]
2	Anish Arora	[10]
3	Ananda Basu	[16] [17]
4	Marius Bozga	[16] [17] [18] [19] [21] [28]
5	George Chatzieleftheriou	[31]
6	Stéphane Devismes	[26]
7	Ali Ebnenasir	[1] [2] [12]
8	Sebastian Fischmeister	[22] [23] [24] [25] [27]
9	Gregor Göessler	[21]
10	Mohamad Jaber	[18] [19]
11	Panagiotis Katsaros	[31]
12	Sandeep S. Kulkarni	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [20] [29] [30]
13	Yiyan Lin	[29]
14	Samaneh Navabpour	[22] [24] [25] [27]
15	Franck Petit	[26]
16	Jean Quilbeuf	[18] [19] [28]
17	Joseph Sifakis	[16] [17] [18] [19]
18	Scott A. Smolka	[31]
19	Chun Wah Wallace Wu	[22]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page