Noomene Ben Henda

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Venues

FASE

RAID

SPIN

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd
OpenSAW: Open Security Analysis Workbench. FASE (2017)
Noomene Ben Henda
Generic and efficient attacker models in SPIN. SPIN (2014)
Noomene Ben Henda, Karl Norrman
Formal Analysis of Security Procedures in LTE - A Feasibility Study. RAID (2014)
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20 (5) (2009)
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
Stochastic Games with Lossy Channels. FoSSaCS (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
Parameterized Tree Systems. FORTE (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
Decisive Markov Chains. Log. Methods Comput. Sci. 3 (4) (2007)
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS (2007)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
Decisive Markov Chains CoRR (2007)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
Eager Markov Chains. ATVA (2006)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
Limiting Behavior of Markov Chains with Eager Attractors. QEST (2006)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. LICS (2005)

Noomene Ben Henda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Noomene Ben Henda