| Conference Papers |
|---|
| Title |
Author(s) |
Date Published |
Comments |
Abstract |
Download |
|
Requirements Specification for Distributed Intelligence Systems using the Cube Tool Methodology,
|
D. M. Perdu & A. H. Levis
|
1989-09-26
|
Proc. 1998 IEEE International Symposium on Intelligent Control, Albany, New York, pp. 82-87. Washington, DC: IEEE.
|
Abstract
|
Download
|
|
A Colored Petri Net Model of Intelligent Nodes
|
A. H. Levis
|
1991-05-07
|
Proc. 1991 IMACS Modeling and Control of Technological Systems, Lille, France, May 7-10, pp. 785-790
|
Abstract
|
Download
|
|
Simulation of Distributed Intelligent System with Colored Petri Nets for the Assessment of Its Management
|
D. M. Perdu
|
1991-05-07
|
Proc. 1991 IMACS Modeling and Control of Technological Systems, Lille, France, May 7-10, pp. 703-708
|
Abstract
|
Download
|
|
Developing the Battle Group Tactical Picture: A Petri Net Model
|
R. F. Gaylord, A. K. Zaidi, S. L. Hearold, & A. H. Levis
|
1991-06-24
|
Proc. Symposium on Command and Control Research, National Defense University, Washington DC, June 24-25, pp. 70-80. McLean, VA: Science Applications International Corporation
|
Abstract
|
Download
|
|
A Colored Petri Net Model of Tactical Decision Making
|
Z. Lu & A. H. Levis
|
1991-06-25
|
Proc. 1991 Symposium on Command and Control Research, National Defense University, Washington, DC, pp. 70-80. McLean, VA: SAIC.
|
Abstract
|
Download
|
|
A Framework for Distributed Intelligence Total Quality Management Systems in the CIM Environment
|
B. Hu & A. H. Levis
|
1991-08-13
|
Proc. 1991 IFAC Symposium on Distributed Intelligence Systems, Arlington, VA, August 13-15
|
Abstract
|
Download
|
|
A Colored Petri Net Model of Distributed Tactical Decision Making
|
Z. Lu & A. H. Levis
|
1991-09-01
|
Proc. 1991 IEEE/SMC International Conference on Systems, Man, and Cybernetics, Charlottesville, VA, pp. 2035-2040.
|
Abstract
|
Download
|
|
Accuracy and Timeliness in Developing a Tactical Picture
|
A. K. Zaidi & A. H. Levis
|
1992-04-06
|
Proc. 1992 Int'l Conference on Information Decision - Action Systems in Complex Organizations (IDASCO 92), University of Oxford, United Kingdom, April 6-8, pp. 186-190. London: Institution of Electrical Engineers
|
Abstract
|
Download
|
|
Task Allocation Problems and Discrete Event Systems
|
A. H. Levis, N. Moray & B. Hu
|
1992-06-09
|
Proc. 5th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation on Man-Machine Systems, The Hague, The Netherlands, Jun 9-11. Oxford: Elsevier Science, Ltd.
|
Abstract
|
Download
|
|
Theoretical Problems in Man-Machine Systems and Their Experimental Validation
|
G. Johannsen, A. H. Levis & H. G. Stassen
|
1992-06-09
|
Proc. 5th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation on Man-Machine Systems, The Hague, The Netherlands, Jun 9-11. Oxford: Elsevier Science, Ltd.
|
Abstract
|
Download
|
|
Algorithmic Design of Multilevel Organizational Structures
|
A. K. Zaidi and A. H. Levis
|
1992-10-18
|
Proc. 1992 IEEE International Conference on Systems, Man, and Cybernetics, Chicago, IL, pp. 668-673. New York: IEEE Press.
|
Abstract
|
Download
|
|
Coordination in Distributed Decision Making
|
Z. Lu & A. H. Levis
|
1992-10-18
|
Proc. 1992 IEEE International Conference on Systems, Man, and Cybernetics, Chicago, IL, pp. 891 - 897, New York: IEEE Press
|
Abstract
|
Download
|
|
A Methodology of Evaluating Navy's Copernicus Architecture Using Colored Petri Nets
|
Y. Hoh, D. Perdu, & A. H. Levis
|
1993-06-28
|
Proc. 1993 Symposium on Command and Control Research, National Defense University, Fort McNair, Washington, DC, Jun 28-29, pp. 227-238. McLean, VA: Science Applications International Corp.
|
Abstract
|
Download
|
|
Accuracy and Timeliness of an Evolving Tactical Picture
|
A. R. Shah & A. H. Levis
|
1993-06-28
|
Proc. 1993 Symposium on Command and Control Research, National Defense University, Fort McNair, Washington, DC, June 28-29, pp. 269-276. McLean, VA: Science Applications International Corp.
|
Abstract
|
Download
|
|
Crisis Management in the National Military Command Center (NMCC)
|
B. S. Ray & A. H. Levis
|
1993-06-28
|
Proc. 1993 Symposium on Command and Control Research, National Defense University, Fort McNair, Washington, DC, Jun 28-29, pp. 256-268. McLean, VA: Science Applications International Corp.
|
Abstract
|
Download
|
|
On a Methodology for Team Design Using Influence Diagrams
|
D. Perdu, A. K. Zaidi, A. Sadigh, P. Lehner, & A. H. Levis
|
1993-06-28
|
Proc. 1993 Symposium on Command and Control Research, National Defense University, Fort McNair, Washington, DC, June 1993, pp. 77-84. McLean, VA: Science Applications International Corp.
|
Abstract
|
Download
|
|
Performance Evaluation of Distributed Intelligence Systems
|
D. H. Prabhakar & A. H. Levis
|
1993-06-28
|
Proc. 1993 Symposium on Command and Control Research, National Defense University, Fort McNair, Washington, DC, June 28-29. pp. 277-283. McLean, VA: Science Applications International Corp.
|
Abstract
|
Download
|
|
Colored Invariants in Predicate/Transition Nets
|
T. Zhang & A. H. Levis
|
1994-02-02
|
Proc. First Int'l Symposium of Young Investigators on Information/Computer/Control, Beijing, China, February 2-4
|
Abstract
|
Download
|
|
Information Transfer Effectiveness of Different Modes of Information Pull in the Copernicus Architecture
|
D. M. Perdu, S. L. Hearold & A. H. Levis
|
1994-05-03
|
Proc. First Workshop on Command Information Systems, Oxon, UK, May 3-5, pp. 253-267. Malvern: Defence Research Agency
|
Abstract
|
Download
|
|
Object Oriented Design of Decision Making Organizations
|
A. H. Levis & D. M. Perdu
|
1994-05-03
|
Proc. First Workshop on Command Information Systems, Oxon, UK, May 3-5, pp. 372-384. Malvern: Defence Research Agency
|
Abstract
|
Download
|
|
Modeling Information Pull in the Copernicus Architecture Using Colored Petri Nets
|
D. Perdu, L. C. L. Spohnholtz & A. H. Levis
|
1994-06-21
|
Proc. 1994 Symposium on Command and Control Research and Decision Aids, Naval Postgraduate School, Monterey, California, June 1994, pp. 115-129. Mclean, VA: Science Applications International Corp.
|
Abstract
|
Download
|
|
Object Oriented Design of a Multilevel Hierarchical Organization Structure
|
A. K. Zaidi & A. H. Levis
|
1995-03-02
|
Proc. US/Portugal Workshop On Underwater Vehicles and Intelligent Control, Lisbon, Portugal, LA: University of So. Louisiana Press
|
|
Download
|
|
Deadlock and Trap Analysis in Petri Nets
|
Z. Jin, A. K. Zaidi, & A. H. Levis
|
1995-06-19
|
Proc. First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, June 1995 pp. 218-226
|
Abstract
|
Download
|
|
On Verifying Inferences in an Influence Net
|
A. K. Zaidi & A. H. Levis
|
1995-06-19
|
Proc. 1st Int'l Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, June 1995, pp. 443-451
|
Abstract
|
Download
|
|
Rule Decomposition and Validation for Distributed Decision Making
|
A. K. Zaidi & A. H. Levis
|
1995-06-19
|
Proc. 1st Int'l Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, June 1995, pp. 210-217
|
Abstract
|
Download
|
|
Validation and Verification of Decision Making Rules
|
A. K. Zaidi & A. H. Levis
|
1995-06-27
|
Proc. 6th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Man-Machine Systems, Cambridge, MA, June 27-29, pp. 53-60
|
Abstract
|
Download
|
|
Information Architectures for C4I
|
A. H. Levis & D. M. Perdu
|
1995-10-10
|
Proc. ROK/US Symposium on Defense C4I Systems, KIDIS, Seoul, Korea, Oct. 10-11
|
Abstract
|
Download
|
|
CAESAR II: A System for the Design and Evaluation of Command and Control Organizations
|
A. H. Levis & D. M. Perdu
|
1996-09-23
|
Proc. 2nd Int'l Command and Control Research and Technology Symposium, Market Bosworth, England, September 1996
|
Abstract
|
Download
|
|
Effectiveness Assessment of Eagle Vision in Air Combat Operations
|
D. M. Perdu & A. H. Levis
|
1996-09-23
|
Proc. 2nd Int'l Command and Control Research and Technology Symposium, Market Bosworth, England, September 1996
|
Abstract
|
Download
|
|
Measuring the Effectiveness of C4I Architectures
|
A. H. Levis
|
1997-06-02
|
Proc. ROK/Symposium on Defense C4I Systems, KIDIS, Seoul, Korea, June 1997
|
Abstract
|
Download
|
|
VAUBAN: Validation of Architecture by AMIS and Navigator
|
D. Leroy & A. H. Levis
|
1997-06-17
|
Proc. 3rd International Command & Control Research and Technology Symposium, National Defense University, Washington, DC, June 1997
|
Abstract
|
Download
|
|
Executable Models of Influence Nets Using Design/CPN
|
L. W. Wagenhals, I. Shin, & A. H. Levis
|
1998-06-10
|
Proc. Workshop on Practical Uses of Coloured Petri nets and Design/CPN, DAIMI PB-532, Aarhus University, Denmark, June 1998
|
Abstract
|
Download
|
|
Pre-Experimental Modeling of Adaptive Organizational Architectures
|
H. A. H. Handley, Z. R. Zaidi, & A. H. Levis
|
1998-06-10
|
Proc. 3rd Int'l Command and Control Research and Technology Symposium, Naval Postgraduate School, Monterey, CA, June 1998
|
Abstract
|
Download
|
|
Adaptation in Decision Making Organizations
|
A. H. Levis
|
1998-06-30
|
Proc. 4th Int'l Command and Control Research and Technology Symposium, Nasby Park (Stockholm), Sweden, Sept. 1998
|
Abstract
|
Download
|
|
Course of Action Development and Evaluation
|
L. W. Wagenhals, I. Shin & A. H. Levis
|
1998-06-30
|
Proc. 3rd Int'l Command and Control Research and Technology Symposium, Naval Postgraduate School, Monterey, CA, June 1998
|
Abstract
|
Download
|
|
A Genetic Algorithm Based Tool for Generating Organization Architectures
|
A. K. Zaidi, S. T. Ali, & A. H. Levis
|
1998-10-12
|
Proc. Int'l IEEE Conference on System, Man, and Cybernetics, San Diego, CA, Oct 1998
|
Abstract
|
Download
|
|
Creating Executable Models of Influence Nets with Colored Petri Nets
|
L. M. Wagenhals, I. Shin, & A. H. Levis
|
1998-12-01
|
Int'l Journal on Software Tools and Technology Transfer, 1998, Vol. 2, No. 2 pp. 168-181
|
Abstract
|
Download
|
|
An Organizational Adaptation via Dynamic Process Selection
|
H. A. H. Handley
|
2000-06-26
|
Proc. 5th Int'l Command and Control Research and Technology Symposium, Naval Postgraduate School, Monterey, CA, June 2000
|
Abstract
|
Download
|
|
Course of Action Development and Evaluation
|
L. W. Wagenhals & A. H. Levis
|
2000-06-26
|
Proc. 5th Int'l Command and Control Research and Technology Symposium, Naval Postgraduate School, Monterey, CA, June 2000
|
Abstract
|
Download
|
|
A Temporal Programmer for Time-Sensitive modeling of Discrete-Event Systems
|
A. K. Zaidi
|
2000-10-08
|
Proc. IEEE SMC Conference, Nashville, Tennessee, October 2000
|
Abstract
|
Download
|
|
Course of Action Analysis for Coalition Operations
|
L. W. Wagenhals, T. J. Reid, R. J. Smillie and A. H. Levis
|
2001-06-10
|
Proc. 6th International Symposium on Command and Control Research and Technology, Annapolis, MD, June 2001
|
Abstract
|
Download
|
|
An Architecture for Decision Support in a Wargame
|
M. P. Bienvenu, L. W. Wagenhals, I. Shin, & A. H. Levis
|
2001-06-19
|
Proc. 6th Int'l Command and Control Research and Technology Symposium, Annapolis, Maryland, June 2001
|
Abstract
|
Download
|
|
Incorporating Heterogeneity in Command Center Interactions
|
H. A. H. Handley & A. H. Levis
|
2001-06-19
|
Proc. 6th Int'l Command and Control Research and Technology Symposium, Annapolis, Maryland, June 2001
|
Abstract
|
Download
|
|
Levels of Interoperability in Coalition Systems
|
H. A. H. Handley, M. Bares, & A. H. Levis
|
2001-06-19
|
Proc. 6th Int'l Command and Control Research and Technology Symposium, Annapolis, Maryland, June 2001
|
Abstract
|
Download
|
|
Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic
|
B. Lindstorm & S. Haider
|
2001-08-29
|
Third Workshop and Tutorial on Practical Use of Colored Petri Nets and the CPN Tools, Aarhus, Denmark, August 2001
|
Abstract
|
Download
|
|
A Task Process Pre-Experimental Model
|
I. Shin & A. H. Levis
|
2002-06-01
|
Proc. 7th Int'l Command and Control Research and Technology Symposium, Monterey, CA, June 2002
|
Abstract
|
Download
|
|
Synthesizing Executable Models of Object Oriented Architectures
|
L. W. Wagenhals, S. Haider, and A. H. Levis
|
2002-06-10
|
Workshop on Formal Methods Applied to Defence Systems. Adelaide, Australia, June 2002. Conferences in Research and Practice in Information Technology, Vol. 12, L. M. Kristensen and J. Billington, Eds.
|
Abstract
|
Download
|
|
A Task Process Pre-Experimental Model
|
H. A. H. Handley & A. H. Levis
|
2002-06-11
|
Proc. 7th Int'l Command and Control Research and Technology Symposium, Monterey, CA, June 2002
|
Abstract
|
Download
|
|
Continuity in Dynamic Coalition Operations
|
H. A. H. Handley, L. Wentz & A. H. Levis
|
2002-06-11
|
Proc. 7th Int'l Command and Control Research and Technology Symposium, Monterey, CA, June 2002
|
Abstract
|
Download
|
|
Modeling Support of Effect-Based Operations in War Games
|
L. W. Wagenhals & A. H. Levis
|
2002-06-11
|
Proc. 7th Int'l Command and Control Research and Technology Symposium, Monterey, CA, June 2002
|
Abstract
|
Download
|
|
Effects Based Operations: a Historical Perspective for a Way Ahead
|
L.W. Wagenhals, A. H. Levis, and Maris McCrabb
|
2003-06-17
|
Proc. 8th Int’l Command and Control Research and Technology Symposium, National Defense University, Washington, DC, June 2003
|
Abstract
|
Download
|
|
Information Operations in Effects Based Operations: Some Observations
|
L. Wentz & L. W. Wagenhals
|
2003-06-17
|
Proc. 8th Int'l Command and Control Research and Technology Symposium, National Defense University, Washington, DC, June 2003
|
Abstract
|
Download
|
|
Modeling for Future Command and Control Architectures
|
H. A. H. Handley & A. H. Levis
|
2003-06-17
|
Proc. 8th Int'l Command and Control Research and Technology Symposium, National Defense University, Washington, DC, June 2003
|
Abstract
|
Download
|
|
New Effects-Based Operations Models in War Games
|
L. W. Wagenhals & L. K. Wentz
|
2003-06-17
|
Proc. 8th Int'l Command and Control Research and Technology Symposium, National Defense University, Washington, DC, June 2003
|
Abstract
|
Download
|
|
Re-Use of Integrated Data Dictionary Components for C4ISR Architectures
|
A. T. Ali
|
2003-06-17
|
Proc. 8th Int'l Command and Control Research and Technology Symposium, National Defense University, Washington, DC, June 2003
|
Abstract
|
Download
|
|
Qualitative and Quantitative Spatiotemporal Knowledge Representation and Reasoning Using Point Graphs
|
A. K. Zaidi
|
2003-08-09
|
Proc. Workshop on Spatial and Temporal Reasoning, 18th Int'l Joint Conference on Artificial Intelligence Acapulco, Mexico. Aug 2003
|
Abstract
|
Download
|
|
Mission Centric Reliability Analysis of C4ISR Architectures Using Petri Nets
|
E. A. Olmez
|
2003-10-05
|
Proc. IEEE SMC Conference, Washington, D.C., Oct 2003
|
Abstract
|
Download
|
|
On Computering Marginal Probability Intervals in Inference Networks
|
S. Haider
|
2003-10-05
|
Proc. IEEE SMC Conference, Washington, D.C., Oct 2003
|
Abstract
|
Download
|
|
On Spatial Modeling of Discrete Event Systems Using Point-Interval Logic.
|
A.K. Zaidi, K. H. Rizvi & S. S. Hussain
|
2003-10-05
|
Proc. IEEE SMC Conference, Washington, D.C., Oct 2003
|
Abstract
|
Download
|
|
Transformation of UML-based System Model into CPN Model for Validating System Behavior
|
Michael E. Shin, A. H. Levis, and L. W. Wagenhals
|
2003-10-10
|
Proc. Compositional Verification of UML Models Workshop, Sixth International Conference on the UML, San Francisco, CA, October 2003
|
Abstract
|
Download
|
|
A Hybrid Approach for Learning Parameters of Probabilistic Networks from Incomplete Databases
|
S. Haider
|
2003-12-01
|
In Ajith Abraham, Mario Köppen and Katrin Franke (Eds.), Design and Application of Hybrid Intelligent Systems, Proc. 3rd Int'l Conference on Hybrid Intelligent Systems (HIS '03), IOS Press, Amsterdam, The Netherlands., Dec 2003
|
Abstract
|
Download
|
|
An Approximation Technique for Belief Revision in Timed Influence Nets
|
S. Haider & A. H. Levis
|
2004-06-15
|
Proc. 9th Int'l Command and Control Research and Technology Symposium, San Diego, CA, June 2004
|
Abstract
|
Download
|
|
Effects Based Operations for Transnational Terrorist Organizations: Assessing Alternative Courses of Action to Mitigate Terrorist Threats
|
L. Wentz & L. W. Wagenhals
|
2004-06-15
|
Proc. 9th Int'l Command and Control Research and Technology Symposium, San Diego, CA, June 2004
|
Abstract
|
Download
|
|
Transforming Time Influence Nets into Time Sliced Bayesian Networks
|
S. Haider & A. K. Zaidi
|
2004-06-15
|
Proc. 9th Int'l Command and Control Research and Technology Symposium, San Diego, CA, June 2004
|
Abstract
|
Download
|
|
A Heuristic Approach for Best Sets of Actions Determination in Influence Nets
|
S. Haider, A. K. Zaidi and A. H. Levis
|
2004-11-10
|
Proc. 2004 IEEE International Conference on Information Reuse and Integration, Las Vegas, NV, November 2004
|
Abstract
|
Download
|
|
Verification of System Architectures Using Modal Logic and Formal Model Checking Techniques
|
Abbas K. Zaidi and A. H. Levis
|
2005-04-01
|
Proc. 2006 Conference on Systems Engineering Research, Los Angeles, CA, 7 April 2006
|
Abstract
|
Download
|
|
On Temporal Analysis of Timed Influence Nets using Point Graphs
|
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
|
2005-05-01
|
Proc. of 18th International FLAIRS Conference, Clearwater Beach, Florida, May 2005
|
Abstract
|
Download
|
|
Dynamic Influence Nets: An Extension of Timed Influence Nets for Modeling Dynamic Uncertain Situations
|
Sajjad Haider, Alexander H. Levis
|
2005-06-01
|
Proc. 10th International Command and Control Research and Technology Symposium, Washington DC, June 2005
|
Abstract
|
Download
|
|
An Application of Point-interval Logic to Criminal Forensics
|
Mashhood Ishaque, Abbas K. Zaidi, Alexander H. Levis
|
2006-06-01
|
In 2006 Command and Control Research and Technology Symposium (CCRTS), CCRP Press
|
Abstract
|
Download
|
|
Project Management Using Point Graphs
|
Abbas K. Zaidi, Mashhood Ishaque, and A. H. Levis
|
2007-03-16
|
Proc. 2007 Conf. on Systems Engineering Research, Hoboken, NJ, March 2007
|
Abstract
|
Download
|
|
Using Architectures to Support Experimentation
|
Lee W. Wagenhals and A. H. Levis
|
2007-03-16
|
Proc. 2007 Conf. on Systems Engineering Research, Hoboken, NJ, March 2007.
|
Abstract
|
Download
|
|
Modeling Time in DoDAF Compliant Executable Architectures
|
Ashraf AbuSharekh, Smriti Kansal, Abbas K. Zaidi, and A. H. Levis
|
2007-03-17
|
Proc. 2007 Conf. on Systems Engineering Research, Hoboken, NJ, March 2007.
|
Abstract
|
Download
|
|
Computational Verification of Systems Architectures
|
Abbas K. Zaidi and A. H. Levis
|
2007-04-01
|
Proc. IEEE Symp. on Computational Intelligence for Security and Defense Applications 2007, Honolulu, HI, April 2007
|
Abstract
|
Download
|
|
Computationally Derived Models of Adversary Organizations
|
Smriti K. Kansal, Ashraf AbuSharekh, and A. H. Levis
|
2007-04-01
|
Proc. IEEE Symp. on Computational Intelligence for Security and Defense Applications 2007, Honolulu, HI, April 2007
|
Abstract
|
Download
|
|
Course of Action Analysis in a Cultural Landscape Using Influence Nets
|
Lee W. Wagenhals and A. H. Levis
|
2007-04-01
|
Proc. IEEE Symp. on Computational Intelligence for Security and Defense Applications 2007, Honolulu, HI, April 2007
|
Abstract
|
Download
|
|
Building and Analyzing Timed Influence Net Models with Internet-Enabled Pythia
|
Peter W. Pachowicz, Lee W. Wagenhals, John Pham, and A. H. Levis
|
2007-04-09
|
Proc. 2007 SPIE Defense and Security Symposium, Orlando, FL
|
Abstract
|
Download
|
|
Computational Models of Multi-national Organizations
|
A. H. Levis, Smriti K. Kansal, A. E. Olmez, and Ashraf M. AbuSharekh
|
2007-04-23
|
10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Human-Machine Systems, Sept. 2007, Seoul, Korea
|
Abstract
|
Download
|
|
Model Interoperation for Effects Based Planning
|
Lee W. Wagenhals, Raymond A. Janssen, Edward A. DeGregorio
|
2007-05-26
|
12th International Command and Control Research and Technology Symposium, Newport, RI, June 2007
|
Abstract
|
Download
|
|
Modeling with Influence Networks Using Influence Constants: A New Approach
|
A. K. Zaidi, F. Mansoor, & P. Papantoni-Kazakos
|
2007-10-01
|
Proc. 2007 IEEE/SMC International Conference on Systems, Man, and Cybernetics, Montreal, Canada, October 2007
|
Abstract
|
Download
|
|
Algorithms for Activation Timed Influence Net
|
P. Papantoni-Kazakos, Abbas K. Zaidi & M.Faraz Rafi
|
2008-07-14
|
Proc. 2008 IEEE International Conference on Information Reuse and Integration (IRI), IEEE Systems, Man and Cybernetics Society (IEEE SMC) held in Las Vegas, July 2008
|
|
Download
|
