M. Fareed Arif
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FMCAD | CRV: Automated Cyber-Resiliency Reasoning for System Design Models. | Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
| 2021 | NDSS | PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. | Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury |
| 2020 | FMCAD | SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. | M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli |
| 2016 | SAT | BEACON: An Efficient SAT-Based Tool for Debugging | M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva |
| 2015 | KI | Efficient Axiom Pinpointing with EL2MCS. | M. Fareed Arif, Carlos Menca, Joo Marques-Silva |
| 2015 | SAT | Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. | M. Fareed Arif, Carlos Menca, Joo Marques-Silva |