Hazem Torfah
Title
Cited by
Cited by
Year
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
462016
StreamLAB: stream-based monitoring of cyber-physical systems
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ...
International Conference on Computer Aided Verification, 421-431, 2019
292019
Real-time stream-based monitoring
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arXiv:1711.03829, 2017
25*2017
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
242018
FPGA stream-monitoring of real-time properties
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019
162019
The complexity of counting models of linear-time temporal logic
H Torfah, M Zimmermann
IARCS Annual Conference on Foundations of Software Technology and …, 2014
12*2014
Probabilistic Hyperproperties of Markov Decision Processes
R Dimitrova, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and Analysis, 2020
92020
The complexity of counting models of linear-time temporal logic
H Torfah, M Zimmermann
Acta Informatica 55 (3), 191-212, 2018
92018
Counting models of linear-time temporal logic
B Finkbeiner, H Torfah
International Conference on Language and Automata Theory and Applications …, 2014
92014
Canonical Representations of k-Safety Hyperproperties
B Finkbeiner, L Haas, H Torfah
2019 IEEE 32st Computer Security Foundations Symposium (CSF), 2019
72019
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
H Kress-Gazit, H Torfah
Workshop on formal reasoning about Causation, Responsibility, and …, 2018
52018
The density of linear-time properties
B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2017
52017
Synthesizing Approximate Implementations for Unrealizable Specifications
R Dimitrova, B Finkbeiner, H Torfah
International Conference on Computer Aided Verification, 241-258, 2019
32019
Synthesizing skeletons for reactive systems
B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2016
32016
Explainable Reactive Synthesis
T Baumeister, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2020
12020
Approximate Automata for Omega-Regular Languages
R Dimitrova, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2019
12019
Stream-Based Monitors for Real-Time Properties
H Torfah
International Conference on Runtime Verification, 91-110, 2019
12019
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
CyberCardia@ ESWeek, 2019
12019
Runtime Monitoring for Markov Decision Processes
S Junges, H Torfah, SA Seshia
arXiv preprint arXiv:2105.12322, 2021
2021
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
S Shivakumar, H Torfah, A Desai, SA Seshia
International Conference on Runtime Verification, 184-194, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20