- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j5 |      | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Computing 25(1): 83-108 (2012) |
| j4 | | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: A framework for automated distributed implementation of component-based models. Distributed Computing 25(5): 383-409 (2012) |
| j3 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Automated model repair for distributed programs. SIGACT News 43(2): 85-107 (2012) |
| c33 | | Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime verification of real-time embedded systems. EMSOFT 2012: 249-250 |
| c32 | | George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros: Abstract Model Repair. NASA Formal Methods 2012: 341-355 |
| c31 | | Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister: Time-Triggered Program Self-Monitoring. RTCSA 2012: 260-269 |
| c30 | | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Path-Aware Time-Triggered Runtime Verification. RV 2012: 199-213 |
| c29 | | Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler: A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328 |
| 2011 | ||
| c28 | | Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf: Automated distributed implementation of component-based models with priorities. EMSOFT 2011: 59-68 |
| c27 | | Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni: Automated addition of fault recovery to cyber-physical component-based models. EMSOFT 2011: 127-136 |
| c26 | | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister: Sampling-Based Runtime Verification. FM 2011: 88-102 |
| c25 | | Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit: Snap-Stabilizing Committee Coordination. IPDPS 2011: 231-242 |
| c24 | | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120 |
| c23 | | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister: Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512 |
| c22 | | Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33 |
| c21 | | 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 |
| c20 | | Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler: A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270 |
| c19 | | |
| 2010 | ||
| c18 | | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218 |
| c17 | | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117 |
| c16 | | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18 |
| 2009 | ||
| j2 | | Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1) (2009) |
| c15 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38 |
| c14 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM 2009: 660-675 |
| c13 | | 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 |
| c12 | | Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni: Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. PDMC 2009: 92-106 |
| 2008 | ||
| j1 | | Borzoo Bonakdarpour: Challenges in transformation of existing real-time embedded systems to cyber-physical systems. SIGBED Review 5(1): 11 (2008) |
| c11 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171 |
| c10 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178 |
| c9 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389 |
| c8 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427 |
| 2007 | ||
| c7 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3 |
| c6 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36 |
| 2006 | ||
| c5 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276 |
| c4 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni: Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136 |
| c3 | | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567 |
| 2005 | ||
| c2 | | Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290 |
| 2004 | ||
| c1 | | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52 |
Colors in the list of coauthors
Last update Mon May 20 10:52:33 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page