default search action

combined dblp search
author search
venue search
publication search

ask others

Hazem Torfah

> Home > Persons

Person information

affiliation: Chalmers University of Technology, Gothenburg, Sweden
affiliation (former): Uniiversity of California at Berkeley, CA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcad/YalcinkayaTDS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/YalcinkayaTDS23
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3679-3692 (2023)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/YalcinkayaTFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/YalcinkayaTFS23
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia:
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV 2023: 191-212
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJSACS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJSACS23
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia:
Learning Monitor Ensembles for Operational Design Domains. RV 2023: 271-290
2022
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TorfahXJVS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TorfahXJVS22
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22
2021
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JungesTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JungesTS20
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TorfahSCAS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TorfahSCAS21
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD 2021: 153-162
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJFS21
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/JungesTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/JungesTS21
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Experiments for 'Runtime Monitoring for Markov Decision Processes'. Zenodo, 2021
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-12322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-12322
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07307
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07307
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR abs/2108.07307 (2021)
2020
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BaumeisterFT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BaumeisterFT20
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. ATVA 2020: 413-428
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DimitrovaFT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaFT20
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShivakumarTDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShivakumarTDS20
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV 2020: 184-194
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-12477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-12477
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. CoRR abs/2003.12477 (2020)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-03362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-03362
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. CoRR abs/2005.03362 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-09707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-09707
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR abs/2008.09707 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14582
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14582
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. CoRR abs/2012.14582 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14586
Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CoRR abs/2012.14586 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14590
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. CoRR abs/2012.14590 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14592
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14592
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR abs/2012.14592 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Torfah19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Torfah19
Hazem Torfah:
Model counting for reactive systems. Saarland University, Saarbrücken, Germany, 2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/BaumeisterFST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/BaumeisterFST19
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18(5s): 88:1-88:24 (2019)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DimitrovaFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaFT19
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DimitrovaFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DimitrovaFT19
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) 2019: 241-258
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FaymonvilleFSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FaymonvilleFSSS19
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah:
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) 2019: 421-431
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FinkbeinerHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FinkbeinerHT19
Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CSF 2019: 17-31
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Torfah19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Torfah19
Hazem Torfah:
Stream-Based Monitors for Real-Time Properties. RV 2019: 91-110
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13514
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CoRR abs/1905.13514 (2019)
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/TorfahZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/TorfahZ18
Hazem Torfah, Martin Zimmermann:
The complexity of counting models of linear-time temporal logic. Acta Informatica 55(3): 191-212 (2018)
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHT18
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CAV (1) 2018: 144-163
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-00591
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00591
Hadas Kress-Gazit, Hazem Torfah:
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. CREST@ETAPS 2018: 50-64
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-08890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08890
Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-time Properties. CoRR abs/1803.08890 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09285
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09285
Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. CoRR abs/1803.09285 (2018)
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerT17
Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-Time Properties. ATVA 2017: 139-155
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-03829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-03829
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
Real-time Stream-based Monitoring. CoRR abs/1711.03829 (2017)
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerT16
Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. ATVA 2016: 271-286
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FaymonvilleFST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FaymonvilleFST16
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah:
A Stream-Based Specification Language for Network Monitoring. RV 2016: 152-168
2014
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Torfah014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Torfah014
Hazem Torfah, Martin Zimmermann:
The Complexity of Counting Models of Linear-time Temporal Logic. FSTTCS 2014: 241-252
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/FinkbeinerT14
Bernd Finkbeiner, Hazem Torfah:
Counting Models of Linear-Time Temporal Logic. LATA 2014: 360-371
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TorfahZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TorfahZ14
Hazem Torfah, Martin Zimmermann:
The Complexity of Counting Models of Linear-time Temporal Logic. CoRR abs/1408.5752 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.