Search results for "addition of fault-tolerance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Fuad Abujarad, Sandeep S. Kulkarni	Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
2	Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora	FTSyn: a framework for automatic synthesis of fault-tolerance.	STTT	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
2	Sandeep S. Kulkarni, Ali Ebnenasir	Adding Fault-Tolerance Using Pre-synthesized Components.	EDCC	2005	DBLP DOI BibTeX RDF	Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
1	Fuad Abujarad, Sandeep S. Kulkarni	Weakest Invariant Generation for Automated Addition of Fault-Tolerance.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Automating the addition of fault tolerance with discrete controller synthesis.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Bastian Braun	FCPre: Extending the Arora-Kulkarni Method of Automatic Addition of Fault-Tolerance.	ARES	2007	DBLP DOI BibTeX RDF
1	Ali Ebnenasir	Diconic addition of failsafe fault-tolerance.	ASE	2007	DBLP DOI BibTeX RDF	addition of fault-tolerance, formal methods, satisfiability, divide and conquer
1	Hans P. Reiser, Rüdiger Kapitza, Jörg Domaschka, Franz J. Hauck	Fault-Tolerant Replication Based on Fragmented Objects.	DAIS	2006	DBLP DOI BibTeX RDF
1	Sebastian Gerlach, Basile Schaeli, Roger D. Hersch	Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective.	Research Results of the DICS Program	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	Sandeep S. Kulkarni, Ali Ebnenasir	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
1	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
1	Sandeep S. Kulkarni, Ali Ebnenasir	Automated Synthesis of Multitolerance.	DSN	2004	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1	Felix C. Gärtner, Arshad Jhumka	Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
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
1	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1	Sandeep S. Kulkarni, Anish Arora	Automating the Addition of Fault-Tolerance.	FTRTFT	2000	DBLP DOI BibTeX RDF