Login / Signup
Mark Moulin
Publication Activity (10 Years)
Years Active: 2006-2018
Publications (10 Years): 2
Top Topics
Cyber Physical Systems
Formal Verification
Attack Graphs
Automatic Construction
Top Venues
MILCOM
HiCoNS
CSDM
</>
Publications
</>
Mark Moulin
,
Emeka Eyisi
,
Devu Manikantan Shila
,
Qinqing Zhang
Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic.
MILCOM
(2018)
Thao Dang
,
Alie El-Din Mady
,
Menouer Boubekeur
,
Rajesh Kumar
,
Mark Moulin
Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems.
CSDM
(2016)
Nikola Trcka
,
Mark Moulin
,
Shaunak D. Bopardikar
,
Alberto Speranzon
A formal verification approach to revealing stealth attacks on networked control systems.
HiCoNS
(2014)
Mark Moulin
,
Leonid Gluhovsky
,
Daniel Geist
Formal Verification Analysis of Load-Voltage Power Control.
Intell. Autom. Soft Comput.
12 (1) (2006)