BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Henda:Noomene_Ben

Contributed to:

FoSSaCS 20082008
VMCAI 20082008
TACAS 20072007
LICS 20052005
FASE 20172017

Wrote 5 papers:

FoSSaCS-2008-AbdullaHAMS #game studies #probability
Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.