Login / Signup
Ines Ben Zid
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 4
Top Topics
Formal Analysis
Areas Of Artificial Intelligence
Heuristic Search
Conceptual Graphs
Top Venues
GI-Jahrestagung (Workshops)
GI-Jahrestagung
ECAI
</>
Publications
</>
Yuan Gao
,
Ines Ben Zid
,
Xinxin Lou
,
Mithil Parekh
Operational Security Modeling and Analysis for IACS.
GI-Jahrestagung (Workshops)
(2019)
Ines Ben Zid
,
Mithil Parekh
,
Karl Waedt
,
Xinxin Lou
The application of Articial Intelligence for Cyber Security in Industry 4.0.
GI-Jahrestagung (Workshops)
(2019)
Xinxin Lou
,
Karl Waedt
,
Yuan Gao
,
Ines Ben Zid
,
Venesa Watson
Combining Artificial Intelligence planning advantages to assist preliminary formal analysis on Industrial Control System cybersecurity vulnerabilities.
ECAI
(2018)
Xinxin Lou
,
Ines Ben Zid
,
Mithil Parekh
,
Yuan Gao
Semi-Formal Representation and Evaluation of Security Properties.
GI-Jahrestagung
(2017)