M. Moulin

Most-cited papers

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

   N. Trcka, M. Moulin, S. Bopardikar, A. Speranzon

   2014International Conference on High Confidence Networked Systems12 citations Open access

   Semantic Scholar

   Save

2. Formal Verification of Maneuvering Target Tracking

   M. Moulin, L. Gluhovsky, E. Bendersky

   200311 citations

   Semantic Scholar

   Save

3. PSL: Beyond Hardware Verification

   Ziv Glazberg, M. Moulin, Avigail Orni, Sitvanit Ruah +1 more

   20077 citations

   Semantic Scholar

   Save

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

   T. Dang, A. Mady, M. Boubekeur, Rajesh Kumar +1 more

   2016CSDM3 citations

   Semantic Scholar

   Save

5. Formal verification analysis of load-voltage power dynamics and control

   M. Moulin, L. Gluhovsky, D. Geist

   2004Proceedings World Automation Congress, 2004.3 citations

   Semantic Scholar

   Save

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

   M. Moulin, Emeka Eyisi, D. Shila, Qin-Qing Zhang

   2018IEEE Military Communications Conference2 citations

   Semantic Scholar

   Save

7. Side-Channel Attack Counter-measure Analysis for Control and Diagnostics Applications

   Haifeng Zhu, M. Moulin, V. Lakamraju

   2020IEEE Systems Conference1 citations

   Semantic Scholar

   Save

8. System Analysis and Verification: A Comprehensive Approach and Case Study

   Haifeng Zhu, M. Moulin, Brian T. Murray, V. A. Fonoberov +1 more

   20181 citations

   Semantic Scholar

   Save

9. Formal Verification Analysis of Load-Voltage Power Control

   M. Moulin, L. Gluhovsky, D. Geist

   2006Intelligent Automation and Soft Computing1 citations

   Semantic Scholar

   Save

10. Artificial Intelligence on the Edge for Enabling Reliable Affordable Mass

    Kin Gwn Lore, James Wilson, Subramanya Nageshrao, Gerald Wang +4 more

    2025Eras0 citations

    Semantic Scholar

    Save

11. WISP: Watching grid Infrastructure Stealthily through Proxies (Final Report)

    Lingyu Ren, A. Osman, F. Lin, Nai-Yuan Chiang +14 more

    20220 citations Open access

    Semantic Scholar

    Save

12. A Formal Verification Analysis of a Bayesian Inference-Based Sensors and Actuators Control System

    M. Moulin

    2006Annual Conference of the IEEE Industrial Electronics Society0 citations

    Semantic Scholar

    Save

13. Specific Targeted Research Project Thematic Priority : Information Society Technologies Property Simulation ( Deliverable D 1 . 2 / 1 )

    Ingo Pill, Barbara Jobstmann, R. Bloem, R. Frank +4 more

    20050 citations

    Semantic Scholar

    Save