Samir Chouali - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab CarSamir Chouali, Hassan Mountassir, Sebti Mouelhi. ENTCS, 238(6):3-13, 2010. [doi]

2009

Refinement of Interface Automata Strengthened by Action SemanticsSebti Mouelhi, Samir Chouali, Hassan Mountassir. ENTCS, 253(1):111-126, 2009. [doi]

2006

Proving Component Interoperability with B RefinementSamir Chouali, Maritta Heisel, Jeanine Souquières. ENTCS, 160:157-172, 2006. [doi]

2005

Refinemant verification of fair transition systems can contribute to PLTL model checkingFrançoise Bellegarde, Samir Chouali, Jacques Julliand. memocode 2005: 166-175 [doi]

PLTL-partitioned model checking for reactive systems under fairness assumptionsSamir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde. tecs, 4(2):267-301, 2005. [doi]

Verifying the compatibility of component interfaces using the B formal methodJeanine Souquières, Samir Chouali. serp 2005: 850-856

2002

Verification of Dynamic Constraints for B Event Systems under Fairness AssumptionsFrançoise Bellegarde, Samir Chouali, Jacques Julliand. zum 2002: 477-496 [doi]