Publications
2021
Monocular Depth Estimation using Synthetic Data for an Augmented Reality Training System in Laparoscopic Surgery
2021 IEEE International Conference on Systems, Man and Cybernetics (SMC)
Decision of Learning Status based on Modeling of the information Measurement of Social Behavioral Tasks in Rhesus Monkeys
2021 Annual Modeling and Simulation Conference (ANNSIM)
Enhancing Training by Using Mixed Reality Rendering Laparoscopic Surgery Training
Journal of Urology, vol. 206 no.2 Sept 2021
People Lifting Patterns -- A Reference Dataset for Practitioners
Sensors, 2021, 21, 3142
Mimicking Learning for 1-NN Classifiers
Paszynski M., Kranzlmüller D., Krzhizhanovskaya V.V., Dongarra J.J., Sloot P.M. (eds) Computational Science – ICCS 2021. Lecture Notes in Computer Science, vol 12744. Springer, Cham
2020
A Fuzzy Reasoning System for Computer-Guided Laparoscopy Training
2020 IEEE International Conference on Systems, Man and Cybernetics (SMC)
Simulation-based Surgical Training Systems in Laparoscopic Surgery: A Current Review
Virtual Reality (2020): 1-20
An Object State Estimation for the Peg Transfer Task in Computer-Guided Surgical Training
In 2020 Spring Simulation Conference (SpringSim), pp. 1-12. IEEE, 2020
Motion Capture Analysis of Supporting Lifting Technique Optimization for Occupational Safety Diagnosis
17th Intl. Conference on Computer Aided Systems Theory, Springer, pp. 313-320, April 2020
2019
Self Supervised Correlational Monocular Depth Estimation using ResVGG Network
Proc. of the 7th IIAE Intl. Conference on Intelligent Systems and Image Processing, pp. 93-102, Taipei, Taiwan, Semptember 2019
Resilent Security of Medical Cyber-Physical Systems
Proc. of the 3rd International Workshop on Cyber-Security and Functional Safety in Cyber-Physical (IWCFS 2019), 30th International Conference on DataBases and Expert Systems (DEXA2019)
Communications in Computer and Information Science, vol 1062, pp.95-100. Springer.
Proficiency Based Planner for Safe Path Planning and Applications in Surgical Training
Proc. of the 2019 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2019)
Single Shot State Detection in Simulation-based Laparoscopy Training
Proc. of the 2019 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2019)
When Hollywood Inspires Medicine: New Concepts in the Design and Architecture of Medical Simulation Facilities to Support Inter-professional Healthcare Education and Training
Proc. of the 2019 Spring Simulation Conference, Modeling and Simulation in Medicine
Enabling Design of Middleware for Massive Scale IoT-based Systems
Proc. of the 23rd IEEE Intl. Conference on Intelligent Engineering Systems, pp. 219-224, Gondollo, Hungary April 2019
PDF |
>BibTeX|
DOI
Occupational Saftey Diagnosis for Lifting Technique Optimization using Motion Capture Analysis in Healthcare Sector
EuroCast 2019, pp. 228-229, Las Palmas de Gran Canaria, Spain, February, 2019.
PDF |
>BibTeX|
DOI
2018
Our Early Experience Concerning an Assessment of Laparoscopy Training Systems
Computer Aided Systems Theory, EuroCast 2017, pp. 372-379, January 2018
2017
Probabilistic Threat Detection for Risk Management in Cyber-physical Medical Systems
IEEE Software 35(1), pp. 38-43, December 2017
Subcomponent Timing-Based Detection of Malware in Embedded Systems
International Conference on Computer Design (ICCD), pp. 17-24, Boston, MA, November 2017
Laparoscopic Instrument Tip Position Estimation for Visual and Haptic Guidance in the Computer Assisted Surgical Trainer
2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Banff Center, Banff, Canada, pp. 3083-3088, October 5-8, 2017
Medical Device Security
Whitebook Medical Technology Upper Austria, Johannes Kepler University Linz, Linz, Austria, pp.74-75, 2017
Models and Methods for a High Autonomy, Self-Improving Surgical Training System
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, September 2017, Tucson, AZ
Systems Design, Modeling, Simulation in Medicine
Guide to Simulation-Based Disciplines, Chapter 10, pp. 209-234, July 2017
Building a Research Program at an American University: Strategies for Sustainable Success
4th International Conference: Medical Science Pulse 2017 (11), pp. 10-14, May 18-19, Opole, Poland
Composite Risk Modeling for Automated Threat Mitigation in Medical Devices
Proc. of the 2017 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2017), pp. 899-900, April 23-26, Virginia Beach, VA
Safety-Assured Offline-Online Path Planning with Reduced Storage Requirements in Simulated Surgical Training
Proc. of the 2017 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2017), pp. 879-890, April 23-26, Virginia Beach, VA
Image-Based Object State Modeling of a Transfer Task in Simulated Surgical Training
Proc. of the 2017 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2017), pp. 867-878, April 23-26, Virginia Beach, VA
Augmented Reality Visual Guidance for Spatial Perception in the Computer Assisted Surgical Trainer
Proc. of the 2017 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2017), pp. 855-866, April 23-26, Virginia Beach, VA
A Simulation-Based Assessment System for Computer Assisted Surgical Trainer
Proc. of the 2017 Spring Simulation Conference, Modeling and Simulation in Medicine (SpringSim-MSM 2017), pp. 834-844, April 23-26, Virginia Beach, VA
Waypoint-to-waypoint Energy-efficient Path Planning for Multi-copters
2017 IEEE Aerospace Conference, pp. 1-11, Big Sky, MT, March 4-11, 2017
Learning-based Object Tracking for Transfer Tasks in Laparoscopy Training
EuroCast 2017, pp. 254-255, February 19-24, Las Palmas de Gran Canaria, Spain
2016
A Haptic Guidance System for Computer-Assisted Surgical Training Using Virtual Fixtures
2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, October 9-12, Budapest, Hungary
Multi-mode Network Data Synthesis: A Network Algebra and Systems Approach
Social Networks (in review), 2016
Modeling of a Transfer Task in Computer Assisted Surgical Training
Proc. of the 2016 Spring Simulation Conference, Modeling and Simulation in Medicine, pp. 794-799, April 2016
Learning Using Anti-Training with Sacrificial Data
Journal of Machine Learning Research, Volume 17, pp. 1-42, April 2016
Security Scores for Medical Devices
Proc. of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), Volume 5, pp. 533-541, February 2016
Assessment of Education Process Management
2016 IEEE 14th International Symposium on Applied Machine Intelligence and Informatics (SAMI), January 2016
2015
Security Challenges for Medical Devices
Communications of the ACM, 58(4), pp. 74-82, 2015
Understanding Non-Functional Requirements for Pre-College Engineering Technologies
Innovative Technologies in Management and Science, (R. Klempous and J. Nikodem, eds.), Springer-Verlag (in print).
Haptic Guidance with Fuzzy Control in Simulation-Based Surgical Training
Proc. of the 2015 Spring Simulation Conference, Modeling and Simulation in Medicine, pp. 649-654, April 2015
Models in Healthcare Simulation: Typology and Security Issues
Proc. of the 2015 Spring Simulation Conference, Modeling and Simulation in Medicine, pp. 655-659, April 2015
Prototyping a Laparoscopic Skill Trainer Based on Virtual Reality and Image Processing
Proc. of the 15th Intl. Conference on Computer Aided Systems Theory, pp. 135-136, Las Palmas, Spain, February 2015
2014
An Optimal Motion Planning Method for Computer-Assisted Surgical Training
Applied Soft Computing, 24(11), pp. 889-899, 2014
Evaluation of a Navigation Grid to Increase the Efficacy of Instrument Movement During Laparoscopic Surgery
Journal of Laparoendoscopic and Advanced Surgical Techniques, 24(9) pp. 656-9, 2014
Cardiac Arrhythmia Visualization in a Virtual Heart for Electrophysiology Education
Summer Simulation Conference, Modeling and Simulation in Medicine, Monterrey, CA, July 2014
A Predictive Analytics Toolbox for Medical Applications
Summer Simulation Conference, Modeling and Simulation in Medicine, Monterrey, CA, July 2014
The Computer Assisted Surgical Trainer: Design, Models, and Implementation
Summer Simulation Conference, Modeling and Simulation in Medicine, Monterrey, CA, July 2014
Surgical Navigation Pointer Facilitates Identification of Targets in a Simulated Environment
Summer Simulation Conference, Modeling and Simulation in Medicine, Monterrey, CA, July 2014
Movement Analysis in Laparoscopic Surgery Training
Summer Simulation Conference, Modeling and Simulation in Medicine, Monterrey, CA, July 2014
The Comparison of High Definition Versus Stereoscopic Display on Standardized Fundamental Laparoscopic Skill Procedures
Summer Simulation Conference, Modeling and Simulation in Medicine, Monterrey, CA, July 2014
A Multiresolution Approach for Optimal Defense against Random Attacks
International Journal of Information Security, pp. 1-12, May 2014
Performance Assessment and Optimization of Motion Planning in a Surgical Trainer for Potential Space Applications
Proc. of the 2014 IEEE Aerospace Conference Proceedings, paper #2511, Montana, March 2014
2013
Implementation of Computer-Guided Navigation in Surgical Training
Proc. of the 20th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '13), pp. 174-180, Scottsdale, Arizona, 2013
Augmented Reality Visualization for Computer Assisted Surgical Training
Lecture Notes in Computer Science, No. 8112, pp. 183-190, Springer-Verlag, 2013.
Proceedings of the 20th IEEE International Conference and Workshop on the Engineering of Computer Based Systems
IEEE Computer Society Press, 2013
2012
Technical Realization of the Optimal Motion Planning Method for Minimally Invasive Surgery
2012 IEEE 19th International Conference and Workshop of Com-Based Systems, pp 195-200, 2012
On the Extraction and Analysis of a Social Network with Partial Organizational Observation
2012 IEEE 19th International Conference and Workshop of Com-Based Systems, 2012
A Special Learning Process with Time Delay
Pure Mathematics and Applications 23(1), pp 49-60, 2012
Educational Technologies for Precollege Engineering Education
IEEE Transactions on Learning Technologies 5(1), pp 20-37, Jan 2012
Decision Support Using Deterministic Equivalents of Probabilistic Game Trees
Engineering of Computer Based Systems (ECBS), 2012 17th IEEE International Conference and Workshops on, April, 2012
Models and Techniques for Computer Aided Surgical Training
Lecture Notes in Computer Science Part 2 (6928), 2012, pp 233-241, Springer-Verlag
2011
Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks
Proc. of the 18th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS `11), pp 81-88, April, 2011
Hardware/Software Communication Middleware for Data Adaptable Embedded Systems
Proc. of the 18th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS `11), pp 34-43,Las Vegas, April, 2011
A Non-Numerical Predictive Model for Asymmetric Analysis
University of Arizona, April, 2011
Knowledge Elicitation for Performance Assessment in a Computerized Surgical Training System
Applied Soft Computing 11(4), pp 3697-3708, 2011
First Experiences with eBlocks as an Assistive Technology for Individuals with Autistic Spectrum Condition
Frontiers in Education Conference (FIE), pp T3D-1---T3D-7, 2011
An Optimal Motion Planning Method for Computer-Assisted Surgical Training
IEEE Transactions on Systems, Man, and Cybernetics 2011
Adaptive Tracking in Energy Sensitive Distributed Wireless Sensor Networks
Ad Hoc and Sensor Wireless Networks 12(1-2), pp 55-77, 2011
Models and Techniques for Computer Aided Surgical Training
Proc. of the 13th Intl. Conference on Computer Aided Systems Theory, pp. 370-373, Las Palmas, Spain, February 2011
2010
Text Analysis and Entity Extraction in Asymmetric Threat Response and Prediction
Proc. of the 2010 IEEE International Conference on Intelligence and Security Analytics, pp 202-207, May, 2010
Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computer Technologies
Proc. of the 17th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '10), pp 258-262, March, 2010
A Non-Numerical Predictive Model for Asymmetric Analysis
Proc. of the 17th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '10), pp. 311-315, Oxford, UK, March 2010
A Computerized Assessment to Compare the Impact of Standard, Stereoscopic and High Definition Laparoscopic Monitor Displays on Surgical Technique
Surgical Endoscopy 24(11), pp 2743-2748, 2010
2009
Wavelet Amendment of Polynomial Models in Hammerstein Systems Identification
IEEE Transactions on Automatic Control 54(4), pp 820-825, 2009
Defining Spatial Regions in Computer-assisted Laparoscopic Surgical Training
Proc. of the 16th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '09), pp 176-183, April, 2009
A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts
Proc. of the 16th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '09), pp 215-224, April, 2009
Laparoscopic Surgery Training Based on Image Processing
Proc. of the 12th International Conference on Computer Aided Systems Theory, EuroCAST 2009, pp 301-303, Feb, 2009
Surgical Training System with a Novel Approach to Human-Computer Interaction
Human-computer systems interaction: background and applications (Advances in Intelligent and Soft Computing) 2009, pp 383-393, Springer-Verlag
Safety Oriented Laparoscopic Surgery Training System
Lecture Notes in Computer Science (5717), 2009, pp 889-896, Springer-Verlag
Agent-based Simulation in Market and Production System
Intl. Journal of Internet and Enterprise Management (IJIEM) 6(1), pp 31-40, 2009
2008
A Novel Interaction Method for Laparoscopic Surgery Training
Proc of the 2008 Conference on Human Systems Interaction, pp 858-861, May, 2008
Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST)
Proc. of the 15th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '08), pp 203-209, March, 2008
Computer-guided Laparoscopic Training with Applications of a Fuzzy Expert System
Lecture Notes in Artificial Intelligence (5317), 2008, pp 965-972, Springer-Verlag
2007
Modeling and Simulation of Course of Action (COA) Consequences in Stability and Support Operations
Proc. of the 2007 European Simulation Interoperability Workshop (EURO-SIW), (electronic publication), Genoa, Italy, June, 2007
Design For a Patient-Centric Medical Information System Using XML Web Services
Proc. of the 2007 International Conference on Information Technology (ITNG'07), pp 562-567, April, 2007
Motion Planning System for Minimally Invasive Surgery
Proc. of the 14th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '07), pp 609-610, March, 2007
Design of A Wireless Sensor Network Based Automatic Light Controller in Theater Arts
Proc. of the 14th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '07), pp 161-170, March, 2007
Behavior Analysis Based Learning Framework for Host Level Intrusion Detection
Proc. of the 14th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '07), pp 441-447, March, 2007
An Event-driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Migitation
Proc. of the 14th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '07), pp 55-62, March, 2007
Alert Fusion for a Computer Host Based Intrusion Detection System
Proc. of the 14th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '07), pp 433-440, March, 2007
A Hybrid View in a Laparoscopic Surgery Training System
Proc. of the 14th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS '07), pp 339-348, March, 2007
Hardware/Software Partitioning using Bayesian Belief Networks
IEEE Transactions on Systems, Man and Cybernetics 37(5), pp 665-668, 2007
Proceedings of the 2007 IEEE International Conference and Workshop on the Engineering of Computer Based Systems
IEEE Computer Society Press, 2007
2006
Multi-Agent Learning Model with Bargaining
Proc. of the 2006 Winter Simulation Conference (WSC '06), pp 934-940, December, 2006
Surgical Training and Performance Assessment Using a Motion Tracking System
Proc. of the 2nd European Modeling and Simulation Symposium. EMSS 2006, pp 647-652, October 4-6, 2006
Asymmetric Multiagent Learning Modeling and Analysis
Proc. of the 2nd European Modeling and Simulation Symposium. EMSS 2006, pp 231-237, October, 2006
An Improvement of Energy Aware Routing in a Wireless Sensors Network
Proc. of the 2nd European Modeling and Simulation Symposium. EMSS 2006, pp 599-604, October, 2006
Assessment of the Quality of Teaching and Learning Based on Data Driven Evaluation Methods
Proc. of the 7th International Conference on Information Technology Based Higher Education and Training. ITHET '06, pp Electronic publication: 14 pages,, July, 2006
24/7 Software Development in Virtual Student Exchange Groups: Redefining the Work and Study Week
Proc. of the 7th International Conference on Information Technology Based Higher Education and Training. ITHET '06, pp Electronic publication: 8 pages, July, 2006
A Multi-modality Framework for Energy Efficient Tracking in Large Scale Wireless Sensor Networks
Proc. of the 2nd IEEE International Conference on Networking, Sensing and Control, pp 916-921, April, 2006
Adaptive Tracking in Distributed Wireless Sensor Networks
Proc. of the 13th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS' 06), pp 103-111, March, 2006
A Hybrid Intrusion Detection and Visualization System
Proc. of the 13th IEEE Intl. Conference and Workshops on the Engineering of Computer Based Systems (ECBS' 06), pp 505, March, 2006
Visualization Tools to Adapt to Complex Military Environments
Advances in Human Performance and Cognitive Engineering Research (978-0762308644), 2006, pp 73-113, Emerald Group Publishing Limited
Proceedings of the 2006 International Mediterranean Modeling Multiconference, Piera
LogiSim Press, 2006
Dynamic Decision Support in the Advanced Tactical Architecture for Combat Knowledge System
Journal of Defense Modeling and Simulation 3(1), pp 11-26, 2006
2005
Level-of-detail Based Modeling of Object Movement in Tracking and Surveillance System
Proc. of the 2005 Winter Simulation Conference (WSC' 05), pp 461-466, December, 2005
A Distributed Approach to Genetic Algorithm-Based Course of Action Generation
Proc. of the 2005 Conceptual Modeling and Simulation Conference, October, 2005
Word-based Design: Preliminary Concepts and a Prototype Application
Proc. of the FH Science Day 2005, pp 61-64, September, 2005
Cognitive Computing: Principles, Architectures and Applications
Proc. of the 19th European Conference on Modelling and Simulation ECMS2005, pp 715-720, June, 2005
Embedded System Engineering Using C/C++ Based Design Methodologies
Proc. of the 12th IEEE Intl. Conference and Workshops on the Engineering of Computer-Based Systems, pp 81-88, April, 2005
A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network
Proc of the 12th IEEE Intl. Conference and Workshops on the Engineering of Computer-Based Systems, pp 155-162, April, 2005
A New Framework for Power Estimation of Embedded Systems
IEEE Computer 38(2), pp 71-78, 2005
Proceedings of the 2005 IEEE International Conference and Workshop on the Engineering of Computer Based Systems
IEEE Press, 2005
Power Aware System-Level Design for Embedded Systems-on-Chip
Diversitas Cybernetica, Lecture Notes in Communication Series 2005, pp 179-191, Warsaw
Decision Support System Using Data Warehousing and On-Line Analytical Processing Technologies
Tenth IEEE Intl. Workshop on Computer Aided Systems Theory, EuroCAST 2005, pp 45-46, 2005
Is Problem Solving, or Simulation Model Solving, Mission Critical? The Panel Reloads
Proceedings of the 37th Winter Simulation Conference, Orlando, pp.155, FL, USA, December 2005
2004
A Hybrid Approach for Performance Assessment in Embedded System Design
Proc. of the 2004 Conference on Conceptual Modeling and Simulation (CSM-I3M 2004), October, 2004
Performance Analysis of Embedded Systems with SystemC
Proc. Intl. Conference on Computing, Communication, and Control Technologies (CCCT 2004), pp 46-51, August, 2004
Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment
Proc. of the 11th IEEE Intl. Conference and Workshops on the Engineering of Computer-Based Systems, pp 61-68, May, 2004
Network Virtual Laboratory for External Devices Programming
Proc. of the 11th IEEE Intl. Conference and Workshops on the Engineering of Computer-Based Systems, pp 293-298, May, 2004
Modeling and Simulation of Stability and Support Operations (SASO)
Proc. of the 11th IEEE Intl. Conference and Workshops on the Engineering of Computer-Based Systems, pp 21-28, May, 2004
Automating Test Generation for Discrete-Event Oriented Real-Time Embedded Systems
IEEE SMC '99 Conference Proceedings, 1999 IEEE International Conference on Systems, Man, and Cybernetics, pp.784-789 vol.5
Automating Test Generation for Discrete Event Oriented Embedded Systems
Journal of Intelligent and Robotic Systems 41pp 87-112, 2004
2003
A Coevolutionary Approach to Course of Action Generation and Visualization in Multi-Sided Conflicts
Proc. of the 2003 IEEE Intl. Conference on Systems, Man, and Cybernetics, pp 1973-1978, October, 2003
Complex Systems Design: A Simulation Modeling Approach
Proc. of the International Workshop on Habour, Maritime and Multimodal Logistics Modelling \& Simulation HMS2003, pp 17-20, September, 2003
Formal Specifications of Computer-Based Systems
Proc. of the 10th IEEE Conference on Engineering of Computer-Based Systems, pp 169-172, April, 2003
A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments
Proc. of the 10th IEEE Conference on Engineering of Computer-Based Systems, pp 207-213, April 2003
An Agent-Based Visualization and Control Architecture for Tactical Operations
Proc. of the Ninth Intl. Conference on Computer Aided Systems Theory, EuroCast 2003, February, 2003
Knowledge Base for Evidence Based Medicine with Bioinformatics Components
Lecture Notes on Computer Science (2809), 2003, pp 163-173, Springer-Verlag
2002
Refinement of Model Specifications in Embedded Systems Design
Proc. of the 2002 IEEE Conference on Engineering of Computer-Based Systems, pp 159-166, April, 2002
Multi-Agent Approach to Decision Support in Advanced Tactical Architecture for Combat Knowledge System (ATACKS)
Proc. of the 2002 Advanced Simulation Technologies Conference, April, 2002
Model Based Design and Testing of Embedded Systems
Proc. of AIS 2002. AI, Simulation and Planning in High Autonomy Systems Conference, pp 21-24, April, 2002
Formal Specifications of Computer Based Systems
Proc.of the 2002 IEEE Conference on Engineering of Computer-Based Systems, pp 224-225, April, 2002
Multi-Level Testing for Design Verification of Embedded Systems
IEEE Design and Test 19(60-69), 2002
2001
Intelligent Decision Support of Support and Stability Operations (SASO) through Symbolic Visualization
Proc. of the 2001 IEEE Intl. Conference on Systems, Man, and Cybernetics, pp 2927-2931, October, 2001
Conflict Management in a Multiagent Robotic System: FSM and Fuzzy Logic Approach
Proc. of the 2001 IEEE Intl. Conference on Systems, Man, and Cybernetics, pp 1593-1598, October, 2001
Synthesis of High Level Requirements Models for Automatic Test Generation
Proc. of the 2001 IEEE Conference on Engineering of Computer-Based Systems, pp 76-82, April, 2001
Three Layer Architecture for Continuous Planning and Execution
Proc. of the 2001 Army Research Laboratories Symposium, March, 2001
Systems Design: A Simulation Modeling Framework
Discrete Event Modeling and Simulation: A Tapestry of Systems and AI-based Theories and Methodologies 2001, pp 107-127, Springer-Verlag New York, Inc.
System Design is an NP-Complete Problem
Systems Engineering Journal 4(3), pp 222-229, 2001
Integrated Engineering: Looking Back and Moving Forward
IEEE Computer 34(12), pp 164-165, 2001
2000
The Wireless Data Acquisition System for Flood Control and Water Management
Proc. of the 4th IFAC Intl. Symposium -- SICICA 2000, Intelligent Components and Instruments for Control Application, pp 255-258, September, 2000
Multiresolution Modeling Approach to Battlespace Management and Visualization
Proc. of the Human Interaction with Complex Systems Symposiu., (HICS 2000), pp 209-213, U. Illinois, May, 2000
Discrete Event System Specification (DEVS) and StateCharts Equivalence for Embedded Systems Modeling
Proc. of the 2000 IEEE Conference on Engineering of Computer-Based Systems, pp 308-316, April,Edinburgh , Scotland, UK, 2000
Towards an Integrated C3I Framework for Human Performance Modeling and Analysis
Proc. of the 2000 Conference on AI, Simulation and Planning in High Autonomy Systems, pp 234-249,Tucson, AZ, March, 2000
Automated Validation of System Requirements for Embedded Systems Design
Proc. of the 2000 Conference on AI, Simulation and Planning in High Autonomy Systems, pp 243-249,Tucson, AZ, March, 2000
Proceedings of the 2000 AI, Simulation and Planning in High Autonomy Systems Conference
SCS International, 2000
Human Performance Issues in Battlespace Visualization
Proc. of the 22nd Army Science Conference,Baltimore, MD , 2000
Concepts for Model Compilation in Hardware/Software Codesign
Proc. of the World Computing Congress, pp 413-420, Beijing, 2000
Common Object Request Broker Architecture (CORBA)-based Security Services for the Virtual Radiology Environment
Journal of Digital Imaging 13(2), pp 59-70, 2000
Soldier Performance Course of Action (COA) Visualization Aids
Army Research Laboratory, ARL-CR-302 Aug. 2000
1999
Automatic Test Case Generation from Requirements Specifications for Real-Time Embedded Systems
Proc. of the 1999 IEEE Intl. Conference on Systems, Man, and Cybernetics, pp 784-789,Tokyo , October, 1999
Towards an Integrated, Model-Based Codesign Environment
Proc. of the 1999 IEEE Conference on Engineering of Computer-Based Systems, pp 136-143, March, Nashville, TN, 1999
Situation Assessment and Decision Making Integrated into the Process Centered Environment
Proc. of the 1999 IEEE Conference on Engineering of Computer-Based Systems, pp 129-135, Nashville, TN, March, 1999
Test Scenario Generation from a Structured Requirements Specification
Proc. of the 1999 IEEE Conference on Engineering of Computer-Based Systems, pp 166-172, Nashville, TN , March, 1999
Effects of Computer Displayed Color Characteristics on Individuals
Proc. of the 3rd Annual Federated Laboratories Symposium, pp 163, February, College Park, MD, 1999
Virtual Management of Radiology Examinations in the Virtual Radiology Environment Using Common Object Request Broker Architecture Services
Journal of Digital Imaging 12(2), pp 181-185,Houston , TX, 1999
Simulation-Based Design of Heterogeneous Systems
Hardware/Software Codesign of Embedded Systems 1999, pp 94-111, IT Press
Multiagent Approach to Control and Synchronization of Tele-education in an Open Distributed Environment
Proc. of the 5th IEEE African Conference, pp 375-382, Cape Town, 1999
Meta-Manager: A Requirements Analysis
Proc. of the 16th Symposium for Computer Applications in Radiology, Houston , TX, 1999
An Embedded System's Design Verification Using Object-Oriented Simulation Techniques
Simulation 72(4), pp 238-249, 1999
1998
Visualizing Courses of Action for Future Battlespaces
66th Military Operations Research Symposium, Monterey, June 1998
Model-Based Workcell Task Planning and Control
Transactions of the Society for Computer Simulation 15(4), pp 167-180, 1998
A Framework for Hardware/Software Partitioning Utilizing Bayesian Belief Networks
Proc. of the 1998 IEEE Conference on Systems, Man and Cybernetics, pp 3983-3988, San Diego, CA, October, 1998
A Prototyping Environment for Model-Based Codesign
Proc. of the 1998 IEEE Conference on Engineering of Computer-Based Systems, pp 145-149, Jerusalem, March, 1998
1997
Towards an Application of Model-Based Codesign: An Autonomous, Intelligent Cruise Controller
Proc. of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems, pp 73-80, Monterey, CA, March, 1997
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Proc. of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems, pp 228-237, Monterey, CA, March, 1997
Systems Engineering-Based Design and Control of Teletraining Sessions on an Open Environment
Proc. of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems, pp 368-375, Monterey, CA, March, 1997
Process and Systems Complexity
Proc. of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems, pp 322-323, March, 1997
Proceedings. of the 1997 IEEE Conference and Workshop on Systems Engineering of Computer Based Systems
IEEE Press, 1997
Integrative, Model-Based Engineering Design
Proc. of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems, pp 405-406, Monterey, CA, March, 1997
Concepts for Computer Assisted Engineering Process Management
Proc. of the 1997 IEEE Conference and Workshop on Engineering of Computer Based Systems, pp 405-412, Monterey, CA, March, 1997
Toward Synergistic Engineering of Computer Systems
IEEE Computer 30(2), pp 126-127, 1997
System Theoretical Approach to Control and Synchronization of Tele-education in an Open, Distributed Environment
Lecture Notes on Computer Science (1333), 1997, pp 549-560, Springer-Verlag
Simulation-Based Verification in HW/SW Codesign: An FPGA Approach
Reconfigurable Architectures - High Performance by Configware 1997, pp 49-54, IT Press
1996
VLSI Interconnect Design Automation Using Quantitative and Symbolic Techniques
IEEE Trans. on Components, Packaging, and Manufacturing Technology 19(4), pp 803-812, 1996
Engineering of Computer-Based Systems: Current Status and Technical Activities
IEEE Computer pp 100-101, 1996
Concepts for Computer Aided Support of Complex Engineering Projects
Proc. of the 1996 European Meeting on Cybernetics and Systems Research, Vienna, April, 1996
Integration of Design Modeling Techniques: Operations Automation Systems Scenario
Proc. of the 1996 IEEE Symposium and Workshop on Engineering of Computer-Based Systems, pp 158-165, Friedriechshafen, Germany, March, 1996
A Hypergraph Approach to Design Flow Management
Proc. of the Sixth Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp 79-84, La Jolla, CA, March 23-27, 1996
A Knowledge-Based Simulation Environment for Hierarchical Flexible Manufacturing
IEEE Transactions on Systems, Man, and Cybernetics 26(1), pp 80-91, 1996
1995
Projection-Based Knowledge Representation for Concurrent Engineering
Proc. of the 1995 IEEE Intl. Conference on Systems, Man and Cybernetics, pp 3863-3868, Vancouver, Canada, October, 1995
Modular, Hierarchical Concepts for Support of Heterogeneous Systems Design
Proc. of the 1995 IEEE Symposium and Workshop on Systems Engineering of Computer Based Systems, pp 200-208, Tucson, March, 1995
Complexity of the System Design Problem
Proc. of the 1995 IEEE Symposium and Workshop on Systems Engineering of Computer Based Systems, pp 51-57, Tucson, March, 1995
Proceedings of the 1995 IEEE Symposium and Workshop on Systems Engineering of Computer Based Systems
IEEE Press, 1995
Intelligent Control and Planning: Introduction to the Special Issue
Applied Artificial Intelligence 9(5), pp iii-iv, 1995
Engineering of Computer-Based Systems: Current Status and Technical Activities
IEEE Computer Society, pp. 100-103, 28(6), June 1995
1994
The System Design Problem is NP-Complete
1994 IEEE Intl. Conference on Systems, Man, and Cybernetics, pp 1880-1884, San Antonio, TX, October, 1994
Packaging Design Support Environment: Techniques for Intelligent VLSI Interconnect Design Automation
Proc. of the 1994 NSF Design and Manufacturing Conference, pp 93-94,Boston, MA, 1994
Generation, Control, and Simulation of Task Level Actions Based on Discrete Event Models
Proc. of the 5th Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp 214-220, 1994
Codesign: An Overview
Codesign: Computer-Aided Software/Hardware Engineering 1994, pp 1-15, IEEE Press
CAST Tools for Intelligent Control in Manufacturing Automation
Lecture Notes in Computer Science (763), 1994, pp 203-219, Springer-Verlag
An Approach to Object-Oriented Modeling and Performance Evaluation
Proc. of the Fifth Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp 164-169, 1994
A Knowledge-Based Simulation Environment for the Early Design of Multichip Modules
Microelectronics Journal 25(5), pp 47-59, 1994
A Computer-Aided Design Framework for Modeling and Simulation of VLSI Interconnections and Packaging
Journal of VLSI Integration 17(2), pp 163-187, 1994
1993
Representing and Construction System Specifications Using the System Entity Structure Concepts
Proc. of the 1993 Winter Simulation Conference, pp 604-611, Los Angeles, CA , December, 1993
An Environment for Automatic System Performance Evaluation
Proc. of the 1993 Winter Simulation Conference, pp 582-588, Los Angeles, CA,December, 1993
Development of Chip Model Library for the Computer-Aided Analysis of Electronic Packaging
Proc. of the IEEE/CHMT Intl. Electronic Manufacturing Technology Symposium, pp 417-422, Santa Clara, CA, Oct, 1993
Virtual Process Design Techniques for Intelligent Manufacturing
Proc. of the 4th Annual IEEE Conference on AI, Simulation and Planning in High Autonomy Systems, pp 192-198, September, 1993
Decision Support, Planning, and Data Management of Complex, Discrete Event Systems
Proc. of the 4th Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp 245-251, September, 1993
An Integrated Framework for Modeling and Simulation of Electronic Packaging
Proc. of TECHCON'93, pp 457, Atlanta , GA, September, 1993
An Integrated System for Design Automation of VLSI Interconnects and Packaging
Proc. of the 36th IEEE Midwest Symposium on Circuits and Systems Conference, pp 847-850, Detroit, MI, August, 1993
Simulation-Based Intelligent Control Design in Manufacturing Automation
Proc. of the Intl. Workshop on Intelligent Robotic Systems, pp 81-90, Zakopane , Poland, July, 1993
An Object-Oriented Approach to Hierarchical Design of VSLI Multichip Systems
Proc. of the 10th Intl. VLSI Multilevel Interconnection Conference, pp 538-540, Santa Clara, CA, June, 1993
Reduction of Signal Delay and Crosstalk in Electronic Packages Using Expert Systems Techniques
Proc. of Electrical Performance of Electronic Packaging Meeting, pp 61-64, 1993
Integrating Systems Formalisms: How Object-Oriented Programming Supports Cast for Intelligent System Design
Journal of Systems Engineering 3pp 209-219, 1993
1992
Simulation Modeling in Factory Layout Optimization
Proc. of the Intelligent Manufacturing Systems Workshop, Intl. Fed. Automatic Control, pp 235-239, October, 1992
Towards Design and Control of High Autonomy Manufacturing Systems
Proc. of the 3rd IEEE AI, Simulation and Planning in High Autonomy Systems Conference, pp 38-45, Perth, Australia, July, 1992
Achieving Autonomy Through Design
Proc. of the 3rd AI, Simulation and Planning in High Autonomy Systems Conference, pp 72-79, Perth , Australia, July, 1992
Workcell Task Planning and Control
Proc. of the 11th European Meeting on Systems Research and Cybernetics, pp 1479-1486, Vienna, April, 1992
Electrical Performance Evaluation of Multi-Chip Assemblies Using Knowledge-Based Approaches
Proc. of the IEEE Topical Meeting on Electrical Performance of Electronic Packaging, pp 7-9, Tucson, AZ, April, 1992
Intelligent Design Automation for VLSI Interconnects
Proc. of the 11th IEEE Conference on Computers and Communications, pp 349-355, Phoenix, AZ, March, 1992
Knowledge-Based Simulation Environment Techniques: A Manufacturing System Example
Control and Dynamic Systems: Advances in Theory and Applications 49, 1992, pp 191-240, Academic Press
Integrated Knowledge Representation and Management in Simulation Based Design Generation
IMACS Journal of Mathematics and Computers in Simulation 34(3-4), pp 262-282, 1992
Design for Autonomy: An Overview
Applied Artificial Intelligence 6(1), pp 1-18, 1992
Automatic Simulation of a Robot Program for a Sequential Manufacturing Process
Robotica 34pp 45-56, 1992
Automatic Robot Programming in CAST
Lecture Notes in Computer Science (585), 1992, pp 634-647, Springer-Verlag
Knowledge-Based Design and Simulation Environment (KBDSE): Foundational Concepts and Implementation
Artificial Intelligence in Operational Research, (Ed. G. I. Doukidis and R. J. Paul), pp. 261-275, MacMillan, 1992
1991
A Framework for Simulation Design of Flexible Manufacturing Systems
Proc. of the 1989 Winter Simulation Conference, pp 1106-1114, Phoenix, AZ, December, 1991
Simulation Knowledge-Based Design
Proc. of the Knowledge-Based Design Workshop, 1991 Intl. Joint Conference on Artificial Intelligence, pp 289-300, Sydney, Australia, August, 1991
Simulation Based Planning of Robot Tasks in Flexible Manufacturing
Proc. of the 2nd AI, Simulation and Planning in High Autonomy Systems Conference, pp 166-173, Cocoa Beach, FL, March, 1991
Rule-Based Generation of Model Structures in Multifacetted Modeling and System Design
ORSA Journal on Computing 3(4), pp 330-344, 1991
Reducing the Validation Bottleneck with a Knowledge-Based, Distributed Simulation Environment
Expert Systems with Applications 3(3), pp 329-342, 1991
Knowledge Acquisition Based on Representation (KAR) for Design Model Development
Knowledge Based Simulation: Methodology and Applications 1991, pp 77-94, Springer-Verlag, New York
Knowledge Acquisition Based on Explicit Representation
Expert Systems with Applications 3(3), pp 303-315, 1991
Experimental Frame Specification Methodology for Hierarchical Simulation Modeling
Intl. Journal of General Systems 19(3), pp 317-336, 1991
Architectures for Distributed Knowledge Processing
Neural and Intelligent Systems Integration 1991, pp 437-455, John Wiley & Sons, New York
An Integrated Framework for Knowledge-Based Modeling and Simulation of Natural Systems
Simulation 57(3), pp 317-336, 1991
1990
Applying Knowledge-Based System Design and Simulation in Information System Requirements Determination
Proc. of the 1990 Winter Simulation Conference, pp 407-411, New Orleans , LA, December, 1990
Towards a VLSI Packaging Design Support Environment (PDSE): Concepts and Implementation
Proc. of the 1990 IEEE Intl. Conference on Computer Design, pp 443-448, Boston, MA, October, 1990
Simulation Modeling in Design Generation and Solution
Proc. of the 1990 IMACS European Simulation Meeting, Problem Solving by Simulation, pp 135-141, Esztergom, Hungary, August, 1990
Model Development in Knowledge Based System Design and Simulation
Proc. of the 1990 Eastern Simulation Multiconf, AI and Simulation, pp 167-172, Nashville, TN, April, 1990
Packaging Design Support Environment - A Simulation System for Analysis of VLSI Interconnects
Proc. of the 9th Annual Intl. Phoenix Conference on Computers and Communications, pp 828-831, Phoenix, AZ, March, 1990
Case Studies of Design Methodologies: A Survey
Proc. of the First Intl. Conference on AI, Simulation and Planning in High Autonomy Systems, pp 136-141, Tucson, AZ, March, 1990
Proceedings of the First International Conference on AI, Simulation and Planning in High Autonomy Systems
IEEE Computer Society Press, 1990
Knowledge-Based Simulation Design Methodology: A Flexible Test Architecture Application
Transactions of the Society for Computer Simulation 7(3), pp 195-228, 1990
Knowledge-Based Design and Simulation Environment (KBDSE): Foundational Concepts and Implementation
Journal of the Operational Research Society 42(2), pp 475-489, 1990
DEVS-Scheme Simulation of Stream Water Quality
ACM Simulation Digest 21(1), pp 20-28, 1990
Design and Modeling Concepts
Concise Encyclopedia of Robotics. (Ed. R. Dorf), pp. 213-220, John Wiley and Sons, New York, 1990
Computer Aided Systems Theory and Knowledge-Based System Design and Simulation; Directions to Explore
Lecture Notes in Computer Science (410), 1990, pp 322-335, Springer-Verlag
1989
The Role of Knowledge Management in Hierarchical Model Development
Proc. of the 1989 Winter Simulation Conference, pp 584-592, December, Washington, DC, 1989
Hierarchical, Modular Modeling in DEVS-Scheme
Proc. of the 1989 Winter Simulation Conference, pp 84-89, December, Washington, DC, 1989
Computer Aided Design Systems for VLSI Interconnections
Proc. of the 1989 IEEE Intl. Conference on Computer Design, pp 237-241, October, Boston, MA, 1989
An Integrated, Entity-Based Knowledge Representation Scheme for System Design
Proc. of the 1989 National Science Foundation Engineering Design Research Conference, pp 393-408, Amherst, MA, June, 1989
Modeling and Simulation of Interconnections in High Speed Packages
Proc. of the National Electronic Packaging and Production Conference, pp 698-707, Mar, Anaheim, CA, 1989
FRASES - A Knowledge Representation Scheme for Engineering Design
Proc. of The 1989 SCS MultiConference AI and Simulation, pp 141-146, Tampa, FL, March, 1989
Experimental Frame Generation in a Knowledge-Based System Design and Simulation Environment
Modeling and Simulation Methodology: Knowledge System Paradigms 1989, pp 451-466, North Holland, Amsterdam
1988
Design of a Simulation Environment for Laboratory Management by Robot Organizations
Journal of Intelligent and Robotic Systems, 1(1), pp. 299-309, Huntsville, AL, 1988
Towards an Implementation of a Knowledge-Based System Design and Simulation Environment
Proc. of the 1988 Winter Simulation Conference, pp 226-230, San Diego, CA, December, 1988
Systems Theory Instrumented Simulation Modeling
Proc. of the 1988 Winter Simulation Conference, pp 282-286, San Diego, CA, December, 1988
Development of a Simulation System for High Speed Packaging Structures
Proc. of the 1988 Government Microcircuit Applications Conference, pp 461-465, Las Vegas, NV, November, 1988
Design of a Simulation Environment for Laboratory Management by Robot Organizations
Proc. of the 4th Annual NASA Conference on Artificial Intelligence for Space Applications, pp 313-317, November, 1988
Principles for Knowledge-Based Design of Computer Assisted Educational Systems
Proc. of the Asia-Pacific Conference on Computer Assisted Education, pp 223-234, Shanghai, October, 1988
Towards Automatic Generation of Experimental Frames in Simulation-Based System Design
Proc. of the 1988 AI and Simulation Conference, pp 1-6, April, 1988
Design and Modeling Concepts
Concise Encyclopedia of Robotics 1988, pp 308-322, John Wiley & Sons, New York
1987
Constraint-Driven Generation of Model Structures
Proc. of the 1987 Winter Simulation Conference, pp 604-611, Atlanta, GA, December, 1987
Multifacetted Methodology: A Framework for Knowledge-Based Simulation Modeling
Proc. of the 1987 Eastern Simulation Conference, pp 50-53, Orlando, FL, April, 1987
1986
Knowledge-Based Design of LANs Using System Entity Structure Concepts
Proc. of the 1986 Winter Simulation Conference, pp 858-865, Washington, DC, Dec, 1986
Entity-Based Structures for Model and Experimental Frame Construction
Modeling and Simulation Methodology in the Artificial Intelligence Era 1986, pp 78-100, North Holland, Amsterdam
1985
Concepts for Knowledge-Based System Design Environments
Proc. of the 1985 Winter Simulation, pp 223-231, San Francisco, CA, December, 1985
Experimental Frames for Distributed Simulation Architectures
Proc. of the 1985 SCS MultiConference, Distributed Simulation, pp 14-20, San Diego, CA, January, 1985
1984
EXP - A Software Tool for Experimental Frame Specification in Discrete Event Modeling and Simulation
Proc. of the 1984 Summer Computer Simulation Conference, pp 967-971, Boston, MA, July, 1984
An Experimental Frame Specification Module
Simulation and Model-Based Methodologies: An Integrative View 1984, pp 598-600, Springer-Verlag, New York
1981
© Copyright 2011-12 Model Based Design Laboratory, The University of Arizona. All rights reserved.