Noomene Ben Henda

According to our database, Noomene Ben Henda authored at least 13 papers between 2005 and 2017.

Collaborative distances:

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

2017

OpenSAW: Open Security Analysis Workbench.

Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2014

Generic and efficient attacker models in SPIN.

Noomene Ben Henda

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Formal Analysis of Security Procedures in LTE - A Feasibility Study.

Noomene Ben Henda, Karl Norrman

Proceedings of the Research in Attacks, Intrusions and Defenses, 2014

2009

Monotonic Abstraction: on Efficient Verification of Parameterized Systems.

Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine

Int. J. Found. Comput. Sci., 2009

2008

Infinite-state Stochastic and Parameterized Systems.

Noomene Ben Henda

PhD thesis, 2008

Handling Parameterized Systems with Non-atomic Global Conditions.

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine

Proceedings of the Verification, 2008

Stochastic Games with Lossy Channels.

Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Parameterized Tree Systems.

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Decisive Markov Chains.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr

Log. Methods Comput. Sci., 2007

Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).

Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Limiting Behavior of Markov Chains with Eager Attractors.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Eager Markov Chains.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005