Noomene Ben Henda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FASE | OpenSAW: Open Security Analysis Workbench. | Noomene Ben Henda, Bjrn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvrd |
| 2014 | RAID | Formal Analysis of Security Procedures in LTE - A Feasibility Study. | Noomene Ben Henda, Karl Norrman |
| 2008 | FORTE | Parameterized Tree Systems. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frdric Haziza, Ahmed Rezine |
| 2008 | FOSSACS | Stochastic Games with Lossy Channels. | Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
| 2008 | VMCAI | Handling Parameterized Systems with Non-atomic Global Conditions. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
| 2007 | TACAS | Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
| 2006 | ATVA | Eager Markov Chains. | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg |
| 2005 | LICS | Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |