Ghassen Helali

According to our database, Ghassen Helali authored at least 3 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Formal Analysis of Information Flow in HOL.

Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2013

Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy.

Ghassen Helali, Osman Hasan, Sofiène Tahar

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Formal verification of the heavy hitter problem.

Ghassen Helali, Sofiène Tahar, Osman Hasan

Proceedings of the 25th IEEE Canadian Conference on Electrical and Computer Engineering, 2012