5
Publications
90
Citations
5
H-Index
2015
Active since
Affiliations
M. Fareed Arif is an author at University of Iowa specializing in software engineering, systems engineering, and information security.
Top concepts
EngineeringSoftware DesignSystems EngineeringInformation SecuritySoftware EngineeringSecurity ArchitectureSecuritySystem SecurityComputer ScienceSoftware Systems
Publications per year
2015–2021
5
5
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
Baoluo Meng, Daniel Larraz, Kit Siu et al. · Systems · 2021 · 25 citations · Full text
Open-source RANs in Practice: an Over-The-Air Deployment for 5G MEC
Juuso Haavisto, M. Fareed Arif, Lauri Lovén et al. · 2019 · 22 citations · Full text
Architectural and Behavioral Analysis for Cyber Security
Kit Siu, Abha Moitra, Meng Li et al. · 2019 · 19 citations
Security Modelling, Security Architecture, Threat (Computer) +15
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
M. Fareed Arif, Daniel Larraz, Mitziu Echeverria et al. · reposiTUm (TU Wien) · 2020 · 14 citations · Full text
Rows per page
1–5 of 5