A Framework for Development Process Design and its use for Establishing Intellectual Property Governance : Introduction of the PROVE framework using a case study. - Avi Shaked; Yoram Reich (SoSE, 2018)

Designing development processes related to system of systems using a modeling framework. - Avi Shaked; Yoram Reich (Syst. Eng., 2019)

On the Road to Hospital Digital Transformation: Using Conceptual Modeling to Express Domain Ontology. - Avi Shaked (KMIS, 2020)

Model-based Threat and Risk Assessment for Systems Design. - Avi Shaked; Yoram Reich (ICISSP, 2021)

Improving Process Descriptions in Research by Model-Based Analysis. - Avi Shaked; Yoram Reich (IEEE Syst. J., 2021)

Modeling for Rapid Systems Prototyping: Hospital Situational Awareness System Design. - Avi Shaked (Syst., 2021)

Requirements for Model-Based Development Process Design and Compliance of Standardized Models. - Avi Shaked; Yoram Reich (Syst., 2021)

Model-Based Incident Response Playbooks. - Avi Shaked; Yulia Cherdantseva; Pete Burnap (ARES, 2022)

OnToRisk - a formal ontology approach to automate cyber security risk identification. - Avi Shaked; Oded Margalit (SoSE, 2022)

Sustainable Risk Identification Using Formal Ontologies. - Avi Shaked; Oded Margalit (Algorithms, 2022)

RadArnomaly: Protecting Radar Systems from Data Manipulation Attacks. - Shai Cohen; Efrat Levy; Avi Shaked; Tair Cohen; Yuval Elovici; Asaf Shabtai (Sensors, 2022)

PROVE Tool: A tool for designing and analyzing process descriptions. - Avi Shaked (Softw. Impacts, 2022)

A model-based methodology to support systems security design and assessment. - Avi Shaked (J. Ind. Inf. Integr., 2023)

Operations-informed incident response playbooks. - Avi Shaked; Yulia Cherdantseva; Pete Burnap; Peter Maynard 001 (Comput. Secur., 2023)

Utilizing PROVE Tool to Evaluate Ontologies. - Asiyah Lin; Avi Shaked (ER (Companion), 2024)

Modelling Tool Extension for Vulnerability Management. - Avi Shaked; Nan Messe; Tom Melham (MoDELS (Companion), 2024)

Facilitating the Integrative Use of Security Knowledge Bases within a Modelling Environment. - Avi Shaked (J. Cybersecur. Priv., 2024)

AADT: Asset-Driven Attack-Defense Tree. - Nan Messe; Avi Shaked (ENASE, 2025)

Contextualizing Formal Verification for Systems Security Engineering. - Avi Shaked; Tom Melham (IEEE Secur. Priv., 2025)

BridgeSec: Facilitating effective communication between security engineering and systems engineering. - Avi Shaked; Nan Messe (J. Inf. Secur. Appl., 2025)

Consistent and Compatible Modelling of Cyber Intrusions and Incident Response Demonstrated in the Context of Malware Attacks on Critical Infrastructure. - Peter Maynard 001; Yulia Cherdantseva; Avi Shaked; Pete Burnap; Arif Mehmood (CoRR, 2025)

Automated Reasoning for Vulnerability Management by Design. - Avi Shaked; Nan Messe (CoRR, 2025)

Reproducing a Security Risk Assessment Using Computer Aided Design. - Avi Shaked (CoRR, 2025)