default search action
Ali Ebnenasir
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c40]Ali Ebnenasir:
Generating the Convergence Stairs of the Collatz Program. SSS 2024: 417-431 - [c39]Joshua Alele-Beals, Nathan Englehart, Ishaq Kothari, Ali Ebnenasir, Charles R. Wallace:
Exploring consequences of statutory law through lightweight modeling. VL/HCC 2024: 348-352 - [i6]Leila Namvari Tazeh-Kand
, Saied Pashazadeh, Ali Ebnenasir:
BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems. CoRR abs/2401.16956 (2024) - [i5]Ali Ebnenasir:
Specifying and Verifying the Convergence Stairs of the Collatz Program. CoRR abs/2403.04777 (2024) - [i4]Ali Ebnenasir, Kieran Young:
Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy. CoRR abs/2404.15980 (2024) - 2023
- [j18]Junqiao Qiu
Exploring Scalable Parallelization for Edit Distance-Based Motif Search. IEEE ACM Trans. Comput. Biol. Bioinform. 20(2): 1587-1593 (2023) - [j17]Hassan Mousavi
Formal Specification, Verification and Repair of Contiki's Scheduler. ACM Trans. Cyber Phys. Syst. 7(4): 22:1-22:28 (2023) - [c38]Ebrahim Fazli, Ali Ebnenasir:
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. FSEN 2023: 40-54 - 2022
- [j16]Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi:
Modular Grammatical Evolution for the Generation of Artificial Neural Networks. Evol. Comput. 30(2): 291-327 (2022) - [j15]Ali Ebnenasir
Verification and Synthesis of Responsive Symmetric Uni-Rings. IEEE Trans. Software Eng. 48(11): 4447-4464 (2022) - [c37]Ali Ebnenasir:
Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. FMCAD 2022: 245-254 - [c36]Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi:
Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022). GECCO Companion 2022: 41-42 - [i3]Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi:
Modular Grammatical Evolution for the Generation of Artificial Neural Networks. CoRR abs/2208.02787 (2022) - [i2]Ebrahim Fazli, Ali Ebnenasir:
TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation. CoRR abs/2210.16998 (2022) - 2021
- [j14]Ali Ebnenasir
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. IEEE Trans. Software Eng. 47(3): 614-629 (2021) - [c35]Michael Conard, Ali Ebnenasir:
A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices. EDCC 2021: 127-134
2010 – 2019
- 2019
- [j13]Alex P. Klinkhamer, Ali Ebnenasir
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. ACM Trans. Comput. Log. 20(3): 16:1-16:36 (2019) - [c34]Ali Ebnenasir:
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. FMCAD 2019: 78-86 - [i1]Ali Ebnenasir:
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. CoRR abs/1905.09726 (2019) - 2018
- [j12]Reza Hajisheykhi
A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. 160: 93-114 (2018) - 2017
- [c33]Alex P. Klinkhamer, Ali Ebnenasir:
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. FSEN 2017: 100-115 - [c32]Mohsen Safari, Ali Ebnenasir:
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. TTCS 2017: 43-58 - 2016
- [j11]Alex P. Klinkhamer, Ali Ebnenasir:
Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. IEEE Trans. Parallel Distributed Syst. 27(11): 3338-3350 (2016) - [c31]Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni:
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC 2016: 22:1-22:6 - 2015
- [j10]Alex P. Klinkhamer
On the Hardness of Adding Nonmasking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. 12(3): 338-350 (2015) - [c30]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
A Theory of Integrating Tamper Evidence with Stabilization. FSEN 2015: 84-99 - [c29]Ali Ebnenasir:
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. FSEN 2015: 159-175 - [c28]Ali Ebnenasir, Jean Mayo:
Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates. IPDPS Workshops 2015: 788-794 - [c27]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM 2015: 429-435 - 2014
- [j9]Jingshu Chen
The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. 9(3): 15:1-15:33 (2014) - [c26]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops 2014: 154-160 - [c25]Amer Tahat, Ali Ebnenasir:
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. LOPSTR 2014: 201-218 - [c24]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM 2014: 175-189 - [c23]Alex P. Klinkhamer, Ali Ebnenasir:
Synthesizing Self-stabilization through Superposition and Backtracking. SSS 2014: 252-267 - 2013
- [j8]Ali Ebnenasir:
Action-based discovery of satisfying subsets: A distributed method for model correction. Inf. Softw. Technol. 55(2): 201-214 (2013) - [j7]Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. 496: 50-68 (2013) - [c22]Alex P. Klinkhamer, Ali Ebnenasir:
On the Complexity of Adding Convergence. FSEN 2013: 17-33 - [c21]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO 2013: 65-68 - [c20]Alex P. Klinkhamer, Ali Ebnenasir:
Verifying Livelock Freedom on Parameterized Rings and Chains. SSS 2013: 163-177 - [c19]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS 2013: 344-347 - 2012
- [j6]Aly Farahat, Ali Ebnenasir:
A Lightweight Method for Automated Design of Convergence in Network Protocols. ACM Trans. Auton. Adapt. Syst. 7(4): 38:1-38:36 (2012) - [c18]Ali Ebnenasir, Aly Farahat:
Swarm Synthesis of Convergence for Symmetric Protocols. EDCC 2012: 13-24 - [c17]Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN 2012: 91-105 - [c16]Aly Farahat, Ali Ebnenasir:
Local Reasoning for Global Convergence of Parameterized Rings. ICDCS 2012: 496-505 - 2011
- [j5]Ali Ebnenasir, Sandeep S. Kulkarni:
Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. 21(1): 1:1-1:49 (2011) - [c15]Ali Ebnenasir, Aly Farahat:
A Lightweight Method for Automated Design of Convergence. IPDPS 2011: 219-230 - [c14]Aly Farahat, Ali Ebnenasir:
Lightweight Methods for Automated Design of Self-Stabilization. IPDPS Workshops 2011: 2014-2017 - [c13]Aly Farahat, Ali Ebnenasir:
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. SEKE 2011: 619-624
2000 – 2009
- 2009
- [j4]Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni:
Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. 4(1): 5:1-5:28 (2009) - [c12]Ali Ebnenasir, Rasoul Beik:
Developing parallel programs: A design-oriented perspective. IWMSE@ICSE 2009: 1-8 - 2008
- [j3]Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora:
FTSyn: a framework for automatic synthesis of fault-tolerance. Int. J. Softw. Tools Technol. Transf. 10(5): 455-471 (2008) - 2007
- [c11]Ali Ebnenasir, Betty H. C. Cheng:
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE 2007: 275-282 - [c10]Ali Ebnenasir:
Designing Run-Time Fault-Tolerance Using Dynamic Updates. SEAMS 2007: 15 - [c9]Ali Ebnenasir:
Diconic addition of failsafe fault-tolerance. ASE 2007: 44-53 - 2006
- [c8]Ali Ebnenasir, Betty H. C. Cheng
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS 2006: 115-141 - [c7]Ali Ebnenasir, Betty H. C. Cheng
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE 2006: 336-337 - 2005
- [j2]Sandeep S. Kulkarni, Ali Ebnenasir:
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Secur. Comput. 2(3): 201-215 (2005) - [j1]Sandeep S. Kulkarni, Ali Ebnenasir:
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. 2(4): 348-355 (2005) - [c6]Sandeep S. Kulkarni, Ali Ebnenasir:
Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90 - [c5]Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour:
Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290 - 2004
- [c4]Sandeep S. Kulkarni, Ali Ebnenasir:
Automated Synthesis of Multitolerance. DSN 2004: 209- - [c3]Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir:
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52 - 2003
- [c2]Sandeep S. Kulkarni, Ali Ebnenasir:
Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS 2003: 441-449 - 2002
- [c1]Sandeep S. Kulkarni, Ali Ebnenasir:
The Complexity of Adding Failsafe Fault-Tolerance. ICDCS 2002: 337-344
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: