-
Nudging into Flow: Optimizing Productivity with a Choice Architecture
Weekes, Troy,
and Eskridge, Thomas C
In Cognitive Economics Workshop
2019
[PDF]
-
A case-based reasoning approach to cybersecurity reasoning
Eskridge, Thomas C,
Carvalho, Marco M,
Rodgers, Andrew V,
and Tassel, Richard
2019
-
Using Bayes Networks to predict information gain on experiment trial
Eskridge, Thomas C,
Mehta, Dhanish,
Granados, Adrián,
Carvalho, Marco M,
Atighetchi, M,
Costa, Paulo,
and Myers, David
2019
-
Intelligent Trial Generation for Cyber Security Experimentation
Eskridge, Thomas C,
Mehta, Dhanish,
Granados, Adrián,
Carvalho, Marco M,
Atighetchi, M,
and Myers, David
2019
-
A framework for automated cyber experimentation
Mehta, Dhanish,
Eskridge, Thomas C,
and Carvalho, Marco M
2019
[PDF]
-
Semantic Composition of the User Interface
Eskridge, Thomas C,
Nyffenegger, W,
Akerman, Shea,
Ghaderpour Taleghani, Shayesteh,
Metha, Dhanish,
and Carvalho, Marco
2019
-
Towards the application of recommender systems to secure coding
Nembhard, F.,
Carvalho, Marco M,
and Eskridge, Thomas C
EURASIP Journal on Information Security
2019
[PDF]
-
A Federated Defense Community and Ecosystem in Practice
Eskridge, T. C.,
and Carvalho, M.M.
In 2019 S&T Cybersecurity and Innovation Showcase
2019
[PDF]
-
User Display Providing Obstacle Avoidance
Eskridge, Thomas Charles,
Johnson, Matthew,
and Chua, Kenny Wei Liang
US Patent No 10,410,071 Sep 10, 2019
2019
[PDF]
-
Assurance for Cyberfacturing
Newton, M,
Eskridge, T. C.,
and Bhattacharyya, Siddhartha
2018
-
Multi-Tier Orchestration Frameowrk for Cyber Operations and Defense
Carvalho, M.M.,
Eskridge, T. C.,
and Nyffenegger, W
2018
-
Innovation in Action: The Florida Institute for Human & Machine Cognition (IHMC)
Bradshaw, J. M.,
Bunch, L,
Carvalho, M,
Eskridge, T. C.,
Feltovich, P. J.,
and Johnson, M. J.
Technology & Innovation
2018
-
User interface supporting an integrated decision engine for evolving defenses
Eskridge, T.,
Carvalho, M.,
Benyo, B.,
Atighetchi, M,
Yaman, F.,
and Adler, A.
2018
-
Extracting Knowledge from Open Source Projects to Improve Program Security
Nembhard, Fitzroy,
Carvalho, Marco M,
and Eskridge, Thomas C
In 2018 IEEE SoutheastCon
2018
-
Formal Assurance for Cooperative Intelligent Autonomous Agents
Bhattacharyya, Siddhartha,
Eskridge, Thomas C.,
Neogi, Natasha A.,
Carvalho, Marco,
and Stafford, Milton
In NASA Formal Methods
2018
[Abs]
[PDF]
Developing trust in intelligent agents requires understanding the full capabilities of the agent, including the boundaries beyond which the agent is not designed to operate. This paper focuses on applying formal verification methods to identify these boundary conditions in order to ensure the proper design for the effective operation of the human-agent team. The approach involves creating an executable specification of the human-machine interaction in a cognitive architecture, which incorporates the expression of learning behavior. The model is then translated into a formal language, where verification and validation activities can occur in an automated fashion. We illustrate our approach through the design of an intelligent copilot that teams with a human in a takeoff operation, while a contingency scenario involving an engine-out is potentially executed. The formal verification and counterexample generation enables increased confidence in the designed procedures and behavior of the intelligent copilot system.
-
(FC2) A Federated Command and Control Infrastructure
Carvalho, M.M.,
and Eskridge, T. C.
In 2016 DHS Cybersecurity Division R&D Showcase and Technical Workshop
2016
[PDF]
-
Semi-automated wrapping of defenses (SAWD) for cyber command and control
Carvalho, M.,
Eskridge, T. C.,
Atighetchi, M.,
and Paltzer, C. N.
In MILCOM 2016 - 2016 IEEE Military Communications Conference
2016
[Abs]
[PDF]
In this paper we introduce SAWD, a semi-automated approach for wrapping dynamic and moving target cyber defenses for cyber command and control operations. SAWD provides an interactive user interface that enables the intuitive description (either explicitly or by example) of the requirements, pre-conditions, and steps for defense installation, configuration, and operation in multiple operational environments. The defense wrapping produces a semantic representation of the defense, as well as the code necessary to manage the defense, which enables its seamless on demand deployment and control across multiple operating systems. SAWD is a collaborative effort between Florida Institute of Technology, Raytheon BBN Technologies, and Air Force Research Laboratory.
-
Policy Governed Software Agent System & Method of Operation
Bunch, L,
Bradshaw, J.M,
Carvalho, M.M.,
Eskridge, T.C.,
Feltovich, P.J.,
Lott, J.,
Uszok, A.,
Breedy, M. R.,
and Carff, R.
2016
-
A decision engine for configuration of proactive defenses - challenges and concepts
Atighetchi, M.,
Benyo, B.,
Eskridge, T. C.,
and Last, D.
In Proceedings of 2016 Resilience Week (RWS)
2016
[PDF]
-
Using ontologies to quantify attack surfaces
Atighetchi, M,
Simidchieva, B,
Eskridge, Thomas C,
and Paltzer, Nicholas
In Proceedings of Semantic Technologies in Intelligence, Defense, and Security (STIDS 2016)
2016
[PDF]
-
Semi-automated wrapping of defenses (SAWD) for cyber command and control
Carvalho, Marco M,
Eskridge, Thomas C,
Atighetchi, M,
and Paltzer, Nicholas
In Proceedings of MILCOM 2016
2016
-
Verification of Decision Procedures Modeled in Intelligent Agents
Bhattacharyya, S,
Eskridge, Thomas C,
Carvalho, Marco,
and Davis, J
In High Confidence Software and Systems 2016
2016
[PDF]
-
Formal Verification of Intelligent Systems Modeled as Decision Procedures
Bhattacharyya, S,
Eskridge, Thomas C,
and Carvalho, Marco
In Proceedings of the Safe and Secure Systems and Software Symposium (S5-2016)
2016
[PDF]
-
Verification of Security Response
Eskridge, Thomas C,
Bhattacharyya, S,
and Carvalho, Marco
In Proceedings of the Safe and Secure Systems and Software Symposium (S5-2016)
2016
[PDF]
-
User Display Providing Obstacle Avoidance
Eskridge, Thomas,
Johnson, Matthew,
and Kenny, Chua Wei Liang
2016
[PDF]
-
Coactive emergence as a sensemaking strategy for cyber operations
Bradshaw, J.M.,
Carvalho, M.M.,
Bunch, L.,
Eskridge, T.C.,
Feltovich, P.J.,
Forsythe, C.,
Hoffman, R.R.,
Johnson, M. J.,
Kidwell, D.,
and Woods, D.D.
ICST (Institute for Computer Science, Social Informatics, and Telecommunications Engineering) Transactions on Security and Safety. Special section on The Cognitive Science of Cyber Defense Analysis
2013
-
A human-agent teamwork command and control framework for moving target defense (MTC2)
Carvalho, Marco M,
Eskridge, Thomas C,
Bunch, Larry,
Bradshaw, Jeffrey M,
Dalton, Adam,
Feltovich, Paul,
Lott, James,
and Kidwell, Daniel
In Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
2013
-
MTC2: A command and control framework for moving target defense and cyber resilience
Carvalho, Marco,
Eskridge, Thomas C,
Bunch, Larry,
Dalton, Adam,
Hoffman, Robert,
Bradshaw, Jeffrey M,
Feltovich, Paul J,
Kidwell, Daniel,
and Shanklin, Teresa
In Resilient Control Systems (ISRCS), 2013 6th International Symposium on
2013
[PDF]
-
Visualizing Multi-Agent Systems
Polack Jr, Peter J,
Carvalho, Marco,
and Eskridge, Thomas C
In EEE/WIC/ACM International Conference on Web Intelligence
2013
[PDF]
-
The KAoS policy services framework
Bradshaw, Jeffrey M,
Uszok, Andrzej,
Breedy, Maggie,
Bunch, Larry,
Eskridge, T,
Feltovich, P,
Johnson, Matthew,
Lott, James,
and Vignati, Micael
In Proc. 8th Cyber Security and Information Intelligence Research Workshop
2013
-
Ontology Creation as a Sensemaking Activity
Eskridge, T. C.,
and Hoffman, R.
2012
[PDF]
-
Command and control requirements for moving target defense
Carvalho, M.M.,
Bradshaw, J.M.,
Bunch, L.,
Eskridge, T.C.,
Feltovich, P.J.,
Hoffman, Robert H.,
and Kidwell, D.
2012
[PDF]
-
Policy-Based Governance within Luna: Why We Developed Yet Another Agent Framework
Bunch, L.,
Carvalho, M.,
Bradshaw, J. M.,
Eskridge, T. C.,
Feltovich, P.J.,
Lott, J.,
Uszok, Andrzej,
and Kidwell, D
2012
[PDF]
-
Sol: An agent-based framework for cyber situation awareness
Bradshaw, J. M.,
Carvalho, Marco,
Bunch, L.,
Eskridge, Thomas C,
Feltovich, P. J.,
Johnson, Matthew,
and Kiddwell, Dan
2012
-
Policy-Based Governance within Luna: Why We Developed Yet Another Agent Framework
Bunch, Larry,
Bradshaw, Jeffrey M,
Eskridge, Tom,
Feltovich, Paul J,
Lott, James,
Uszok, Andrzej,
and Carvalho, Marco
In Web Intelligence and Intelligent Agent Technology (WI-IAT), 2012 IEEE/WIC/ACM International Conferences on
2012
-
Human-agent teamwork in cyber operations: supporting co-evolution of tasks and artifacts with Luna
Bunch, Larry,
Bradshaw, Jeffrey M,
Carvalho, Marco,
Eskridge, Tom,
Feltovich, Paul J,
Lott, James,
and Uszok, Andrzej
In German Conference on Multiagent System Technologies
2012
-
Continuous flow analogical reasoning
Eskridge, Thomas Charles
2012
-
A human-agent teamwork approach to moving target defense command and control
Carvalho, M,
Bradshaw, JM,
Bunch, L,
Eskridge, T,
Feltovich, P,
Hoffman, R,
Lott, J,
and Kidwell, D
In Poster presented at the Moving Target Research Workshop, Washington, DC
2012
-
Rapid Creation and Deployment of Communities of Interest Using the CMap Ontology Editor and the KAoS Policy Services Framework
Uszok, Andrzej,
Bradshaw, Jeffrey M.,
Eskridge, Tom,
and Hanna, James
2010
-
Ontology-based Contextual Query Editor
Eskridge, T.C.,
and Hayes, P.
2010
-
Rapid Creation and Deployment of Communities of Interest Using the CMap Ontology Editor and the KAoS Policy Services Framework
Uszok, Andrzej,
Bradshaw, Jeffrey M,
Eskridge, Tom,
and Hanna, James
In International Conference on Networked Digital Technologies
2010
-
From Tools to Teammates: Joint Activity in Human-Agent-Robot Teams
Bradshaw, JeffreyM,
Feltovich, Paul,
Johnson, Matthew,
Breedy, Maggie,
Bunch, Larry,
Eskridge, Tom,
Jung, Hyuckchul,
Lott, James,
Uszok, Andrzej,
and Diggelen, Jurriaan
2009
-
-
Network Situational Awareness: A Representative Study.
Eskridge, Thomas C,
Lecoutre, David,
Johnson, Matt,
and Bradshaw, Jeffrey M
In Software Engineering (Workshops)
2009
[PDF]
-
Varieties of analogical reasoning
Hoffman, Robert R,
and Eskridge, Thomas C
In Proceedings of the 9th Bi-annual International Conference on Naturalistic Decision Making (NDM’09), London, UK, June
2009
-
Case Studies of Knowledge Modeling for Knowledge Preservation and Sharing in the U.S. Nuclear Power Industry
Coffey, J.W.,
and Eskridge, T.C.
2008
-
Coordination in Human-Agent-Robot Teamwork
Bradshaw, J. M.,
Feltovich, P. J.,
Johnson, M. J.,
Bunch, L.,
Breedy, M. R.,
Eskridge, T.,
Hyuckchul, Jung,
Lott, J.,
and Uszok, A.
2008
-
Coordination in Human-Agent-Robot Teamwork.
Bradshaw, Jeffrey M,
Feltovich, Paul J,
Johnson, Matt,
Bunch, Larry,
Breedy, Maggie R,
Eskridge, Thomas C,
Jung, Hyuckchul,
Lott, James,
and Uszok, Andrzej
In CTS
2008
-
-
KEA: A Knowledge Exchange Architecture Based on Web Services, Concept Maps, and CmapTools
Cañas, Alberto J,
Hill, Greg,
Bunch, Larry,
Carff, Roger,
Eskridge, Thomas,
and Pérez, Carlos
2006
-
Ranking concept map retrieval in the CmapTools network
Eskridge, Thomas C,
Granados, Adrián,
and Cañas, Alberto J
In Concept maps: theory, methodology, technology. Proceedings of the Second International Conference on Concept Mapping
2006
-
Concept Maps: Integrating Knowledge and Information Visualization
Cañas, Alberto J.,
Carff, Roger,
Hill, Greg,
Carvalho, Marco,
Arguedas, Marco,
Eskridge, Thomas C.,
Lott, James,
and Carvajal, Rodrigo
2005
[Abs]
[PDF]
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contrast, is a relatively new area of research that has received more attention recently due to the interest from the business community in Knowledge Management. In this paper we present the CmapTools software as an example of how concept maps, a knowledge visualization tool, can be combined with recent technology to provide integration between knowledge and information visualizations. We show how concept map-based knowledge models can be used to organize repositories of information in a way that makes them easily browsable, and how concept maps can improve searching algorithms for the Web. We also report on how information can be used to complement knowledge models and, based on the searching algorithms, improve the process of constructing concept maps.
-
User Interface For Automated Optical Inspection Systems
Eskridge, Thomas C,
Newberry, Jeff E,
Deyong, Mark R,
Dunn, Scott A,
and Huffstutter, Wesley K
2005
-
COE: Tools for Collaborative Ontology Development and Reuse
Hayes, Pat,
Eskridge, T. C.,
Reichherzer, T.,
Saavedra, R,
Mehrotra, M,
and Bobrovnikoff, D
2005
-
Concept Maps: Integrating Knowledge and Information Visualization
Cañas, A. J.,
Carff, R.,
Hill, G.,
Carvalho, M.,
Arguedas, M.,
Eskridge, T.C.,
Lott, J.,
and Carvajal, R
2005
[PDF]
-
Collaborative knowledge capture in ontologies
Hayes, Pat,
Eskridge, Thomas C,
Saavedra, Raul,
Reichherzer, Thomas,
Mehrotra, Mala,
and Bobrovnikoff, Dmitri
In Proceedings of the 3rd international conference on Knowledge capture
2005
[PDF]
-
COE: tools for collaborative ontology development and reuse
Hayes, Pat,
Eskridge, Thomas C,
Mehrotra, Mala,
Bobrovnikoff, Dmitri,
Reichherzer, Thomas,
and Saavedra, Raul
In Knowledge Capture Conference (K-CAP)
2005
-
Concept maps: Integrating knowledge and information visualization
Cañas, AJ,
Carff, R,
Hill, G Carvalho M,
Arguedas, M,
Eskridge, TC,
Lott, J,
and Carvajal, Rodrigo
Knowledge and Information Visualization: Searching for Synergies, S.-O. Tergan, and T. Keller, Editors.. Heidelberg/New York: Springer Lecture Notes in Computer Science
2005
-
System And Method For Dynamic Image Recognition
DeYong, Mark R,
Newberry, Jeff E,
Grace, John W,
and Eskridge, Thomas C
2004
-
System and method for dynamic image recognition
DeYong, Mark R,
Newberry, Jeff E,
Grace, John W,
and Eskridge, Thomas C
2004
[PDF]
-
"Googling" from a Concept Map: Towards Automatic Concept-Map-based Query Formation
Leake, David B.,
Maguitman, A.,
Reichherzer, T.,
Cañas, A. J.,
Carvalho, M.,
Arguedas, M.,
and Eskridge, T. C.
2004
[PDF]
-
A Knowledge Retention Pilot Study in the Nuclear Power Industry: Activities, Achievements, and Challenges.
Coffey, J.W.,
and Eskridge, T.C.
2004
-
A case study in knowledge elicitation for institutional memory persevation using concept maps
Coffey, John W,
Eskridge, Tom,
and Sanchez, Daniel P
In Concept maps: theory, methodology, technology: proceedings of the first International Conference on Concept Mapping
2004
[PDF]
-
Interface for non-pilot UAV control
Still, David L,
Eskridge, TC,
and Temme, LA
In Human factors of UAVs workshop, Mesa, AZ
2004
-
System and method for dynamic image recognition
DeYong, Mark R,
Newberry, Jeff E,
Grace, John W,
and Eskridge, Thomas C
2004
[PDF]
-
-
Temporal Signal Processing with High-Speed Hybrid Analog-Digital Neural Networks
DeYong, M. R.,
Eskridge, T. C.,
and Fields, C. A.
1992
-
Temporal signal processing with high-speed hybrid analog-digital neural networks
Deyong, Mark,
Eskridge, Thomas C.,
and Fields, Chris
1992
-
Temporal signal processing with high-speed hybrid analog-digital neural networks
Deyong, Mark,
Eskridge, Thomas C,
and Fields, Chris
1992
-
Complex and emergent behavior from neural network pulse stream filters
DeYong, M,
Eskridge, T,
and Palmer, A
In Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
1992
-
A coupled-grid neural network retina for real-time visual processing
De Yong, M,
Eskridge, T,
and Palmer, A
In Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
1992
-
Knowledge Representation and Control in "gm1", an Automated DNA Sequence Analysis System Based on the MGR Architecture
Fields, C. A.,
Pfeiffer, H. D.,
and Eskridge, T. C.
1991
-
ASTRA: A Computational Model of Continuous Analogical Reasoning
Eskridge, T. C.
1991
-
A Hybrid Connectionist Model of Human Analogical Reasoning
Eskridge, T. C.
1991
-
Proceedings of the Second Workshop on Weather and Terrain for the Intelligence Preparation of the Battlefield (IPB)
Eskridge, T. C.
1991
-
Knowledge representation and control in “gm1”, an automated DNA sequence analysis system based on the MGR architecture
Fields, Chris A.,
Pfeiffer, HD,
and Eskridge, Thomas C
International journal of man-machine studies
1991
-
Continuous analogical learning
Eskridge, Thomas C
1991
-
WADIF, an Expert System for Fusing Weather and Doctrinal Information Used in the Intelligence Preparation of the Battlefield
Eskridge, Thomas C
1991
-
Expert system for fusing weather and doctrinal information used in the intelligence preparation of the battlefield
McWilliams, Gary,
Kirby, Steve,
Eskridge, Thomas C,
and Newberry, Jeff E
In Orlando’91, Orlando, FL
1991
-
Integrated reasoning through associative retrieval
Eskridge, Thomas C
In INTERNATIONAL SYMPOSIUM ON METHODOLOGIES FOR INTELLIGENT SYSTEMS (POSTER SESSION)
1991
-
Complex and emergent behavior from neural network pulse-stream filters
DeYong, M. R.,
Eskridge, T. C.,
and Palmer, A
1989
-
Principles of continuous analogical reasoning
Eskridge, T. C.
1989
-
Principles of continuous analogical reasoning
Eskridge, Thomas
Journal of Experimental & Theoretical Artificial Intelligence
1989
-
Army requirements for an intelligent interface to real-time meteorological databases
McWilliams, G,
Kirby, C,
Fields, C,
Cavendish, C,
Coombs, M,
Eskridge, T,
Hartley, R,
Pfeiffer, H,
and Soderlund, C
In Pre-prints of the Fifth International Conference on Interactive and Information Processing Systems for Meteorology, Oceanography and Hydrology
1989
-
Experimental analysis of dynamic control strategies for the MGR architecture: Simulation environment and initial results
Fields, CA,
Eskridge, TC,
Hartley, RT,
and Coombs, MJ
In Proceedings of the Seventh Conference (AISB89) on Artificial Intelligence and Simulation of Behaviour
1989