Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. - Parosh Aziz Abdulla; Noomene Ben Henda; Richard Mayr (LICS, 2005)

Eager Markov Chains. - Parosh Aziz Abdulla; Noomene Ben Henda; Richard Mayr; Sven Sandberg (ATVA, 2006)

Limiting Behavior of Markov Chains with Eager Attractors. - Parosh Aziz Abdulla; Noomene Ben Henda; Richard Mayr; Sven Sandberg (QEST, 2006)

Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). - Parosh Aziz Abdulla; Giorgio Delzanno; Noomene Ben Henda; Ahmed Rezine (TACAS, 2007)

Decisive Markov Chains. - Parosh Aziz Abdulla; Noomene Ben Henda; Richard Mayr (Log. Methods Comput. Sci., 2007)

Parameterized Tree Systems. - Parosh Aziz Abdulla; Noomene Ben Henda; Giorgio Delzanno; Frédéric Haziza; Ahmed Rezine (FORTE, 2008)

Stochastic Games with Lossy Channels. - Parosh Aziz Abdulla; Noomene Ben Henda; Luca de Alfaro; Richard Mayr; Sven Sandberg (FoSSaCS, 2008)

Handling Parameterized Systems with Non-atomic Global Conditions. - Parosh Aziz Abdulla; Noomene Ben Henda; Giorgio Delzanno; Ahmed Rezine (VMCAI, 2008)

Infinite-state Stochastic and Parameterized Systems. - Noomene Ben Henda (2008)

Monotonic Abstraction: on Efficient Verification of Parameterized Systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Noomene Ben Henda; Ahmed Rezine (Int. J. Found. Comput. Sci., 2009)

Formal Analysis of Security Procedures in LTE - A Feasibility Study. - Noomene Ben Henda; Karl Norrman (RAID, 2014)

Generic and efficient attacker models in SPIN. - Noomene Ben Henda (SPIN, 2014)

OpenSAW: Open Security Analysis Workbench. - Noomene Ben Henda; Björn Johansson 006; Patrik Lantz; Karl Norrman; Pasi Saarinen; Oskar Segersvärd (FASE, 2017)