Faculty

Institution

Unit

Venue

Michael, James

Vice Provost for Academic Affairs

Naval Postgraduate School

Affiliations

Center For Homeland Defense And Security

Center for Cybersecurity and Cyber Operations

Graduate School Of Defense Management

National Security Affairs

School Of Mechanical And Aerospace Engineering

Michael, James is currently serving as a Center For Homeland Defense And Security Vice Provost for Academic Affairs at Naval Postgraduate School.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Michael, James

Naval Postgraduate School

Vice Provost for Academic Affairs

You can click a keyword to filter the displayed items

computer science systems engineering computer security information security verification system safety technology software engineering software analysis data security formal verification information technology formal methods system software communication security reliability engineering quality engineering cyber conflict model verification trust management architecture trusted system security studies automated reasoning software verification cyberattacks trustworthy computing systems modeling data privacy safety-critical systems cyberwarfare cyber security engineering computer engineering system science information forensics software system safety system specification computer-aided verification runtime verification anti-cyberterrorism ai safety design automation general systems technology law cloud continuum cyber crime dependable system architecture cloud computing architecture ai architecture software validation test automation formal technique safety engineering network security wireless security privacy issues intelligent automation design reuse system integration ai reliability workflow execution environment behavior models validation metrics framework space flight software software reuse cyberphysical systems capacity analysis solarwinds incident visual tradeoff space validation techniques open questions improved reliability interface hazard analysis systems software safety hazard analysis runtime execution monitoring formal validation artificial intelligence logic in computer science intelligent systems natural computing infrastructure engineering engineering management memetic computing cyber-physical systems computational intelligence informatics automated deduction automation intelligent computing industrial informatics machine intelligence artificial society programming languages cybernetics computing education knowledge representation and reasoning theory of computation design intelligent robotic systems computational science software design smart cities

Notable Scholarly Works

Notable Federal Grants

Collaborators

Firmware, Dependability, and Trust. Computer (2026)

technologyreliabilitytrusttrusted systemverificationreliability engineeringcomputer securitytrust management architecturetrustworthy computingsystem safety

Protecting AI From Training Data Contamination. Computer (2026)

machine intelligenceinformation forensicstraining data contaminationcomputer securityartificial intelligenceintelligent computingai safetydata securityinformation securitycomputational intelligencecomputer scienceadversarial machine learningtrustworthy ai

Bridging the Gap Between Engineering and Cybersecurity to Better Protect Critical Infrastructures. Computer (2025)

technologysystems engineeringcyberattackscyber-physical systemsgap between engineeringcybersecurity systemscomputer securitycyber security engineeringinfrastructure securityinformation securitycybersecurity educationcomputer sciencesystem safetyinfrastructure engineering

Discovering Decision Manifolds to Assure Trusted Autonomous Systems. IEEE Systems Journal (2025)

systems engineeringcyber-physical systemsverificationprobabilistic verificationcomputer securitytrusted systemdecision manifoldsmodel verificationdata securityinformation securityformal verificationcomputer sciencesystem safetyautomated reasoning

Generative AI Regulation is an Undecidable Problem. Computer (2025)

generative systemsartificial intelligencegenerative aigenerative ai regulationcomputational intelligenceartificial general intelligencecomputer science

On the Measurability and Testability of It Security. Computer (2025)

technologysoftware analysissecurity measurementcomputer security modelverificationcomputer securitysecurity evaluationdata securityinformation securitycomputer scienceit securitysystem safety

Physics-Based Cyberattacks Against Electric Power Grids and Alternating Current Equipment. Computer (2025)

electric power systemssystems engineeringsmart gridcyberattackscyber-physical systemsalternating current equipmentscada securitypower deliveryelectrical engineeringelectrical gridscontrol system securitycps securitysmart grid securityengineering

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems. Computer (2024)

ai reliabilitysystems engineeringverificationruntime verificationartificial intelligenceai safetymachine-learned correctness propertiesautomated reasoningformal verificationcomputer scienceadvance-warning oraclessystem safetyautomation

Reliable Autonomous Vehicles: How Do We Get There?. IEEE reliability magazine (2024)

intelligent vehiclessystems engineeringreliabilityadvanced driver-assistance systemnavigationreliable autonomous vehiclesroboticsintelligent robotic systemsautonomous navigationautonomous drivingcomputer scienceautonomous robotssystem safetyselfdriving car

Resilient Without Zero Trust. Computer (2024)

resilience analysistrustzero trusttrust management architecturesocial sciencescrisis managementresiliencedata securitytrust managementvulnerability

1
2
3
4
5
10
10 / page

Michael, James

Vice Provost for Academic Affairs

Naval Postgraduate School

Affiliations

Center For Homeland Defense And Security

Center for Cybersecurity and Cyber Operations

Graduate School Of Defense Management

National Security Affairs

School Of Mechanical And Aerospace Engineering

Michael, James is currently serving as a Center For Homeland Defense And Security Vice Provost for Academic Affairs at Naval Postgraduate School.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Michael, James

Naval Postgraduate School

Vice Provost for Academic Affairs

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Firmware, Dependability, and Trust. Computer (2026)

technologyreliabilitytrusttrusted systemverificationreliability engineeringcomputer securitytrust management architecturetrustworthy computingsystem safety

Protecting AI From Training Data Contamination. Computer (2026)

Bridging the Gap Between Engineering and Cybersecurity to Better Protect Critical Infrastructures. Computer (2025)

Discovering Decision Manifolds to Assure Trusted Autonomous Systems. IEEE Systems Journal (2025)

Generative AI Regulation is an Undecidable Problem. Computer (2025)

generative systemsartificial intelligencegenerative aigenerative ai regulationcomputational intelligenceartificial general intelligencecomputer science

On the Measurability and Testability of It Security. Computer (2025)

technologysoftware analysissecurity measurementcomputer security modelverificationcomputer securitysecurity evaluationdata securityinformation securitycomputer scienceit securitysystem safety

Physics-Based Cyberattacks Against Electric Power Grids and Alternating Current Equipment. Computer (2025)

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems. Computer (2024)

Reliable Autonomous Vehicles: How Do We Get There?. IEEE reliability magazine (2024)

Resilient Without Zero Trust. Computer (2024)

resilience analysistrustzero trusttrust management architecturesocial sciencescrisis managementresiliencedata securitytrust managementvulnerability

1
2
3
4
5
10
10 / page