Hazem Torfah
Orcid: 0000-0002-9628-1200Affiliations:
- Chalmers University of Technology, Gothenburg, Sweden
- Uniiversity of California at Berkeley, CA, USA (former)
According to our database1,
Hazem Torfah
authored at least 29 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
1
1
1
1
1
2
2
1
3
3
5
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Bridging the Gap Between AI and Reality, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
Dataset, April, 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the Runtime Verification - 20th International Conference, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.
Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018
Acta Informatica, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
2014
Proceedings of the Language and Automata Theory and Applications, 2014