Moradi, Fereidoun
11  results:
Search for persons X
?
1

CRYSTAL framework: Cybersecurity assurance for cyber-physic..:

Moradi, Fereidoun ; Abbaspour Asadollah, Sara ; Pourvatan, Bahman..
Journal of Logical and Algebraic Methods in Programming.  139 (2024)  - p. 100965 , 2024
 
?
 
?
3

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prev..:

, In: Model Checking Software; Lecture Notes in Computer Science,
 
?
4

An Actor-Based Approach for Security Analysis of Cyber-Phys..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
 
?
5

On-Off Attack on a Blockchain-based IoT System:

, In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
 
?
 
1-11