The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ali Ebnenasir" ( http://dblp.L3S.de/Authors/Ali_Ebnenasir )

  Author page on DBLP  Author page in RDF  Community of Ali Ebnenasir in ASPL-2

Publication years (Num. hits)
2002-2009 (15) 2011-2014 (19) 2015-2019 (12)
Publication types (Num. hits)
article(14) inproceedings(32)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 19 keywords

Results
Found 47 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alex Klinkhamer, Ali Ebnenasir On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni A theory of integrating tamper evidence with stabilization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. Search on Bibsonomy FSEN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohsen Safari, Ali Ebnenasir Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. Search on Bibsonomy TTCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni A framework for verification of SystemC TLM programs with model slicing: a case study. Search on Bibsonomy DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir On the Hardness of Adding Nonmasking Fault Tolerance. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Jean Mayo Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates. Search on Bibsonomy IPDPS Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. Search on Bibsonomy FSEN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni A Theory of Integrating Tamper Evidence with Stabilization. Search on Bibsonomy FSEN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni The Complexity of Adding Multitolerance. Search on Bibsonomy TAAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir Synthesizing Self-stabilization through Superposition and Backtracking. Search on Bibsonomy SSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Analysis of Permanent Faults in Transaction Level SystemC Models. Search on Bibsonomy ICDCS Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Amer Tahat, Ali Ebnenasir A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni Facilitating the design of fault tolerance in transaction level SystemC programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir Action-based discovery of satisfying subsets: A distributed method for model correction. Search on Bibsonomy Information & Software Technology The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir Verifying Livelock Freedom on Parameterized Rings and Chains. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Modeling and analyzing timing faults in transaction level SystemC programs. Search on Bibsonomy NoCArc@MICRO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alex Klinkhamer, Ali Ebnenasir On the Complexity of Adding Convergence. Search on Bibsonomy FSEN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aly Farahat, Ali Ebnenasir A Lightweight Method for Automated Design of Convergence in Network Protocols. Search on Bibsonomy TAAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. Search on Bibsonomy ICDCN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Aly Farahat Swarm Synthesis of Convergence for Symmetric Protocols. Search on Bibsonomy EDCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aly Farahat, Ali Ebnenasir Local Reasoning for Global Convergence of Parameterized Rings. Search on Bibsonomy ICDCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Sandeep S. Kulkarni Feasibility of Stepwise Design of Multitolerant Programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aly Farahat, Ali Ebnenasir Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. Search on Bibsonomy SEKE The full citation details ... 2011 DBLP  BibTeX  RDF
1Ali Ebnenasir, Aly Farahat A Lightweight Method for Automated Design of Convergence. Search on Bibsonomy IPDPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aly Farahat, Ali Ebnenasir Lightweight Methods for Automated Design of Self-Stabilization. Search on Bibsonomy IPDPS Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni Complexity results in revising UNITY programs. Search on Bibsonomy TAAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, UNITY
1Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora FTSyn: a framework for automatic synthesis of fault-tolerance. Search on Bibsonomy STTT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1Ali Ebnenasir, Betty H. C. Cheng Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector
1Ali Ebnenasir Diconic addition of failsafe fault-tolerance. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF addition of fault-tolerance, formal methods, satisfiability, divide and conquer
1Ali Ebnenasir Designing Run-Time Fault-Tolerance Using Dynamic Updates. Search on Bibsonomy SEAMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. Search on Bibsonomy RE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fault-Tolerance, Formal Methods, Safety, Use Case Modeling
1Ali Ebnenasir, Betty H. C. Cheng A Pattern-Based Approach for Modeling and Analyzing Error Recovery. Search on Bibsonomy WADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector
1Sandeep S. Kulkarni, Ali Ebnenasir Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
1Sandeep S. Kulkarni, Ali Ebnenasir The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
1Sandeep S. Kulkarni, Ali Ebnenasir Adding Fault-Tolerance Using Pre-synthesized Components. Search on Bibsonomy EDCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
1Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour Revising UNITY Programs: Possibilities and Limitations. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Formal Methods, Program Synthesis, UNITY
1Sandeep S. Kulkarni, Ali Ebnenasir Automated Synthesis of Multitolerance. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
1Sandeep S. Kulkarni, Ali Ebnenasir Enhancing The Fault-Tolerance of Nonmasking Programs. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1Sandeep S. Kulkarni, Ali Ebnenasir The Complexity of Adding Failsafe Fault-Tolerance. Search on Bibsonomy ICDCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license