Mark Moulin

According to our database, Mark Moulin authored at least 4 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic.

Mark Moulin, Emeka Eyisi, Devu Manikantan Shila, Qinqing Zhang

Proceedings of the 2018 IEEE Military Communications Conference, 2018

2016

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems.

Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin

Proceedings of the Complex Systems Design & Management, 2016

2014

A formal verification approach to revealing stealth attacks on networked control systems.

Nikola Trcka, Mark Moulin, Shaunak D. Bopardikar, Alberto Speranzon

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

2006

Formal Verification Analysis of Load-Voltage Power Control.

Mark Moulin, Leonid Gluhovsky, Daniel Geist

Intell. Autom. Soft Comput., 2006