Noomene Ben Henda

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