|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 63 occurrences of 19 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs.  |
ICDCN  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Sandeep S. Kulkarni |
Feasibility of Stepwise Design of Multitolerant Programs. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Aly Farahat |
A Lightweight Method for Automated Design of Convergence. |
IPDPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aly Farahat, Ali Ebnenasir |
Lightweight Methods for Automated Design of Self-Stabilization. |
IPDPS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aly Farahat, Ali Ebnenasir |
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. |
SEKE |
2011 |
DBLP 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 | 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 | 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 | Ali Ebnenasir, Betty H. C. Cheng |
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector |
| 1 | Ali Ebnenasir |
Designing Run-Time Fault-Tolerance Using Dynamic Updates. |
SEAMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad |
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. |
RE |
2006 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Methods, Safety, Use Case Modeling |
| 1 | Ali Ebnenasir, Betty H. C. Cheng |
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector |
| 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 | 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, 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 | 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, 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, Ali Ebnenasir |
The Complexity of Adding Failsafe Fault-Tolerance. (PDF / PS) |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")