Formal Verification and Implementation of Real-Time Applications

by Liviu Haţegan, Piroska Haller
Published 2009-12-01

Using Sensitivity Analysis and Cross-Association for the Design of Intrusion Detection Systems in Industrial Cyber-Physical Systems

by Piroska Haller, Bela Genge
Published 2017-01-01

Anomaly Detection in Aging Industrial Internet of Things

by Bela Genge, Piroska Haller, Calin Enachescu
Published 2019-01-01