James Bret Michael

119 papers A 1B 10C 7Misc 4Journal 69Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Firmware, Dependability, and Trust.
Computer
James Bret Michael
2026 J jnl
Protecting AI From Training Data Contamination.
Computer
Doron Drusinsky, James Bret Michael
2025 J jnl
Bridging the Gap Between Engineering and Cybersecurity to Better Protect Critical Infrastructures.
Computer
Joseph Weiss, James Bret Michael
2025 J jnl
Discovering Decision Manifolds to Assure Trusted Autonomous Systems.
IEEE Syst. J.
Matthew Litton, Doron Drusinsky, James Bret Michael
2025 J jnl
Generative AI Regulation Is an Undecidable Problem.
Computer
Doron Drusinsky, James Bret Michael
2025 J jnl
On the Measurability and Testability of IT Security.
Computer
Andreas Grünert, James Bret Michael, Rolf Oppliger, Ruedi Rytz
2025 J jnl
Physics-Based Cyberattacks Against Electric Power Grids and Alternating Current Equipment.
Computer
Joseph Weiss, James Bret Michael, Michael T. Swearingen
2024 J jnl
Discovering Decision Manifolds to Assure Trusted Autonomous Systems.
CoRR
Matthew Litton, Doron Drusinsky, James Bret Michael
2024 J jnl
Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems.
Computer
Matthew Litton, Doron Drusinsky, London Bridget, James Bret Michael
2024 J jnl
Resilient Without Zero Trust.
Computer
Michael T. Swearingen, James Bret Michael, Joseph Weiss, Robert Radvanovsky
2024 J jnl
Why Probabilities Cannot Be Used in Cyber Risk Management.
Computer
Andreas Grünert, James Bret Michael, Rolf Oppliger, Ruedi Rytz
2023 J jnl
Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems.
Computer
Doron Drusinsky, Matthew Litton, James Bret Michael
2023 J jnl
Software Engineering for Responsible AI.
Computer
Qinghua Lu, Liming Zhu, Jon Whittle, James Bret Michael
2023 J jnl
There Is No Chilling When Your Control System Cybersecurity Is Unfulfilling.
Computer
Joseph Weiss, James Bret Michael, Michael T. Swearingen
2023 J jnl
Waterfall: Cascading Effects of a Strategic Cyber Campaign.
Computer
Thomas C. Wingfield, James Bret Michael
2022 J jnl
Can You Trust Zero Trust?
Computer
James Bret Michael, George W. Dinolt, Frederick B. Cohen, Duminda Wijesekera
2022 J jnl
Developing and Deploying Artificial Intelligence Systems.
Computer
James Bret Michael, Marko Orescanin
2022 J jnl
Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties.
Computer
Doron Drusinsky, Matthew Litton, James Bret Michael
2022 — conf
Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems.
ISSRE Workshops
Doron Drusinsky, James Bret Michael, Matthew Litton
2022 J jnl
Placing Trust in Automated Software Development Processes.
Computer
James Bret Michael
2022 J jnl
Taking a Measured Approach to Investing in Information Infrastructure for Attaining Leading-Edge Trustworthy Artificial Intelligence.
IEEE Secur. Priv.
James Bret Michael
2022 J jnl
Understanding Conversational Artificial Intelligence.
Computer
James Bret Michael
2022 J jnl
Using Machine Learning to Work Around the Operational and Cybersecurity Limitations of Legacy Process Sensors.
Computer
Joseph Weiss, Michael Hood, Nadine Miller, Chris Potorieko, James Bret Michael
2021 J jnl
An Attack Vector Taxonomy for Mobile Telephony Security Vulnerabilities.
Computer
Matthew Lanoue, Chad A. Bollmann, James Bret Michael, John D. Roth, Duminda Wijesekera
2021 J jnl
Defensive AI: The Future Is Yesterday.
Computer
James Bret Michael, Thomas C. Wingfield
2021 J jnl
Enhancing Cybersecurity via Artificial Intelligence: Risks, Rewards, and Frameworks.
Computer
Joshua A. Kroll, James Bret Michael, David B. Thaw
2021 J jnl
Formal Methods in Cyberphysical Systems.
Computer
James Bret Michael, Doron Drusinsky, Duminda Wijesekera
2021 J jnl
Formal Verification of Cyberphysical Systems.
Computer
James Bret Michael, Doron Drusinsky, Duminda Wijesekera
2021 J jnl
Hackathons 101.
Computer
Joanna F. DeFranco, Christopher S. Eagle, James Bret Michael, John Viega, Jeffrey M. Voas
2021 J jnl
Improving the Trustworthiness of Software Through Rigorous Data Type Design.
Computer
Richard D. Riehle, James Bret Michael
2021 J jnl
Lessons Learned From Applying the NIST Privacy Framework.
IT Prof.
Thomas Carter, Joshua A. Kroll, James Bret Michael
2021 J jnl
Multiagent Pathfinding Under Rigid, Optimization, and Uncertainty Constraints.
Computer
Doron Drusinsky, James Bret Michael
2021 J jnl
Perspectives on the SolarWinds Incident.
IEEE Secur. Priv.
Sean Peisert, Bruce Schneier, Hamed Okhravi, Fabio Massacci, Terry Benzel, Carl E. Landwehr, Mohammad Mannan, Jelena Mirkovic, Atul Prakash, James Bret Michael
2021 J jnl
Security and Privacy for Edge Artificial Intelligence.
IEEE Secur. Priv.
James Bret Michael
2021 — conf
Spoofed Networks: Exploitation of GNSS Security Vulnerability in 4G and 5G Mobile Networks.
SPECTS
Matthew Lanoue, James Bret Michael, Chad A. Bollmann
2021 J jnl
Struggling With Supply-Chain Security.
Computer
John Viega, James Bret Michael
2021 J jnl
Trusting Human-Machine Teaming.
Computer
James Bret Michael
2020 J jnl
Algorithms, Algorithms, Algorithms.
Computer
James Bret Michael, Jeffrey M. Voas
2020 J jnl
Cyberthreats in 2025.
Computer
James Bret Michael, D. Richard Kuhn, Jeffrey M. Voas
2020 J jnl
Obtaining Trust in Executable Derivatives Using Crowdsourced Critiques With Blind Signatures.
Computer
Doron Drusinsky, James Bret Michael
2020 J jnl
Open Questions in Formal Methods.
Computer
James Bret Michael, George W. Dinolt, Doron Drusinsky
2020 J jnl
Practical Aspects of Employing Antireverse Engineering.
IT Prof.
James Bret Michael
2020 C conf
Reducing Artifacts in GAN Audio Synthesis.
ICMLA
Nathan Thiem, Marko Orescanin, James Bret Michael
2020 J jnl
Security or Privacy: Can You Have Both?
Computer
James Bret Michael, D. Richard Kuhn, Jeffrey M. Voas
2020 J jnl
The Promise of Interactive Shared Augmented Reality.
Computer
Loren E. Peitso, James Bret Michael
2019 J jnl
Assessing the Trustworthiness of Electronic Systems.
Computer
James Bret Michael
2019 J jnl
Security Through Simplicity: A Case Study in Logical Segmentation Inference.
Computer
John D. Roth, Corey E. Lutton, James Bret Michael
2019 J jnl
Trustworthiness of Autonomous Machines in Armed Conflict.
IEEE Secur. Priv.
James Bret Michael
2015 J jnl
Trusted Computing: An Elusive Goal.
Computer
James Bret Michael
2014 J jnl
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes.
IEEE Trans. Software Eng.
Michael A. Schumann, Doron Drusinsky, James Bret Michael, Duminda Wijesekera
2013 J jnl
Does Security Trump Reliability?
Computer
James Bret Michael, Phillip A. Laplante, Jeffery E. Payne, Paul E. Black, Jeffrey M. Voas
2013 J jnl
Empowering Users through Secure On-Demand Data Provisioning.
Computer
James Bret Michael
2013 J jnl
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software.
IEEE Syst. J.
Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing
2012 — conf
A Policy-Based Dialogue System for Physical Access Control.
STIDS
Mohammad Ababneh, Duminda Wijesekera, James Bret Michael
2012 J jnl
Atomic-Level Security for Web Applications in a Cloud Environment.
Computer
Arnold Brown, Benjamin Apple, James Bret Michael, Michael A. Schumann
2012 J jnl
Securing the ZigBee Protocol in the Smart Grid.
Computer
Anthony Patrick Melaragno, Damindra Bandara, Duminda Wijesekera, James Bret Michael
2012 J jnl
When Is a Cyberattack a Use of Force or an Armed Attack?
Computer
William H. Boothby, Wolff Heintschel von Heinegg, James Bret Michael, Michael N. Schmitt, Thomas C. Wingfield
2011 B conf
Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes.
SERVICES
Jason S. Bolin, James Bret Michael, Man-tak Shing
2011 J jnl
Verification and Validation for Trustworthy Software Systems.
IEEE Softw.
James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing
2010 Misc conf
Cloud Computing for Large-Scale Weapon Systems.
GrC
Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren E. Peitso, Man-tak Shing
2010 J jnl
From Chaos to Collective Defense.
Computer
James Bret Michael, Eneken Tikk, Peter Wahlgren, Thomas C. Wingfield
2010 — conf
Goal-driven software reuse in the IV&V of system of systems.
SoSE
Thomas W. Otani, James Bret Michael, Man-tak Shing
2010 J jnl
Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety.
IEEE Syst. J.
James Bret Michael, Man-tak Shing, Kristian John Cruickshank, Patrick J. Redmond
2010 — conf
Independent validation of software safety requirements for systems of systems.
SoSE
Stephen B. Driskell, Judy Murphy, James Bret Michael, Man-tak Shing
2010 J jnl
Integrating Legal and Policy Factors in Cyberpreparedness.
Computer
James Bret Michael, John F. Sarkesain, Thomas C. Wingfield, Georgios Dementis, Goncalo Nuno Baptista Sousa
2010 Misc conf
Removing the Boundaries: Steps Toward a Cloud Nirvana.
GrC
Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
2009 — conf
A Validation Metrics Framework for safety-critical software-intensive Systems.
SoSE
Kristian John Cruickshank, James Bret Michael, Man-tak Shing
2009 — conf
Approaches for Measuring Software Project Management Effectiveness.
Software Engineering Research and Practice
Kadir Alpaslan Demir, James Bret Michael, John S. Osmundson
2009 J jnl
Architectural Patterns and Auto-Fusion Process for Automated Multisensor Fusion in SOA System-of-Systems.
IEEE Syst. J.
K. J. Rothenhaus, James Bret Michael, Man-tak Shing
2009 J jnl
Cube-Type Algebraic Attacks on Wireless Encryption Protocols.
Computer
Nikolaos Petrakos, George W. Dinolt, James Bret Michael, Pantelimon Stanica
2009 J jnl
Passive Fingerprinting of Network Reconnaissance Tools.
Computer
Alexander J. Beecroft, James Bret Michael
2009 — conf
Software reuse in the IV&V of system of systems.
SoSE
Thomas W. Otani, James Bret Michael, Man-tak Shing
2009 — conf
Standards interoperability: Applying software safety assurance standards to the evolution of legacy software.
SoSE
Desmond J. Meacham, James Bret Michael, Man-tak Shing, Jeffrey M. Voas
2009 — conf
Statechart based formal modeling of workflow processes.
SoSE
Michael A. Schumann, James Bret Michael
2009 — conf
The verification and validation of software architecture for systems of systems.
SoSE
James Bret Michael, Richard D. Riehle, Man-tak Shing
2009 — conf
Using RuleML to specify cross-domain information flow control policies.
SoSE
Randall J. Arvay, Duminda Wijesekera, James Bret Michael
2008 J jnl
A Visual Tradeoff Space for Formal Verification and Validation Techniques.
IEEE Syst. J.
Doron Drusinsky, James Bret Michael, Man-tak Shing
2008 J jnl
A framework for computer-aided validation.
Innov. Syst. Softw. Eng.
Doron Drusinsky, James Bret Michael, Man-tak Shing
2008 — conf
A framework for software reuse in safety-critical system-of-systems.
SoSE
Bradley Warren, James Bret Michael, Man-tak Shing
2008 — conf
Integrating statechart assertions into Java components using AspectJ.
SoSE
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
2008 — conf
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.
SSIRI
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
2008 — conf
Vulnerability Analysis of HD Photo Image Viewer Applications.
SSIRI
Clifford C. Juan, James Bret Michael, Christopher S. Eagle
2007 — conf
A design pattern for using non-developmental items in real-time Java.
JTRES
Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing
2006 — conf
An Ontology-Based Distributed Whiteboard to Determine Legal Responses to Online Cyber Attacks.
WOSIS
Leisheng Peng, Duminda Wijesekera, Thomas C. Wingfield, James Bret Michael
2006 J jnl
An ontology-based distributed whiteboard to determine legal responses to online cyber attacks.
Internet Res.
Leisheng Peng, Duminda Wijesekera, Thomas C. Wingfield, James Bret Michael
2006 J jnl
Environment behavior models for automation of testing and assessment of system safety.
Inf. Softw. Technol.
Mikhail Auguston, James Bret Michael, Man-tak Shing
2006 — conf
Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems.
SoSE
Harsha Tummala, Mikhail Auguston, James Bret Michael, Man-tak Shing, David Little, Zachary Pace
2006 — conf
Pulse transmission scheduling for a distributed system of cooperative radars.
SoSE
Thaddeus Owens Walker III, Murali Tummala, James Bret Michael
2005 — conf
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy.
POLICY
Duminda Wijesekera, James Bret Michael, Anil Nerode
2005 B conf
Architectural framework for a system-of-systems.
SMC
Dale Scott Caffall, James Bret Michael
2005 — conf
Environment behavior models for scenario generation and testing automation.
A-MOST
Mikhail Auguston, James Bret Michael, Man-tak Shing
2005 J jnl
Environment behavior models for scenario generation and testing automation.
ACM SIGSOFT Softw. Eng. Notes
Mikhail Auguston, James Bret Michael, Man-tak Shing
2005 B conf
Formal methods in a system-of-systems development.
SMC
Dale Scott Caffall, James Bret Michael
2005 — conf
Making Decisions about Legal Responses to Cyber Attacks.
IFIP Int. Conf. Digital Forensics
Leisheng Peng, Thomas C. Wingfield, Duminda Wijesekera, Emily Frye, Randall Jackson, James Bret Michael
2005 J jnl
SPUTERS: An Integrated Traffic Surveillance and Emergency Response Architecture.
J. Intell. Transp. Syst.
Naren Kodali, Duminda Wijesekera, James Bret Michael
2005 C conf
Test Automation and Safety Assessment in Rapid Systems Prototyping.
IEEE International Workshop on Rapid System Prototyping
Mikhail Auguston, James Bret Michael, Man-tak Shing
2005 J jnl
The Role of Policy in Balancing Outsourcing and Homeland Security.
IT Prof.
James Bret Michael, Steven E. Roberts, Jeffrey M. Voas, Thomas C. Wingfield
2005 B conf
Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems.
SMC
Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen
2004 C conf
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++.
IEEE International Workshop on Rapid System Prototyping
James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt
2004 C conf
THEMIS: Threat Evaluation Metamodel for Information Systems.
ISI
Csilla Farkas, Thomas C. Wingfield, James Bret Michael, Duminda Wijesekera
2003 Misc conf
An Experiment in Software Decoy Design.
SEC
James Bret Michael, Georgios Fragkos, Mikhail Auguston
2003 — conf
Experiments with Deceptive Software Responses to Buffer-Based Attacks.
IAW
Donald P. Julian, Neil C. Rowe, James Bret Michael
2003 B conf
Homeland Security's Cyber Component: A Survey of Legal Issues.
COMPSAC
James Bret Michael, Thomas C. Wingfield, Steven E. Roberts
2003 Misc conf
Lawful Cyber Decoy Policy.
SEC
James Bret Michael, Thomas C. Wingfield
2003 B conf
Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System.
COMPSAC
James Bret Michael, Thomas C. Wingfield, Duminda Wijesekera
2003 — conf
Network stream splitting for intrusion detection.
ICON
J. D. Judd, John C. McEachen, James Bret Michael, Daniel W. Ettlich
2003 J jnl
Quality management metrics for software development.
Inf. Manag.
John S. Osmundson, James Bret Michael, Martin J. Machniak, Mary A. Grossman
2002 — conf
A New Paradigm for Requirements Specification and Analysis of System-of-Systems.
RISSEF
Dale Scott Caffall, James Bret Michael
2002 A conf
Metrics for Measuring the Effectiveness of Software-Testing Tools.
ISSRE
James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder
2002 B conf
On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace.
COMPSAC
James Bret Michael
2002 — conf
Security of runtime extensible virtual environments.
CVE
Ernesto J. Sallés, James Bret Michael, Michael V. Capps, Don McGregor, Andrzej Kapolka
2001 — conf
Natural-Language Processing Support for Developing Policy-Governed Software Systems.
TOOLS (39)
James Bret Michael, Vanessa L. Ong, Neil C. Rowe
2000 B conf
Trust Management in Distributed Databases.
DBSec
James Bret Michael, Leonard T. Gaines
1999 C conf
Secure group management in large distributed systems: what is a group and what does it do?
NSPW
John McHugh, James Bret Michael
1998 J jnl
Capacity Analysis of Traffic Flow Over a Single-Lane Automated Highway System.
J. Intell. Transp. Syst.
James Bret Michael, Datta N. Godbole, John Lygeros, Raja Sengupta
1993 C conf
Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy.
NSPW
James Bret Michael, Edgar H. Sibley, David C. Littman
1993 C ed.
Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA
NSPW
James Bret Michael, Victoria Ashby, Catherine Meadows
1992 B conf
On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation.
DBSec
James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li
1991 B conf
Use of an Experimental Policy Workbench: Description and Preliminary Results.
DBSec
Edgar H. Sibley, James Bret Michael, Richard L. Wexelblat