Travelled to:1 × Hungary
1 × Portugal
2 × USA
Collaborated with:P.A.Abdulla R.Mayr G.Delzanno A.Rezine L.d.Alfaro S.Sandberg B.J.0006 P.Lantz K.Norrman P.Saarinen O.Segersvärd
Talks about:parameter (2) system (2) global (2) open (2) workbench (1) attractor (1) transduc (1) stochast (1) properti (1) without (1)
Person: Noomene Ben Henda
DBLP: Henda:Noomene_Ben
Contributed to:
2008
2008
2007
2005
2017Wrote 5 papers:
- FoSSaCS-2008-AbdullaHAMS #game studies #probability
- Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.
- VMCAI-2008-AbdullaHDR
- Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.
- TACAS-2007-AbdullaDHR #model checking #performance #transducer #verification
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (PAA, GD, NBH, AR), pp. 721–736.
- LICS-2005-AbdullaHM #finite #infinity #markov #verification
- Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (PAA, NBH, RM), pp. 127–136.
- FASE-2017-Henda0LNSS #analysis #named #security
- OpenSAW: Open Security Analysis Workbench (NBH, BJ0, PL, KN, PS, OS), pp. 321–337.