Hazem Torfah

Cited by

	All	Since 2019
Citations	445	401
h-index	11	9
i10-index	11	9

120

2016201720182019202020212022202320242 4 35 46 72 77 86 102 17

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Peter FaymonvilleITK EngineeringVerified email at faymonville.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Jan BaumeisterCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Sebastian SchirmerDLR, Institute of Flight Systems, Department Unmanned Aircraft, Braunschweig, GermanyVerified email at dlr.de
Christopher HahnX, the moonshot factory (Google X)Verified email at google.com
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Marcell Vazquez-ChanlatteResearch Scientist at NissanVerified email at linux.com
Beyazit YalcinkayaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Hadas Kress-GazitCornell UniversityVerified email at cornell.edu

Hazem Torfah

Assistant Professor, Chalmers University of Technology

Verified email at chalmers.se - Homepage

Cyber-physical Systems Formal Methods Runtime Verification Explainability


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	78	2019
A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016	71	2016
Model checking quantitative hyperproperties B Finkbeiner, C Hahn, H Torfah International Conference on Computer Aided Verification, 144-163, 2018	48	2018
Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017	42*	2017
Probabilistic Hyperproperties of Markov Decision Processes R Dimitrova, B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and Analysis, 2020	34	2020
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	32	2019
Runtime monitors for markov decision processes S Junges, H Torfah, SA Seshia International Conference on Computer Aided Verification, 553-576, 2021	18	2021
Canonical Representations of k-Safety Hyperproperties B Finkbeiner, L Haas, H Torfah 2019 IEEE 32st Computer Security Foundations Symposium (CSF), 2019	17	2019
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	15	2020
Counting models of linear-time temporal logic B Finkbeiner, H Torfah Language and Automata Theory and Applications: 8th International Conference …, 2014	12	2014
The complexity of counting models of linear-time temporal logic H Torfah, M Zimmermann IARCS Annual Conference on Foundations of Software Technology and …, 2014	11*	2014
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	8	2022
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	8	2021
Stream-based monitors for real-time properties H Torfah Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019	8	2019
The complexity of counting models of linear-time temporal logic H Torfah, M Zimmermann Acta Informatica 55 (3), 191-212, 2018	8	2018
Synthesizing Approximate Implementations for Unrealizable Specifications R Dimitrova, B Finkbeiner, H Torfah International Conference on Computer Aided Verification, 241-258, 2019	7	2019
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	7	2018
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	6	2021
Explainable Reactive Synthesis T Baumeister, B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and …, 2020	5	2020
The density of linear-time properties B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and …, 2017	5	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors