Abbas K. Zaidi

32 papers B 8C 2Misc 5Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Identifying Vagueness in Model-Based Systems Engineering Theory Through a Materialist Ontology.
SysCon
Arturo J. Davila-Andino, Edward Huang, Abbas K. Zaidi
2025 — conf
Integrating Machine Learning Models as Functional Components within a Systems Engineering Design Using SysML for System Simulations.
SoSE
Syed Waqas Ahmed, Timothy James Bailey, Abbas K. Zaidi
2023 — conf
Employing UAF Inter-Domain Traceability for Performance and Effectiveness Evaluation.
SysCon
Ahmad Alghamdi, Mohammadreza Torkjazi, Arturo J. Davila-Andino, Abbas K. Zaidi
2022 — conf
Creating a Digital Twin of an Insider Threat Detection Enterprise Using Model-Based Systems Engineering.
SysCon
James Lee, Ahmad Alghamdi, Abbas K. Zaidi
2022 J jnl
UAF Strategic Planning for Enterprises.
IEEE Access
Mohammadreza Torkjazi, Arturo J. Davila-Andino, Ahmad Alghamdi, Abbas K. Zaidi
2019 — conf
Towards Automating Design and Development of Inference Enterprise Models.
SysCon
James D. Lee, Shou Matsumoto, Abbas K. Zaidi, Kathryn B. Laskey
2013 — conf
On using Multiple Interoperating Models to Address Complex Problems.
CSER
Ahmed Abu Jbara, Alexander H. Levis, Abbas K. Zaidi
2012 Misc conf
Improving cluster tools performance using colored Petri nets in semiconductor manifacturing.
WSC
Dongjin Kim, Emrah Cimren, Robert Havey, Abbas K. Zaidi
2010 C conf
Meta-model driven construction of Timed Influence Nets.
ISI
Faisal Mansoor, Abbas K. Zaidi, Alexander H. Levis
2010 C conf
Multi-modeling of adversary behaviors.
ISI
Alexander H. Levis, Lee W. Wagenhals, Abbas K. Zaidi
2010 J jnl
Theory of Influence Networks.
J. Intell. Robotic Syst.
Abbas K. Zaidi, Faisal Mansoor, Titsa Panayota Papantoni-Kazakos
2009 J jnl
Optimization of Actions in Activation Timed Influence Nets.
Informatica (Slovenia)
M. Faraz Rafi, Abbas K. Zaidi, Alexander H. Levis, P. Papantoni-Kazakos
2009 J jnl
Project management using point graphs.
Syst. Eng.
Mashhood Ishaque, Abbas K. Zaidi, Alexander H. Levis
2008 Misc conf
An Inference Mechanism for Point-Interval Logic.
FLAIRS
Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
2008 Misc conf
An algorithm for activation timed influence nets.
IRI
P. Papantoni-Kazakos, Abbas K. Zaidi, M. Faraz Rafi
2008 J jnl
Identification of best sets of actions in Influence Nets.
Int. J. Hybrid Intell. Syst.
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
2007 — conf
Computational Verification of System Architectures.
CISDA
Abbas K. Zaidi, Alexander H. Levis
2007 B conf
Modeling with Influence Networks using influence constants: A new approach.
SMC
Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos
2006 J jnl
Planning temporal events using point-interval logic.
Math. Comput. Model.
Abbas K. Zaidi, Lee W. Wagenhals
2005 Misc conf
On Temporal Analysis of Timed Influence Nets Using Point Graphs.
FLAIRS
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
2004 Misc conf
A Heuristic Approach for Best Sets of Actions Determination in Influence Nets.
IRI
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
2003 B conf
On spatial modeling of discrete event systems using point-interval logic.
SMC
Abbas K. Zaidi, Kasim H. Rizvi, S. Sajjad Hussain
2003 B conf
Transforming event graphs to colored Petri nets.
SMC
Daesik Kim, Abbas K. Zaidi
2001 B conf
A generalized methodology and framework for the validation and verification of multi-agent systems.
SMC
Shahid Jabbar, Abbas K. Zaidi
2001 J jnl
TEMPER: a temporal programmer for time-sensitive control of discrete event systems.
IEEE Trans. Syst. Man Cybern. Part A
Abbas K. Zaidi, Alexander H. Levis
2000 B conf
A multi-technique approach for user identification through keystroke dynamics.
SMC
Sajjad Haider, Ahmied Abbas, Abbas K. Zaidi
2000 B conf
A temporal programmer for time-sensitive modeling of discrete event systems.
SMC
Abbas K. Zaidi
2000 B conf
On a methodology for designing adaptive local area networks.
SMC
Muhammad Zubairuddin, Abbas K. Zaidi
1999 J jnl
On temporal logic programming using Petri nets.
IEEE Trans. Syst. Man Cybern. Part A
Abbas K. Zaidi
1998 B conf
A genetic algorithm based tool for generating organizational architectures.
SMC
Abbas K. Zaidi, Shabbir T. Ali, Alexander H. Levis
1998 J jnl
On generating distributed intelligence systems architectures using genetic algorithms.
IEEE Trans. Syst. Man Cybern. Part C
Abbas K. Zaidi, Alexander H. Levis
1997 J jnl
Validation and verification of decision making rules.
Autom.
Abbas K. Zaidi, Alexander H. Levis