Travelled to:1 × Brazil
1 × Canada
1 × France
1 × Greece
2 × Germany
Collaborated with:A.Habibi S.Tahar K.A.Hoque Y.Savaria S.Ouchani M.Debbabi S.Abed G.A.Sammane A.I.Ahmed A.Samarah D.Li Y.Xu E.Cerny X.Song F.Corella
Talks about:use (3) probabilist (2) multiway (2) analysi (2) effici (2) verif (2) model (2) graph (2) decis (2) check (2)
Person: Otmane Aït Mohamed
DBLP: Mohamed:Otmane_A=iuml=t
Contributed to:
2015
2012
200820062004
1998Wrote 6 papers:
- DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards
- Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
- SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process
- Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
- SAC-2008-AbedMS #analysis #graph #multi #proving #reachability #theorem proving #using
- Reachability analysis using multiway decision graphs in the HOL theorem prover (SA, OAM, GAS), pp. 333–338.
- DATE-2006-HabibiTSLM #performance #using #verification
- Efficient assertion based verification using TLM (AH, ST, AS, DL, OAM), pp. 106–111.
- DATE-2005-HabibiAMT04 #design #interface #on the #verification
- On the Design and Verification Methodology of the Look-Aside Interface (AH, AIA, OAM, ST), pp. 290–295.
- CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.