Cody H. Fleming

CoRR, 2024

2022

Yoneda Hacking: The Algebra of Attacker Actions.

[BibT_eX]

[DOI]

Fabrizio Genovese

ACM Trans. Cyber Phys. Syst., 2022

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis.

[BibT_eX]

[DOI]

CoRR, 2022

A formal process of hierarchical functional requirements development for Set-Based Design.

[BibT_eX]

[DOI]

CoRR, 2022

A new safety-guided design methodology to complement model-based safety analysis for safety assurance.

[BibT_eX]

[DOI]

Minghui Sun

CoRR, 2022

2021

Categorical Semantics of Cyber-Physical Systems Theory.

[BibT_eX]

[DOI]

Christina Vasilakopoulou

ACM Trans. Cyber Phys. Syst., 2021

A Graduate Curriculum in Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Des. Test, 2021

Compositional Thinking in Cyber-Physical Systems Theory.

[BibT_eX]

[DOI]

Eswaran Subrahmanian

CoRR, 2021

Cyberphysical Security Through Resiliency: A Systems-Centric Approach.

[BibT_eX]

[DOI]

Computer, 2021

Compositional Thinking in Cyberphysical Systems Theory.

[BibT_eX]

[DOI]

Eswaran Subrahmanian

Computer, 2021

DMPC: A data-and model-driven approach to predictive control.

[BibT_eX]

[DOI]

Autom., 2021

Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction.

[BibT_eX]

[DOI]

Jasmine Sekhon

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Data-Driven Vulnerability Exploration for Design Phase System Analysis.

[BibT_eX]

[DOI]

Brandon J. Simon

Aidan G. Collins

Cody Harrison Fleming

Carl R. Elks

IEEE Syst. J., 2020

Compositional Cyber-Physical Systems Modeling.

[BibT_eX]

[DOI]

Christina Vasilakopoulou

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Cyber-Physical Security Through Resiliency: A Systems-centric Approach.

[BibT_eX]

[DOI]

CoRR, 2020

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers.

[BibT_eX]

[DOI]

CoRR, 2020

A Spatially and Temporally Attentive Joint Trajectory Prediction Framework for Modeling Vessel Intent.

[BibT_eX]

[DOI]

Jasmine Sekhon

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Fundamental Challenges of Cyber-Physical Systems Security Modeling.

[BibT_eX]

[DOI]

Garrett L. Ward

Christopher J. Deloglos

Carl R. Elks

Barry M. Horowitz

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

2019

A Preliminary Design-Phase Security Methodology for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Syst., 2019

Systems-theoretic security requirements modeling for cyber-physical systems.

[BibT_eX]

[DOI]

Syst. Eng., 2019

Research Advances with Systems Engineering in Context.

[BibT_eX]

[DOI]

Syst. Eng., 2019

Correct-by-construction: a contract-based semi-automated requirement decomposition process.

[BibT_eX]

[DOI]

CoRR, 2019

Characterizing Uncertainties of Wireless Channels in Connected Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Towards improved testing for deep learning.

[BibT_eX]

[DOI]

Jasmine Sekhon

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Active Learning to Improve Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Learning Model Predictive Control for Connected Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

A Human-Machine Methodology for Investigating Systems Thinking in a Complex Corpus.

[BibT_eX]

[DOI]

IEEE Syst. J., 2018

An Exact Geometry-Based Algorithm for Path Planning.

[BibT_eX]

[DOI]

Int. J. Appl. Math. Comput. Sci., 2018

Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

Selecting System Specific Cybersecurity Attack Patterns Using Topic Modeling.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference On Trust, 2018

A systems approach for eliciting mission-centric security requirements.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A model-based approach to security analysis for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

PAIM: Platoon-based Autonomous Intersection Management.

[BibT_eX]

[DOI]

Masoud Bashiri

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis.

[BibT_eX]

[DOI]

CoRR, 2017

Systems theory and a drive towards model-based safety analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

A platoon-based intersection management system for autonomous vehicles.

[BibT_eX]

[DOI]

Masoud Bashiri

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

2016

Early Concept Development and Safety Analysis of Future Transportation Systems.

[BibT_eX]

[DOI]

Nancy G. Leveson

IEEE Trans. Intell. Transp. Syst., 2016

A systems-theoretic approach to early concept development.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2014

Improving Hazard Analysis and Certification of Integrated Modular Avionics.

[BibT_eX]

[DOI]

Cody Harrison Fleming

Nancy G. Leveson

J. Aerosp. Inf. Syst., 2014

Model-based Concept Development and Safety Driven Design.

[BibT_eX]

[DOI]