( en | de | ru )

 

Disambiguation of "Torfah, Hazem"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Quantitative Hyperproperties.

, , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ahmed Samir Ihsan Hazem

Amir Hazem

Hazem Krawi

Hazem ElTahawy

Hazem Kaheel

 

Other publications of authors with the same name

Canonical Representations of k-Safety Hyperproperties., , and . CoRR, (2020)The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems., and . CREST@ETAPS, volume 286 of EPTCS, page 50-64. (2018)Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications., , , and . RV, volume 14245 of Lecture Notes in Computer Science, page 191-212. Springer, (2023)Runtime Monitoring for Markov Decision Processes., , and . CoRR, (2021)Counting Models of Linear-Time Temporal Logic., and . LATA, volume 8370 of Lecture Notes in Computer Science, page 360-371. Springer, (2014)Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 311-330. Springer, (2021)The Density of Linear-Time Properties., and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 139-155. Springer, (2017)FPGA Stream-Monitoring of Real-time Properties., , , and . ACM Trans. Embed. Comput. Syst., 18 (5s): 88:1-88:24 (2019)Model Checking Quantitative Hyperproperties., , and . CoRR, (2019)Synthesizing Approximate Implementations for Unrealizable Specifications., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 241-258. Springer, (2019)