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 × France
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:
S.S.Kulkarni A.Tahat A.Farahat R.Hajisheykhi B.H.C.Cheng S.Konrad B.Bonakdarpour
Talks about:
fault (4) toler (3) synthesi (2) failsaf (2) verif (2) model (2) use (2) parameter (1) recoveri (1) protocol (1)

Person: Ali Ebnenasir

DBLP DBLP: Ebnenasir:Ali

Contributed to:

LOPSTR 20142014
SEFM 20142014
SEKE 20112011
ASE 20072007
RE 20062006
LOPSTR 20042004

Wrote 6 papers:

LOPSTR-2014-TahatE #hybrid #protocol #self #synthesis #verification
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols (AT, AE), pp. 201–218.
SEFM-2014-HajisheykhiEK #fault #modelling #using
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
SEKE-2011-FarahatE #fault #performance
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
ASE-2007-Ebnenasir #fault tolerance
Diconic addition of failsafe fault-tolerance (AE), pp. 44–53.
RE-2006-EbnenasirCK #analysis #case study #fault tolerance #modelling
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance (AE, BHCC, SK), pp. 336–337.
LOPSTR-2004-KulkarniBE #automation #fault tolerance #source code #synthesis #verification
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (SSK, BB, AE), pp. 36–52.

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.