Sotabase

Career

· Asst. Professor, Chalmers University

Publications (33)

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems
International Conference on Computer Aided Verification · 2019
61
cited
A Stream-Based Specification Language for Network Monitoring
Runtime Verification · 2016
60
cited
Real-time Stream-based Monitoring
arXiv.org · 2017
45
cited
Model Checking Quantitative Hyperproperties
International Conference on Computer Aided Verification · 2018
44
cited
Probabilistic Hyperproperties of Markov Decision Processes
Automated Technology for Verification and Analysis · 2020
33
cited
Canonical Representations of k-Safety Hyperproperties
IEEE Computer Security Foundations Symposium · 2019
16
cited
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Runtime Verification · 2020
16
cited
Learning Monitor Ensembles for Operational Design Domains
Runtime Verification · 2023
14
cited
Learning Monitorable Operational Design Domains for Assured Autonomy
Automated Technology for Verification and Analysis · 2022
13
cited
Counting Models of Linear-Time Temporal Logic
Language and Automata Theory and Applications · 2014
11
cited
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance
Runtime Verification · 2021
11
cited
Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Formal Methods in Computer-Aided Design · 2021
8
cited
Explainable Reactive Synthesis
Automated Technology for Verification and Analysis · 2020
7
cited
Stream-Based Monitors for Real-Time Properties
Runtime Verification · 2019
7
cited
The complexity of counting models of linear-time temporal logic
Acta Informatica · 2014
6
cited
Runtime Monitoring for Markov Decision Processes
International Conference on Computer Aided Verification · 2021
5
cited
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
Runtime Verification · 2023
4
cited
Runtime Monitors for Operational Design Domains of Black-Box ML Models
2022
4
cited
Synthesizing Approximate Implementations for Unrealizable Specifications
International Conference on Computer Aided Verification · 2019
4
cited
Synthesizing Skeletons for Reactive Systems
Automated Technology for Verification and Analysis · 2016
3
cited
Sotabase
Hazem Torfah | Researcher Profile | Sotabase | Sotabase