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: Ebnenasir:Ali
Contributed to:
2014
2014
2011
2007
20062004Wrote 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.