Sledovat
Ali Ebnenasir
Ali Ebnenasir
Associate Professor of Computer Science, Michigan Technological University
E-mailová adresa ověřena na: mtu.edu - Domovská stránka
Název
Citace
Citace
Rok
FTSyn: A framework for automatic synthesis of fault-tolerance
A Ebnenasir, SS Kulkarni, A Arora
International Journal on Software Tools for Technology Transfer 10, 455-471, 2008
472008
The complexity of adding failsafe fault-tolerance
SS Kulkarni, A Ebnenasir
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
472002
Enhancing the fault-tolerance of nonmasking programs
SS Kulkarni, A Ebnenasir
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
412003
Automated synthesis of multitolerance
SS Kulkarni, A Ebnenasir
International Conference on Dependable Systems and Networks, 2004, 209-218, 2004
402004
Automatic synthesis of fault-tolerance
A Ebnenasir
Michigan State University, 2005
362005
Complexity issues in automated synthesis of failsafe fault-tolerance
SS Kulkarni, A Ebnenasir
IEEE Transactions on Dependable and Secure Computing 2 (3), 201-215, 2005
332005
Complexity results in revising UNITY programs
B Bonakdarpour, A Ebnenasir, SS Kulkarni
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (1), 1-28, 2009
302009
Revising UNITY programs: Possibilities and limitations
A Ebnenasir, SS Kulkarni, B Bonakdarpour
International Conference on Principles of Distributed Systems, 275-290, 2005
302005
UPC-SPIN: A framework for the model checking of UPC programs
A Ebnenasir
Proceedings of fifth conference on partitioned global address space …, 2011
232011
A lightweight method for automated design of convergence in network protocols
A Farahat, A Ebnenasir
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (4), 1-36, 2012
222012
A lightweight method for automated design of convergence
A Ebnenasir, A Farahat
2011 IEEE International Parallel & Distributed Processing Symposium, 219-230, 2011
202011
On the complexity of adding convergence
A Klinkhamer, A Ebnenasir
Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013
182013
Synthesizing self-stabilization through superposition and backtracking
A Klinkhamer, A Ebnenasir
Symposium on Self-Stabilizing Systems, 252-267, 2014
172014
DiConic addition of failsafe fault-tolerance
A Ebnenasir
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
172007
Designing run-time fault-tolerance using dynamic updates
A Ebnenasir
International Workshop on Software Engineering for Adaptive and Self …, 2007
172007
Local reasoning for global convergence of parameterized rings
A Farahat, A Ebnenasir
2012 IEEE 32nd International Conference on Distributed Computing Systems …, 2012
162012
Pattern-based modeling and analysis of failsafe fault-tolerance in uml
A Ebnenasir, BHC Cheng
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 275-282, 2007
162007
Use case-based modeling and analysis of failsafe fault-tolerance
A Ebnenasir, BHC Cheng, S Konrad
14th IEEE International Requirements Engineering Conference (RE'06), 343-344, 2006
162006
Synthesizing parameterized self-stabilizing rings with constant-space processes
AP Klinkhamer, A Ebnenasir
Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017
132017
Feasibility of stepwise design of multitolerant programs
A Ebnenasir, SS Kulkarni
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (1), 1-49, 2011
132011
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20