Items where Author is "Torfah, Hazem"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Article

Faymonville, Peter and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem
(2017) Real-time Stream-based Monitoring.
CoRR, abs/17.

Conference or Workshop Item

Finkbeiner, Bernd and Hahn, Christopher and Torfah, Hazem
(2018) Model Checking Quantitative Hyperproperties.
In: Computer Aided Verification.
Conference: CAV - Computer Aided Verification

Finkbeiner, Bernd and Torfah, Hazem
(2017) The Density of Linear-Time Properties.
In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings.
Conference: ATVA - International Symposium on Automated Technology for Verification and Analysis

Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torfah, Hazem
(2016) A Stream-Based Specification Language for Network Monitoring.
In: Proceedings of the 16th International Conference on Runtime Verification (RV'2016).
Conference: None | Not Set

Finkbeiner, Bernd and Torfah, Hazem
(2016) Synthesizing Skeletons for Reactive Systems.
In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings.
Conference: ATVA - International Symposium on Automated Technology for Verification and Analysis

Finkbeiner, Bernd and Torfah, Hazem
(2014) Counting Models of Linear-Time Temporal Logic.
In: 8th International Conference on Language and Automata Theory and Applications (LATA 2014).
Conference: None | Not Set

This list was generated on Sun Sep 22 00:02:48 2019 CEST.