Sledovat
Hazem Torfah
Hazem Torfah
Assistant Professor, CSE, Chalmers University of Technology
E-mailová adresa ověřena na: chalmers.se - Domovská stránka
Název
Citace
Citace
Rok
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
962019
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
782016
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
572018
Real-time stream-based monitoring
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arXiv:1711.03829, 2017
49*2017
Probabilistic Hyperproperties of Markov Decision Processes
R Dimitrova, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and Analysis, 2020
402020
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
382019
Runtime monitors for Markov decision processes
S Junges, H Torfah, SA Seshia
International Conference on Computer Aided Verification, 553-576, 2021
252021
SOTER on ROS: A run-time assurance framework on the robot operating system
S Shivakumar, H Torfah, A Desai, SA Seshia
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
222020
Canonical Representations of k-Safety Hyperproperties
B Finkbeiner, L Haas, H Torfah
2019 IEEE 32st Computer Security Foundations Symposium (CSF), 2019
202019
Learning Monitorable Operational Design Domains for Assured Autonomy
H Torfah, C Xie, S Junges, M Vazquez-Chanlatte, SA Seshia
International Symposium on Automated Technology for Verification and …, 2022
132022
Counting models of linear-time temporal logic
B Finkbeiner, H Torfah
Language and Automata Theory and Applications: 8th International Conference …, 2014
132014
Formal analysis of AI-based autonomy: from modeling to runtime assurance
H Torfah, S Junges, DJ Fremont, SA Seshia
International Conference on Runtime Verification, 311-330, 2021
122021
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
Stream-based monitors for real-time properties
H Torfah
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
102019
Synthesizing pareto-optimal interpretations for black-box models
H Torfah, S Shah, S Chakraborty, S Akshay, SA Seshia
Formal Methods in Computer-Aided Design, 153-162, 2021
92021
Synthesizing Approximate Implementations for Unrealizable Specifications
R Dimitrova, B Finkbeiner, H Torfah
International Conference on Computer Aided Verification, 241-258, 2019
82019
The complexity of counting models of linear-time temporal logic
H Torfah, M Zimmermann
Acta Informatica 55 (3), 191-212, 2018
82018
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
82018
Explainable Reactive Synthesis
T Baumeister, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2020
72020
The density of linear-time properties
B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2017
52017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20