Ali Ebnenasir - RankMe

67 papers A* 2A 7B 6C 7Misc 4Journal 24Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Aggregate-Superpose-Project: A Cognitive Model for Quantum Problem Solving. ITiCSE (2) Ali Ebnenasir, Charles Wallace
2025	—	`conf`	Distributing Quantum Circuits Using Formal Methods. FSEN Ali Ebnenasir, Kieran Young, Ronald Stempien
2025	—	`conf`	Model based tools for inquiry into expungement law. MODELS-C Joshua Alele-Beals, Ali Ebnenasir, Charles Wallace
2024	J	`jnl`	BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems. CoRR Leila Namvari Tazeh-Kand, Saied Pashazadeh, Ali Ebnenasir
2024	B	`conf`	Exploring consequences of statutory law through lightweight modeling. VL/HCC Joshua Alele-Beals, Nathan Englehart, Ishaq Kothari, Ali Ebnenasir, Charles R. Wallace
2024	C	`conf`	Generating the Convergence Stairs of the Collatz Program. SSS Ali Ebnenasir
2024	J	`jnl`	Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy. CoRR Ali Ebnenasir, Kieran Young
2024	J	`jnl`	Specifying and Verifying the Convergence Stairs of the Collatz Program. CoRR Ali Ebnenasir
2023	J	`jnl`	Exploring Scalable Parallelization for Edit Distance-Based Motif Search. IEEE ACM Trans. Comput. Biol. Bioinform. Junqiao Qiu, Ali Ebnenasir
2023	J	`jnl`	Formal Specification, Verification and Repair of Contiki's Scheduler. ACM Trans. Cyber Phys. Syst. Hassan Mousavi, Ali Ebnenasir, Elham Mahmoudzadeh
2023	—	`conf`	TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. FSEN Ebrahim Fazli, Ali Ebnenasir
2022	J	`jnl`	Modular Grammatical Evolution for the Generation of Artificial Neural Networks. CoRR Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
2022	J	`jnl`	Modular Grammatical Evolution for the Generation of Artificial Neural Networks. Evol. Comput. Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
2022	—	`conf`	Modular grammatical evolution for the generation of artificial neural networks: (hot-off-the-press track at GECCO 2022). GECCO Companion Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
2022	B	`conf`	Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. FMCAD Ali Ebnenasir
2022	J	`jnl`	TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation. CoRR Ebrahim Fazli, Ali Ebnenasir
2022	J	`jnl`	Verification and Synthesis of Responsive Symmetric Uni-Rings. IEEE Trans. Software Eng. Ali Ebnenasir
2021	Misc	`conf`	A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices. EDCC Michael Conard, Ali Ebnenasir
2021	J	`jnl`	Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. IEEE Trans. Software Eng. Ali Ebnenasir, Alex P. Klinkhamer
2019	J	`jnl`	On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. ACM Trans. Comput. Log. Alex P. Klinkhamer, Ali Ebnenasir
2019	B	`conf`	Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. FMCAD Ali Ebnenasir
2019	J	`jnl`	Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. CoRR Ali Ebnenasir
2018	J	`jnl`	A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2017	—	`conf`	Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. TTCS Mohsen Safari, Ali Ebnenasir
2017	—	`conf`	Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. FSEN Alex P. Klinkhamer, Ali Ebnenasir
2016	A*	`conf`	A framework for verification of SystemC TLM programs with model slicing: a case study. DAC Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
2016	J	`jnl`	Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. IEEE Trans. Parallel Distributed Syst. Alex P. Klinkhamer, Ali Ebnenasir
2015	—	`conf`	A Theory of Integrating Tamper Evidence with Stabilization. FSEN Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2015	—	`conf`	Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates. IPDPS Workshops Ali Ebnenasir, Jean Mayo
2015	—	`conf`	Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. FSEN Ali Ebnenasir
2015	J	`jnl`	On the Hardness of Adding Nonmasking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. Alex P. Klinkhamer, Ali Ebnenasir
2015	—	`conf`	UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2014	C	`conf`	A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. LOPSTR Amer Tahat, Ali Ebnenasir
2014	—	`conf`	Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2014	B	`conf`	Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2014	C	`conf`	Synthesizing Self-stabilization through Superposition and Backtracking. SSS Alex P. Klinkhamer, Ali Ebnenasir
2014	J	`jnl`	The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni
2013	J	`jnl`	Action-based discovery of satisfying subsets: A distributed method for model correction. Inf. Softw. Technol. Ali Ebnenasir
2013	J	`jnl`	Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
2013	C	`conf`	Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2013	—	`conf`	Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2013	—	`conf`	On the Complexity of Adding Convergence. FSEN Alex P. Klinkhamer, Ali Ebnenasir
2013	C	`conf`	Verifying Livelock Freedom on Parameterized Rings and Chains. SSS Alex P. Klinkhamer, Ali Ebnenasir
2012	J	`jnl`	A Lightweight Method for Automated Design of Convergence in Network Protocols. ACM Trans. Auton. Adapt. Syst. Aly Farahat, Ali Ebnenasir
2012	Misc	`conf`	Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
2012	A	`conf`	Local Reasoning for Global Convergence of Parameterized Rings. ICDCS Aly Farahat, Ali Ebnenasir
2012	Misc	`conf`	Swarm Synthesis of Convergence for Symmetric Protocols. EDCC Ali Ebnenasir, Aly Farahat
2011	A	`conf`	A Lightweight Method for Automated Design of Convergence. IPDPS Ali Ebnenasir, Aly Farahat
2011	C	`conf`	Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. SEKE Aly Farahat, Ali Ebnenasir
2011	J	`jnl`	Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. Ali Ebnenasir, Sandeep S. Kulkarni
2011	—	`conf`	Lightweight Methods for Automated Design of Self-Stabilization. IPDPS Workshops Aly Farahat, Ali Ebnenasir
2009	J	`jnl`	Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni
2009	—	`conf`	Developing parallel programs: A design-oriented perspective. IWMSE@ICSE Ali Ebnenasir, Rasoul Beik
2008	J	`jnl`	FTSyn: a framework for automatic synthesis of fault-tolerance. Int. J. Softw. Tools Technol. Transf. Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
2007	A	`conf`	Designing Run-Time Fault-Tolerance Using Dynamic Updates. SEAMS Ali Ebnenasir
2007	A*	`conf`	Diconic addition of failsafe fault-tolerance. ASE Ali Ebnenasir
2007	—	`conf`	Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. HASE Ali Ebnenasir, Betty H. C. Cheng
2006	B	`conf`	A Pattern-Based Approach for Modeling and Analyzing Error Recovery. WADS Ali Ebnenasir, Betty H. C. Cheng
2006	A	`conf`	Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. RE Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad
2005	Misc	`conf`	Adding Fault-Tolerance Using Pre-synthesized Components. EDCC Sandeep S. Kulkarni, Ali Ebnenasir
2005	J	`jnl`	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Secur. Comput. Sandeep S. Kulkarni, Ali Ebnenasir
2005	B	`conf`	Revising UNITY Programs: Possibilities and Limitations. OPODIS Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour
2005	J	`jnl`	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. Sandeep S. Kulkarni, Ali Ebnenasir
2004	A	`conf`	Automated Synthesis of Multitolerance. DSN Sandeep S. Kulkarni, Ali Ebnenasir
2004	C	`conf`	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir
2003	A	`conf`	Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS Sandeep S. Kulkarni, Ali Ebnenasir
2002	A	`conf`	The Complexity of Adding Failsafe Fault-Tolerance. ICDCS Sandeep S. Kulkarni, Ali Ebnenasir