19 citations · 23 across the 6 of their papers we have counts for
7 papers
Sharing The Secret: Distributed Privacy-Preserving Monitoring
Mahyar Karimi, K. S. Thejaswini, Roderick Bloem +1
In traditional runtime verification, a system is typically observed by a monolithic monitor. Enforcing privacy in such settings is computationally expensive, as it necessitates hea…
Monitoring of Static Fairness
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner +1
Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive att…
Privacy-Preserving Runtime Verification
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini
Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure…
Employee Turnover Analysis Using Machine Learning Algorithms
Mahyar Karimi, Kamyar Seyedkazem Viliyani
Employee's knowledge is an organization asset. Turnover may impose apparent and hidden costs and irreparable damages. To overcome and mitigate this risk, employee's condition shoul…
Proposing a Dynamic Executive Microservices Architecture Model for AI Systems
Mahyar Karimi, Ahmad Abdollahzadeh Barfroush
Microservices architecture is one of the new architectural styles that has improved in recent years. It has become a popular architectural style among system architects and develop…
Monitoring Algorithmic Fairness
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner +1
Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive att…
Runtime Monitoring of Dynamic Fairness Properties
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner +1
A machine-learned system that is fair in static decision-making tasks may have biased societal impacts in the long-run. This may happen when the system interacts with humans and fe…