Ibrahim (Abe) M. Elfadel

Prof. Ibrahim (Abe) M. Elfadel

Department of Electrical and Computer Engineering, Masdar Institute, Khalifa University of Science and Technology, Abu Dhabi, UAE
orcid

Research Focus & Metrics

Academic Career Length

38Years (1989-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
16 September 2013 in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verified
Journal Article
Open access
ZZZheng Zhang
Zheng Zhang
TETarek A. El-Moselhy
Tarek A. El-Moselhy
IEIbrahim (Abe) M. Elfadel
Ibrahim (Abe) M. Elfadel
LDLuca Daniel
Luca Daniel
Uncertainties have become a major concern in integrated circuit design. In order to avoid the huge number of repeated simulations in conventional Monte Carlo flows, this paper presents an intrusive spectral simulator for statistical circuit analysis. Our simulator employs the recently developed generalized polynomial chaos expansion to perform uncertainty quantification of nonlinear transistor circuits with both Gaussian and non-Gaussian random parameters. We modify the nonintrusive stochastic collocation (SC) method and develop an intrusive variant called stochastic testing (ST) method. Compared with the popular intrusive stochastic Galerkin (SG) method, the coupled deterministic equations resulting from our proposed ST method can be solved in a decoupled manner at each time point. At the same time, ST requires fewer samples and allows more flexible time step size controls than directly using a nonintrusive SC solver. These two properties make ST more efficient than SG and than existing SC methods, and more suitable for time-domain circuit simulation. Simulation results of several digital, analog and RF circuits are reported. Since our algorithm is based on generic mathematical models, the proposed ST algorithm can be applied to many other engineering problems.

19 April 2004 in IEEE Transactions on Advanced Packaging
Verified
Journal Article
Closed access
SGStefano Grivet-Talocia
Stefano Grivet-Talocia
HHHao-Ming Huang
Hao-Ming Huang
ARA.E. Ruehli
A.E. Ruehli
FCF. Canavero
F. Canavero
IEIbrahim (Abe) M. Elfadel
Ibrahim (Abe) M. Elfadel
This paper is devoted to transient analysis of lossy transmission lines characterized by frequency-dependent parameters. A public dataset of parameters for three line examples (a module, a board, and a cable) is used, and a new example of on-chip interconnect is introduced. This dataset provides a well established and realistic benchmark for accuracy and timing analysis of interconnect analysis tools. Particular attention is devoted to the intrinsic consistency and causality of these parameters. Several implementations based on generalizations of the well-known method-of-characteristics are presented. The key feature of such techniques is the extraction of the line modal delays. Therefore, the method is highly optimized for long interconnects characterized by significant propagation delay. Nonetheless, the method is also successfully applied here to a short high/loss on-chip line, for which other approaches based on lumped matrix rational approximations can also be used with high efficiency. This paper shows that the efficiency of delay extraction techniques is strongly dependent on the particular circuit implementation and several practical issues including generation of rational approximations and time step control are discussed in detail.

6 October 2020 in IEEE Transactions on Parallel and Distributed Systems
Verified
Journal Article
Open access
RKRupesh Raj Karn
Rupesh Raj Karn
PKPrabhakar Kudva
Prabhakar Kudva
HHHai Huang
Hai Huang
SSSahil Suneja
Sahil Suneja
IEIbrahim (Abe) M. Elfadel
Ibrahim (Abe) M. Elfadel
Out of several recent malware types, cryptomining has emerged as one of the most serious threats with its hijacking of server resources for cryptocurrency mining. There is a dire need for a method to detect malicious cryptomining software running inside Kubernetes pods. One feasible strategy is to use machine learning (ML) to identify and classify pods based on whether or not they contain a running process of cryptomining. In addition to such detection, the system administrator will need an explanation as to the reason(s) of the ML's classification outcome. The explanation will justify and support disruptive administrative decisions such as pod removal or its restart with a new image. In this paper, we describe the design and implementation of an ML-based detection system of anomalous pods in a Kubernetes cluster by monitoring Linux-kernel system calls (syscalls). Several types of cryptominers images are used as containers within an anomalous pod, and several ML models are built to detect such pods in the presence of numerous healthy cloud workloads. Explainability is provided using SHAP, LIME, and a novel auto-encoding-based scheme for LTSTM models. Seven evaluation metrics are used to compare and contrast the explainable models of the proposed ML cryptomining detection engine

1 January 1994 in IEEE Transactions on Pattern Analysis and Machine Intelligence
Verified
Journal Article
Closed access
IEIbrahim (Abe) M. Elfadel
Ibrahim (Abe) M. Elfadel
RPR.W. Picard
R.W. Picard
Gibbs random field (GRF) models and features from cooccurrence matrices are typically considered as separate but useful tools for texture discrimination. The authors show an explicit relationship between cooccurrences and a large class of GRF's. This result comes from a new framework based on a set-theoretic concept called the "aura set" and on measures of this set, "aura measures." This framework is also shown to be useful for relating different texture analysis tools. The authors show how the aura set can be constructed with morphological dilation, how its measure yields cooccurrences, and how it can be applied to characterizing the behavior of the Gibbs model for texture. In particular, they show how the aura measure generalizes, to any number of gray levels and neighborhood order, some properties previously known for just the binary, nearest-neighbor GRF. Finally, the authors illustrate how these properties can guide one's intuition about the types of GRF patterns which are most likely to form.< >

1 January 1996
Verified
Conference Paper
Closed access
LSL. Miguel Silveira
L. Miguel Silveira
MKM. Kamon
M. Kamon
IEIbrahim (Abe) M. Elfadel
Ibrahim (Abe) M. Elfadel
JWJ. White
J. White

1 February 1999 in Computer Methods in Applied Mechanics and Engineering
Verified
Journal Article
Closed access
LSL. Miguel Silveira
L. Miguel Silveira
MKMattan Kamon
Mattan Kamon
IEIbrahim (Abe) M. Elfadel
Ibrahim (Abe) M. Elfadel
JWJacob White
Jacob White