11 citations · 12 across the 7 of their papers we have counts for
10 papers
Usage Control in Public Data Exchange Infrastructures for Future Digital Governance
Oleksandr Kosenkov, Fathiyeh Faghih, Eric Jackson +1
Public data exchange infrastructures, such as X-Road, are essential to data-intensive digital public services and the EU digital economy. Their next generation requires advanced da…
Effective Black Box Testing of Sentiment Analysis Classification Networks
Parsa Karbasizadeh, Fathiyeh Faghih, Pouria Golshanrad
Transformer-based neural networks have demonstrated remarkable performance in natural language processing tasks such as sentiment analysis. Nevertheless, the issue of ensuring the…
Effective Targeted Testing of Smart Contracts
Mahdi Fooladgar, Fathiyeh Faghih
Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have sinc…
DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction
Pouria Golshanrad, Fathiyeh Faghih
Recurrent neural networks (RNNs) have emerged as powerful tools for processing sequential data in various fields, including natural language processing and speech recognition. Howe…
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces
Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
Specification synthesis is the process of deriving a model from the input-output traces of a system. It is used extensively in test design, reverse engineering, and system identifi…
Self-Competitive Neural Networks
Iman Saberi, Fathiyeh Faghih
Deep Neural Networks (DNNs) have improved the accuracy of classification problems in lots of applications. One of the challenges in training a DNN is its need to be fed by an enric…
Testing Smart Contracts Gets Smarter
Erfan Andesta, Fathiyeh Faghih, Mahdi Fooladgar
Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockc…
Decentralized Runtime Verification for LTL Properties Using Global Clock
M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. Ther…
The Proceedings of First Work-in-Progress Session of The CSI International Symposium on Real-Time and Embedded Systems and Technologies
Ali Behnoudfar, Seyyed Hossein Hosseini Zahani, Mojtaba Hatami +4
The present volume contains the proceedings of RTEST WiP 2018, chaired by Marco Caccamo, University of Illinois at Urbana-Champaign. This event has been organized by the School of…
Automated Synthesis of Distributed Self-Stabilizing Protocols
Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil +1
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. U…