Naval Postgraduate School

Monterey, CA, United States

Bibliometrics

Published Items by Year

Collaborations

Subject Areas

Institution’s Latest Publications

research-article
Defending Against Deep Learning-Based Traffic Fingerprinting Attacks With Adversarial Examples
- Blake Hayden
  Computer Science, Naval Postgraduate School, Monterey, United States
  ,
- Timothy Walsh
  Computer Science, Naval Postgraduate School, Monterey, United States
  ,
- Armon Barton
  Computer Science, Naval Postgraduate School, Monterey, United States
November 2024ACM Transactions on Privacy and Security, Volume 28, Issue 1https://doi.org/10.1145/3698591
research-article
Open Access
Towards the Formal Verification of SysML v2 Models
- Vince Molnár
  Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Budapest, Hungary
  ,
- Bence Graics
  Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Budapest, Hungary
  ,
- András Vörös
  Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Budapest, Hungary
  ,
- Stefano Tonetta
  Fondazione Bruno Kessler, Trento, Italy
  ,
- Luca Cristoforetti
  Fondazione Bruno Kessler, Trento, Italy
  ,
- Greg Kimberly
  The Boeing Company, Seattle, USA
  ,
- Pamela Dyer
  Naval Postgraduate School, Monterey, USA
  ,
- Kristin Giammarco
  Naval Postgraduate School, Monterey, USA
  ,
- Manfred Koethe
  88solutions Corporation, San Diego, USA
  ,
- John Hester
  Imandra, Austin, USA
  ,
- Jamie Smith
  Imandra, Austin, USA
  ,
- Christoph Grimm
  Kaiserslautern University of Technology, Kaiserslautern, Germany
September 2024MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systemshttps://doi.org/10.1145/3652620.3687820
opinion
free
An AI Learning Hierarchy
- Peter J. Denning
  Naval Postgraduate School, Monterey, CA, USA
  ,
- Ted G. Lewis
  Naval Postgraduate School, Monterey, NY, USA
Communications of the ACM, Volume 0, Issue 0https://doi.org/10.1145/3699525
research-article
Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems
- Matthew Litton
  Computer Science Department, Naval Postgraduate School, Monterey, CA, USA
  ,
- Doron Drusinsky
  Computer Science Department, Naval Postgraduate School, Monterey, CA, USA
  ,
- London Bridget
  Computer Science Department, Naval Postgraduate School, Monterey, CA, USA
  ,
- James Bret Michael
  Computer Science Department, Naval Postgraduate School, Monterey, CA, USA
  ,
- Doron Drusinsky
  Computer Science Department, Naval Postgraduate School, Monterey, CA, USA
October 2024Computer, Volume 57, Issue 10https://doi.org/10.1109/MC.2024.3433669
research-article
Why Probabilities Cannot Be Used in Cyber Risk Management
- Andreas Grünert
  National Cyber Security Centre, Bern, Switzerland
  ,
- James Bret Michael
  Department of Computer Science and Department of Electrical and Computer Engineering, Naval Postgraduate School, Monterey, CA, USA
  ,
- Rolf Oppliger
  National Cyber Security Centre, Bern, Switzerland
  ,
- Ruedi Rytz
  National Cyber Security Centre, Bern, Switzerland
  ,
- James Bret Michael
  Department of Computer Science and Department of Electrical and Computer Engineering, Naval Postgraduate School, Monterey, CA, USA
October 2024Computer, Volume 57, Issue 10https://doi.org/10.1109/MC.2024.3422728
Article
A Cognitive Slack Approach to Organizational Design
- David Mortimore
  https://ror.org/00zqysk61Naval Undersea Warfare Center Division, Keyport, 98345, Keyport, WA, USA
  https://ror.org/033yfkj90Naval Postgraduate School, 93943, Monterey, CA, USA
  ,
- Raymond R. Buettner, Jr.
  https://ror.org/033yfkj90Naval Postgraduate School, 93943, Monterey, CA, USA
  ,
- Kathryn J. Aten
  https://ror.org/033yfkj90Naval Postgraduate School, 93943, Monterey, CA, USA
September 2024Social, Cultural, and Behavioral Modelinghttps://doi.org/10.1007/978-3-031-72241-7_11

View Publication Archive

Naval Postgraduate School

Naval Postgraduate School

Award Winner

Most cited Author

Last year's Top subject

Last year's Top keyword

Most Collaborations

Published Items by Year

Collaborations

Subject Areas

Institution’s Latest Publications

Defending Against Deep Learning-Based Traffic Fingerprinting Attacks With Adversarial Examples

Towards the Formal Verification of SysML v2 Models

An AI Learning Hierarchy

Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems

Why Probabilities Cannot Be Used in Cyber Risk Management

A Cognitive Slack Approach to Organizational Design

Most Popular