Search results for "Automatic addition of fault-tolerance"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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
1	Bastian Braun	FCPre: Extending the Arora-Kulkarni Method of Automatic Addition of Fault-Tolerance.	ARES	2007	DBLP DOI BibTeX RDF
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	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

Displaying result #1 - #7 of 7 (100 per page; Change: )