James Bret Michael

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 40

Top Venues

Publications

Matthew Litton, Doron Drusinsky, James Bret Michael
Continuous Assurance of Autonomous Vehicle Behavior Through Machine Learned Correctness Properties. CoRR (2024)
Michael T. Swearingen, James Bret Michael, Joseph Weiss, Robert Radvanovsky
Resilient Without Zero Trust. Computer 57 (1) (2024)
Joseph Weiss, James Bret Michael, Michael T. Swearingen
There Is No Chilling When Your Control System Cybersecurity Is Unfulfilling. Computer 56 (12) (2023)
Doron Drusinsky, Matthew Litton, James Bret Michael
Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems. Computer 56 (7) (2023)
Qinghua Lu, Liming Zhu, Jon Whittle, James Bret Michael
Software Engineering for Responsible AI. Computer 56 (4) (2023)
Thomas C. Wingfield, James Bret Michael
Waterfall: Cascading Effects of a Strategic Cyber Campaign. Computer 56 (4) (2023)
Joseph Weiss, Michael Hood, Nadine Miller, Chris Potorieko, James Bret Michael
Using Machine Learning to Work Around the Operational and Cybersecurity Limitations of Legacy Process Sensors. Computer 55 (11) (2022)
James Bret Michael
Understanding Conversational Artificial Intelligence. Computer 55 (9) (2022)
Doron Drusinsky, Matthew Litton, James Bret Michael
Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties. Computer 55 (2) (2022)
Doron Drusinsky, James Bret Michael, Matthew Litton
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. ISSRE Workshops (2022)
James Bret Michael, George W. Dinolt, Frederick B. Cohen, Duminda Wijesekera
Can You Trust Zero Trust? Computer 55 (8) (2022)
James Bret Michael
Placing Trust in Automated Software Development Processes. Computer 55 (7) (2022)
James Bret Michael, Marko Orescanin
Developing and Deploying Artificial Intelligence Systems. Computer 55 (6) (2022)
Joseph Weiss, Rob Stephens, Nadine Miller, James Bret Michael
Control System Cyber Incidents Are Real - and Current Prevention and Mitigation Strategies Are Not Working. Computer 55 (1) (2022)
James Bret Michael
Taking a Measured Approach to Investing in Information Infrastructure for Attaining Leading-Edge Trustworthy Artificial Intelligence. IEEE Secur. Priv. 20 (5) (2022)
James Bret Michael, Doron Drusinsky, Duminda Wijesekera
Formal Verification of Cyberphysical Systems. Computer 54 (9) (2021)
James Bret Michael, Doron Drusinsky, Duminda Wijesekera
Formal Methods in Cyberphysical Systems. Computer 54 (9) (2021)
Richard D. Riehle, James Bret Michael
Improving the Trustworthiness of Software Through Rigorous Data Type Design. Computer 54 (1) (2021)
Thomas Carter, Joshua A. Kroll, James Bret Michael
Lessons Learned From Applying the NIST Privacy Framework. IT Prof. 23 (4) (2021)
James Bret Michael
Trusting Human-Machine Teaming. Computer 54 (11) (2021)
James Bret Michael
Security and Privacy for Edge Artificial Intelligence. IEEE Secur. Priv. 19 (4) (2021)
Matthew Lanoue, Chad A. Bollmann, James Bret Michael, John D. Roth, Duminda Wijesekera
An Attack Vector Taxonomy for Mobile Telephony Security Vulnerabilities. Computer 54 (4) (2021)
James Bret Michael, Thomas C. Wingfield
Defensive AI: The Future Is Yesterday. Computer 54 (9) (2021)
John Viega, James Bret Michael
Struggling With Supply-Chain Security. Computer 54 (7) (2021)
Joanna F. DeFranco, Christopher S. Eagle, James Bret Michael, John Viega, Jeffrey M. Voas
Hackathons 101. Computer 54 (5) (2021)
Matthew Lanoue, James Bret Michael, Chad A. Bollmann
Spoofed Networks: Exploitation of GNSS Security Vulnerability in 4G and 5G Mobile Networks. SPECTS (2021)
Doron Drusinsky, James Bret Michael
Multiagent Pathfinding Under Rigid, Optimization, and Uncertainty Constraints. Computer 54 (7) (2021)
Joshua A. Kroll, James Bret Michael, David B. Thaw
Enhancing Cybersecurity via Artificial Intelligence: Risks, Rewards, and Frameworks. Computer 54 (6) (2021)
Sean Peisert, Bruce Schneier, Hamed Okhravi, Fabio Massacci, Terry Benzel, Carl E. Landwehr, Mohammad Mannan, Jelena Mirkovic, Atul Prakash, James Bret Michael
Perspectives on the SolarWinds Incident. IEEE Secur. Priv. 19 (2) (2021)
James Bret Michael, D. Richard Kuhn, Jeffrey M. Voas
Security or Privacy: Can You Have Both? Computer 53 (9) (2020)
Nathan Thiem, Marko Orescanin, James Bret Michael
Reducing Artifacts in GAN Audio Synthesis. ICMLA (2020)
James Bret Michael, Jeffrey M. Voas
Algorithms, Algorithms, Algorithms. Computer 53 (11) (2020)
James Bret Michael, D. Richard Kuhn, Jeffrey M. Voas
Cyberthreats in 2025. Computer 53 (6) (2020)
James Bret Michael
Practical Aspects of Employing Antireverse Engineering. IT Prof. 22 (3) (2020)
Doron Drusinsky, James Bret Michael
Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind Signatures. Computer 53 (4) (2020)
James Bret Michael, George W. Dinolt, Doron Drusinsky
Open Questions in Formal Methods. Computer 53 (5) (2020)
Loren E. Peitso, James Bret Michael
The Promise of Interactive Shared Augmented Reality. Computer 53 (1) (2020)
James Bret Michael
Trustworthiness of Autonomous Machines in Armed Conflict. IEEE Secur. Priv. 17 (6) (2019)
James Bret Michael
Assessing the Trustworthiness of Electronic Systems. Computer 52 (11) (2019)
John D. Roth, Corey E. Lutton, James Bret Michael
Security Through Simplicity: A Case Study in Logical Segmentation Inference. Computer 52 (7) (2019)
James Bret Michael
Trusted Computing: An Elusive Goal. Computer 48 (3) (2015)
Michael A. Schumann, Doron Drusinsky, James Bret Michael, Duminda Wijesekera
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes. IEEE Trans. Software Eng. 40 (2) (2014)
James Bret Michael, Phillip A. Laplante, Jeffery E. Payne, Paul E. Black, Jeffrey M. Voas
Does Security Trump Reliability? Computer 46 (11) (2013)
James Bret Michael
Empowering Users through Secure On-Demand Data Provisioning. Computer 46 (6) (2013)
Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE Syst. J. 7 (4) (2013)
William H. Boothby, Wolff Heintschel von Heinegg, James Bret Michael, Michael N. Schmitt, Thomas C. Wingfield
When Is a Cyberattack a Use of Force or an Armed Attack? Computer 45 (8) (2012)
Anthony Patrick Melaragno, Damindra Bandara, Duminda Wijesekera, James Bret Michael
Securing the ZigBee Protocol in the Smart Grid. Computer 45 (4) (2012)
Arnold Brown, Benjamin Apple, James Bret Michael, Michael A. Schumann
Atomic-Level Security for Web Applications in a Cloud Environment. Computer 45 (12) (2012)
Mohammad Ababneh, Duminda Wijesekera, James Bret Michael
A Policy-Based Dialogue System for Physical Access Control. STIDS (2012)
Jason S. Bolin, James Bret Michael, Man-tak Shing
Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. SERVICES (2011)
James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing
Verification and Validation for Trustworthy Software Systems. IEEE Softw. 28 (6) (2011)
Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren E. Peitso, Man-tak Shing
Cloud Computing for Large-Scale Weapon Systems. GrC (2010)
Thomas W. Otani, James Bret Michael, Man-tak Shing
Goal-driven software reuse in the IV&V of system of systems. SoSE (2010)
James Bret Michael, John F. Sarkesain, Thomas C. Wingfield, Georgios Dementis, Goncalo Nuno Baptista Sousa
Integrating Legal and Policy Factors in Cyberpreparedness. Computer 43 (4) (2010)
James Bret Michael, Eneken Tikk, Peter Wahlgren, Thomas C. Wingfield
From Chaos to Collective Defense. Computer 43 (8) (2010)
James Bret Michael, Man-tak Shing, Kristian John Cruickshank, Patrick J. Redmond
Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety. IEEE Syst. J. 4 (2) (2010)
Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Removing the Boundaries: Steps Toward a Cloud Nirvana. GrC (2010)
Stephen B. Driskell, Judy Murphy, James Bret Michael, Man-tak Shing
Independent validation of software safety requirements for systems of systems. SoSE (2010)
Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica
Cube-Type Algebraic Attacks on Wireless Encryption Protocols. Computer 42 (10) (2009)
K. J. Rothenhaus, James Bret Michael, Man-tak Shing
Architectural Patterns and Auto-Fusion Process for Automated Multisensor Fusion in SOA System-of-Systems. IEEE Syst. J. 3 (3) (2009)
Michael A. Schumann, James Bret Michael
Statechart based formal modeling of workflow processes. SoSE (2009)
Kristian John Cruickshank, James Bret Michael, Man-tak Shing
A Validation Metrics Framework for safety-critical software-intensive Systems. SoSE (2009)
Desmond J. Meacham, James Bret Michael, Man-tak Shing, Jeffrey M. Voas
Standards interoperability: Applying software safety assurance standards to the evolution of legacy software. SoSE (2009)
Kadir Alpaslan Demir, James Bret Michael, John S. Osmundson
Approaches for Measuring Software Project Management Effectiveness. Software Engineering Research and Practice (2009)
Thomas W. Otani, James Bret Michael, Man-tak Shing
Software reuse in the IV&V of system of systems. SoSE (2009)
James Bret Michael, Richard D. Riehle, Man-tak Shing
The verification and validation of software architecture for systems of systems. SoSE (2009)
Alexander J. Beecroft, James Bret Michael
Passive Fingerprinting of Network Reconnaissance Tools. Computer 42 (11) (2009)
Randall J. Arvay, Duminda Wijesekera, James Bret Michael
Using RuleML to specify cross-domain information flow control policies. SoSE (2009)
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Integrating statechart assertions into Java components using AspectJ. SoSE (2008)
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. SSIRI (2008)
Bradley Reed Warren, James Bret Michael, Man-tak Shing
A framework for software reuse in safety-critical system-of-systems. SoSE (2008)
Doron Drusinsky, James Bret Michael, Man-tak Shing
A framework for computer-aided validation. Innov. Syst. Softw. Eng. 4 (2) (2008)
Clifford C. Juan, James Bret Michael, Christopher S. Eagle
Vulnerability Analysis of HD Photo Image Viewer Applications. SSIRI (2008)
Doron Drusinsky, James Bret Michael, Man-tak Shing
A Visual Tradeoff Space for Formal Verification and Validation Techniques. IEEE Syst. J. 2 (4) (2008)
Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing
A design pattern for using non-developmental items in real-time Java. JTRES (2007)
Thaddeus Owens Walker III, Murali Tummala, James Bret Michael
Pulse transmission scheduling for a distributed system of cooperative radars. SoSE (2006)
Harsha Tummala, Mikhail Auguston, James Bret Michael, Man-tak Shing, David Little, Zachary Pace
Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. SoSE (2006)
Leisheng Peng, Duminda Wijesekera, Thomas C. Wingfield, James Bret Michael
An ontology-based distributed whiteboard to determine legal responses to online cyber attacks. Internet Res. 16 (5) (2006)
Leisheng Peng, Duminda Wijesekera, Thomas C. Wingfield, James Bret Michael
An Ontology-Based Distributed Whiteboard to Determine Legal Responses to Online Cyber Attacks. WOSIS (2006)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for automation of testing and assessment of system safety. Inf. Softw. Technol. 48 (10) (2006)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Test Automation and Safety Assessment in Rapid Systems Prototyping. IEEE International Workshop on Rapid System Prototyping (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen
Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. SMC (2005)
Leisheng Peng, Thomas C. Wingfield, Duminda Wijesekera, Emily Frye, Randall Jackson, James Bret Michael
Making Decisions about Legal Responses to Cyber Attacks. IFIP Int. Conf. Digital Forensics (2005)
Dale Scott Caffall, James Bret Michael
Architectural framework for a system-of-systems. SMC (2005)
Duminda Wijesekera, James Bret Michael, Anil Nerode
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy. POLICY (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for scenario generation and testing automation. A-MOST (2005)
James Bret Michael, Steven E. Roberts, Jeffrey M. Voas, Thomas C. Wingfield
The Role of Policy in Balancing Outsourcing and Homeland Security. IT Prof. 7 (4) (2005)
Naren Kodali, Duminda Wijesekera, James Bret Michael
SPUTERS: An Integrated Traffic Surveillance and Emergency Response Architecture. J. Intell. Transp. Syst. 9 (1) (2005)
Dale Scott Caffall, James Bret Michael
Formal methods in a system-of-systems development. SMC (2005)
Csilla Farkas, Thomas C. Wingfield, James Bret Michael, Duminda Wijesekera
THEMIS: Threat Evaluation Metamodel for Information Systems. ISI (2004)
James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. IEEE International Workshop on Rapid System Prototyping (2004)
James Bret Michael, Georgios Fragkos, Mikhail Auguston
An Experiment in Software Decoy Design. SEC (2003)
Donald P. Julian, Neil C. Rowe, James Bret Michael
Experiments with Deceptive Software Responses to Buffer-Based Attacks. IAW (2003)
John S. Osmundson, James Bret Michael, Martin J. Machniak, Mary A. Grossman
Quality management metrics for software development. Inf. Manag. 40 (8) (2003)
J. D. Judd, John C. McEachen, James Bret Michael, Daniel W. Ettlich
Network stream splitting for intrusion detection. ICON (2003)
James Bret Michael, Thomas C. Wingfield, Steven E. Roberts
Homeland Security's Cyber Component: A Survey of Legal Issues. COMPSAC (2003)
James Bret Michael, Thomas C. Wingfield
Lawful Cyber Decoy Policy. SEC (2003)
James Bret Michael, Thomas C. Wingfield, Duminda Wijesekera
Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System. COMPSAC (2003)
James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder
Metrics for Measuring the Effectiveness of Software-Testing Tools. ISSRE (2002)

James Bret Michael.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Bret Michael