Search results for "Borzoo Bonakdarpour"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Symbolic synthesis of masking fault-tolerant distributed programs.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros	Abstract Model Repair.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister	Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.	RV	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sebastian Fischmeister	Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement].	RV	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf	Automated distributed implementation of component-based models with priorities.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni	Automated addition of fault recovery to cyber-physical component-based models.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit	Snap-Stabilizing Committee Coordination.	IPDPS	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Marius Bozga, Gregor Göessler	A Theory of Fault Recovery for Component-Based Models.	SRDS	2011	DBLP DOI BibTeX RDF
1	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Optimal Instrumentation of Data-flow in Concurrent Data Structures.	OPODIS	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister	Sampling-Based Runtime Verification.	FM	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Active Stabilization.	SSS	2011	DBLP DOI BibTeX RDF
1	Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister	Software debugging and testing using the abstract diagnosis theory.	LCTES	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis	From high-level component-based models to distributed implementations.	EMSOFT	2010	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis	Automated Conflict-free distributed implementation of component-based models.	SIES	2010	DBLP DOI BibTeX RDF
1	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Systematic Correct Construction of Self-stabilizing Systems: A Case Study.	SSS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni	Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs	PDMC	2009	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	TAAS	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Compositional verification of fault-tolerant real-time programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
1	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.	DISC	2009	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery.	FM	2009	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Program transformation, Program synthesis
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora	Disassembling real-time fault-tolerant programs.	EMSOFT	2008	DBLP DOI BibTeX RDF	bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Masking Faults While Providing Bounded-Time Phased Recovery.	FM	2008	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.	ICDCS	2007	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Brief Announcement: Distributed Synthesis of Fault-Tolerance.	SSS	2006	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Incremental Synthesis of Fault-Tolerant Real-Time Programs.	SSS	2006	DBLP DOI BibTeX RDF	Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
1	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
1	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification

Publications of "Borzoo Bonakdarpour" ( http://dblp.L3S.de/Authors/Borzoo_Bonakdarpour )