Abbas K. Zaidi

According to our database, Abbas K. Zaidi authored at least 30 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Employing UAF Inter-Domain Traceability for Performance and Effectiveness Evaluation.

Ahmad Alghamdi, Mohammadreza Torkjazi, Arturo J. Davila-Andino, Abbas K. Zaidi

Proceedings of the IEEE International Systems Conference, 2023

2022

UAF Strategic Planning for Enterprises.

Mohammadreza Torkjazi, Arturo J. Davila-Andino, Ahmad Alghamdi, Abbas K. Zaidi

IEEE Access, 2022

Creating a Digital Twin of an Insider Threat Detection Enterprise Using Model-Based Systems Engineering.

James Lee, Ahmad Alghamdi, Abbas K. Zaidi

Proceedings of the IEEE International Systems Conference, 2022

2019

Towards Automating Design and Development of Inference Enterprise Models.

James D. Lee, Shou Matsumoto, Abbas K. Zaidi, Kathryn B. Laskey

Proceedings of the 2019 IEEE International Systems Conference, 2019

2013

On using Multiple Interoperating Models to Address Complex Problems.

Ahmed Abu Jbara, Alexander H. Levis, Abbas K. Zaidi

Proceedings of the Conference on Systems Engineering Research, 2013

2012

Improving cluster tools performance using colored Petri nets in semiconductor manifacturing.

Dongjin Kim, Emrah Cimren, Robert Havey, Abbas K. Zaidi

Proceedings of the Winter Simulation Conference, 2012

2010

Theory of Influence Networks.

Abbas K. Zaidi, Faisal Mansoor, Titsa Panayota Papantoni-Kazakos

J. Intell. Robotic Syst., 2010

Meta-model driven construction of Timed Influence Nets.

Faisal Mansoor, Abbas K. Zaidi, Alexander H. Levis

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2010

Multi-modeling of adversary behaviors.

Alexander H. Levis, Lee W. Wagenhals, Abbas K. Zaidi

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2010

2009

Project management using point graphs.

Mashhood Ishaque, Abbas K. Zaidi, Alexander H. Levis

Syst. Eng., 2009

Optimization of Actions in Activation Timed Influence Nets.

M. Faraz Rafi, Abbas K. Zaidi, Alexander H. Levis, P. Papantoni-Kazakos

Informatica (Slovenia), 2009

2008

Identification of best sets of actions in Influence Nets.

Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis

Int. J. Hybrid Intell. Syst., 2008

An algorithm for activation timed influence nets.

P. Papantoni-Kazakos, Abbas K. Zaidi, M. Faraz Rafi

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

An Inference Mechanism for Point-Interval Logic.

Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

Modeling with Influence Networks using influence constants: A new approach.

Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos

Proceedings of the IEEE International Conference on Systems, 2007

Computational Verification of System Architectures.

Abbas K. Zaidi, Alexander H. Levis

Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Security and Defense Applications, 2007

2006

Planning temporal events using point-interval logic.

Abbas K. Zaidi, Lee W. Wagenhals

Math. Comput. Model., 2006

2005

On Temporal Analysis of Timed Influence Nets Using Point Graphs.

Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

2004

A Heuristic Approach for Best Sets of Actions Determination in Influence Nets.

Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2003

On spatial modeling of discrete event systems using point-interval logic.

Abbas K. Zaidi, Kasim H. Rizvi, S. Sajjad Hussain

Proceedings of the IEEE International Conference on Systems, 2003

Transforming event graphs to colored Petri nets.

Daesik Kim, Abbas K. Zaidi

Proceedings of the IEEE International Conference on Systems, 2003

2001

TEMPER: a temporal programmer for time-sensitive control of discrete event systems.

Abbas K. Zaidi, Alexander H. Levis

IEEE Trans. Syst. Man Cybern. Part A, 2001

A generalized methodology and framework for the validation and verification of multi-agent systems.

Shahid Jabbar, Abbas K. Zaidi

Proceedings of the IEEE International Conference on Systems, 2001

2000

On a methodology for designing adaptive local area networks.

Muhammad Zubairuddin, Abbas K. Zaidi

Proceedings of the IEEE International Conference on Systems, 2000

A temporal programmer for time-sensitive modeling of discrete event systems.

Abbas K. Zaidi

Proceedings of the IEEE International Conference on Systems, 2000

A multi-technique approach for user identification through keystroke dynamics.

Sajjad Haider, Ahmied Abbas, Abbas K. Zaidi

Proceedings of the IEEE International Conference on Systems, 2000

1999

On temporal logic programming using Petri nets.

Abbas K. Zaidi

IEEE Trans. Syst. Man Cybern. Part A, 1999

1998

On generating distributed intelligence systems architectures using genetic algorithms.

Abbas K. Zaidi, Alexander H. Levis

IEEE Trans. Syst. Man Cybern. Part C, 1998

A genetic algorithm based tool for generating organizational architectures.

Abbas K. Zaidi, Shabbir T. Ali, Alexander H. Levis

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Validation and verification of decision making rules.

Abbas K. Zaidi, Alexander H. Levis

Autom., 1997