Articles with public access mandates - Hazem TorfahLearn more
Available somewhere: 20
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
Mandates: German Research Foundation, European Commission
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
Mandates: German Research Foundation
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
Mandates: German Research Foundation, European Commission
Probabilistic Hyperproperties of Markov Decision Processes
R Dimitrova, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and Analysis, 2020
Mandates: US Department of Defense, European Commission
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
Mandates: German Research Foundation, European Commission
Runtime monitors for Markov decision processes
S Junges, H Torfah, SA Seshia
International Conference on Computer Aided Verification, 553-576, 2021
Mandates: US National Science Foundation, US Department of Defense
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
Mandates: US National Science Foundation, US Department of Defense
Canonical Representations of k-Safety Hyperproperties
B Finkbeiner, L Haas, H Torfah
2019 IEEE 32st Computer Security Foundations Symposium (CSF), 2019
Mandates: German Research Foundation, European Commission
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
Mandates: US National Science Foundation, US Department of Defense
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
Mandates: US National Science Foundation, US Department of Defense
Stream-based monitors for real-time properties
H Torfah
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Mandates: German Research Foundation, European Commission
Synthesizing Approximate Implementations for Unrealizable Specifications
R Dimitrova, B Finkbeiner, H Torfah
International Conference on Computer Aided Verification, 241-258, 2019
Mandates: German Research Foundation, European Commission
Explainable Reactive Synthesis
T Baumeister, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2020
Mandates: US Department of Defense, European Commission
The density of linear-time properties
B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2017
Mandates: European Commission
ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems
B Yalcinkaya, H Torfah, A Desai, SA Seshia
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
Mandates: US National Science Foundation, US Department of Defense
Runtime Monitors for Operational Design Domains of Black-Box ML-Models
H Torfah, SA Seshia
NeurIPS 2022 Workshop MLSW, 2022
Mandates: US National Science Foundation, US Department of Defense
Synthesizing skeletons for reactive systems
B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2016
Mandates: European Commission
Approximate automata for omega-regular languages
R Dimitrova, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2019
Mandates: German Research Foundation, European Commission
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
CyberCardia@ ESWeek, 2019
Mandates: German Research Foundation, European Commission
Real-time Stream Monitoring with STREAMLAB
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, L Tentrup, ...
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program