Avi Shaked

25 papers B 2C 1Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
AADT: Asset-Driven Attack-Defense Tree.
ENASE
Nan Messe, Avi Shaked
2025 J jnl
Automated Reasoning for Vulnerability Management by Design.
CoRR
Avi Shaked, Nan Messe
2025 J jnl
BridgeSec: Facilitating effective communication between security engineering and systems engineering.
J. Inf. Secur. Appl.
Avi Shaked, Nan Messe
2025 J jnl
Consistent and Compatible Modelling of Cyber Intrusions and Incident Response Demonstrated in the Context of Malware Attacks on Critical Infrastructure.
CoRR
Peter Maynard, Yulia Cherdantseva, Avi Shaked, Pete Burnap, Arif Mehmood
2025 J jnl
Contextualizing Formal Verification for Systems Security Engineering.
IEEE Secur. Priv.
Avi Shaked, Tom Melham
2025 J jnl
Metamodel Driven Information Systems as Vehicles for Ontology Discovery and Modelling.
Appl. Ontology
Avi Shaked
2025 J jnl
Reproducing a Security Risk Assessment Using Computer Aided Design.
CoRR
Avi Shaked
2024 J jnl
Facilitating the Integrative Use of Security Knowledge Bases within a Modelling Environment.
J. Cybersecur. Priv.
Avi Shaked
2024 — conf
Modelling Tool Extension for Vulnerability Management.
MoDELS (Companion)
Avi Shaked, Nan Messe, Tom Melham
2024 — conf
Utilizing PROVE Tool to Evaluate Ontologies.
ER (Companion)
Asiyah Lin, Avi Shaked
2023 J jnl
A model-based methodology to support systems security design and assessment.
J. Ind. Inf. Integr.
Avi Shaked
2023 J jnl
Operations-informed incident response playbooks.
Comput. Secur.
Avi Shaked, Yulia Cherdantseva, Pete Burnap, Peter Maynard
2022 B conf
Model-Based Incident Response Playbooks.
ARES
Avi Shaked, Yulia Cherdantseva, Pete Burnap
2022 — conf
OnToRisk - a formal ontology approach to automate cyber security risk identification.
SoSE
Avi Shaked, Oded Margalit
2022 J jnl
PROVE Tool: A tool for designing and analyzing process descriptions.
Softw. Impacts
Avi Shaked
2022 J jnl
RadArnomaly: Protecting Radar Systems from Data Manipulation Attacks.
Sensors
Shai Cohen, Efrat Levy, Avi Shaked, Tair Cohen, Yuval Elovici, Asaf Shabtai
2022 J jnl
Sustainable Risk Identification Using Formal Ontologies.
Algorithms
Avi Shaked, Oded Margalit
2021 J jnl
Improving Process Descriptions in Research by Model-Based Analysis.
IEEE Syst. J.
Avi Shaked, Yoram Reich
2021 C conf
Model-based Threat and Risk Assessment for Systems Design.
ICISSP
Avi Shaked, Yoram Reich
2021 J jnl
Modeling for Rapid Systems Prototyping: Hospital Situational Awareness System Design.
Syst.
Avi Shaked
2021 J jnl
RadArnomaly: Protecting Radar Systems from Data Manipulation Attacks.
CoRR
Shai Cohen, Efrat Levy, Avi Shaked, Tair Cohen, Yuval Elovici, Asaf Shabtai
2021 J jnl
Requirements for Model-Based Development Process Design and Compliance of Standardized Models.
Syst.
Avi Shaked, Yoram Reich
2020 — conf
On the Road to Hospital Digital Transformation: Using Conceptual Modeling to Express Domain Ontology.
KMIS
Avi Shaked
2019 J jnl
Designing development processes related to system of systems using a modeling framework.
Syst. Eng.
Avi Shaked, Yoram Reich
2018 — conf
A Framework for Development Process Design and its use for Establishing Intellectual Property Governance : Introduction of the PROVE framework using a case study.
SoSE
Avi Shaked, Yoram Reich