Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Takashi Suzuki
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Ana Belén Barragáns-martínez
Aishah Sabki
Home
/
Author
/
HAZEM TORFAH
Author Info
Open Visualization
Name
Affiliation
Papers
HAZEM TORFAH
Univ Saarland, React Syst Grp, D-66123 Saarbrucken, Germany
14
Collaborators
Citations
PageRank
16
19
5.06
Referers
Referees
References
52
240
132
Search Limit
100
240
Publications (14 rows)
Collaborators (16 rows)
Referers (52 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Probabilistic Hyperproperties of Markov Decision Processes
0
0.34
2020
Explainable Reactive Synthesis
0
0.34
2020
Approximate Automata for Omega-Regular Languages.
0
0.34
2019
FPGA Stream-Monitoring of Real-time Properties
2
0.37
2019
Streamlab: Stream-Based Monitoring Of Cyber-Physical Systems
0
0.34
2019
Synthesizing Approximate Implementations For Unrealizable Specifications
0
0.34
2019
Canonical Representations of k-Safety Hyperproperties
1
0.35
2019
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.
0
0.34
2019
Synthesizing Skeletons for Reactive Systems.
2
0.36
2018
Model Checking Quantitative Hyperproperties
3
0.37
2018
The Density of Linear-Time Properties.
1
0.35
2018
Real-time Stream-based Monitoring.
0
0.34
2017
A Stream-Based Specification Language For Network Monitoring
6
0.49
2016
Counting Models of Linear-Time Temporal Logic.
4
0.41
2014
1