 | 2011 |
|---|
| 10 |       | Samir Chouali,
Ahmed Hammad:
Formal verification of components assembly based on SysML and interface automata.
ISSE 7(4): 265-274 (2011) |
| 2010 |
|---|
| 9 | | Samir Chouali,
Sebti Mouelhi,
Hassan Mountassir:
Adapting Component Behaviours Using Interface Automata.
EUROMICRO-SEAA 2010: 119-122 |
| 8 | | Samir Chouali,
Hassan Mountassir,
Sebti Mouelhi:
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.
Electr. Notes Theor. Comput. Sci. 238(6): 3-13 (2010) |
| 2009 |
|---|
| 7 | | Sebti Mouelhi,
Samir Chouali,
Hassan Mountassir:
Refinement of Interface Automata Strengthened by Action Semantics.
Electr. Notes Theor. Comput. Sci. 253(1): 111-126 (2009) |
| 2006 |
|---|
| 6 | | Samir Chouali,
Jacques Julliand,
Pierre-Alain Masson,
Françoise Bellegarde:
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
CoRR abs/cs/0602040: (2006) |
| 5 | | Samir Chouali,
Maritta Heisel,
Jeanine Souquières:
Proving Component Interoperability with B Refinement.
Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006) |
| 2005 |
|---|
| 4 | | Françoise Bellegarde,
Samir Chouali,
Jacques Julliand:
Refinemant verification of fair transition systems can contribute to PLTL model checking.
MEMOCODE 2005: 166-175 |
| 3 |  | Jeanine Souquières,
Samir Chouali:
Verifying the compatibility of component interfaces using the B formal method.
Software Engineering Research and Practice 2005: 850-856 |
| 2 | | Samir Chouali,
Jacques Julliand,
Pierre-Alain Masson,
Françoise Bellegarde:
PLTL-partitioned model checking for reactive systems under fairness assumptions.
ACM Trans. Embedded Comput. Syst. 4(2): 267-301 (2005) |
| 2002 |
|---|
| 1 | | Françoise Bellegarde,
Samir Chouali,
Jacques Julliand:
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.
ZB 2002: 477-496 |
Data released under the ODC-BY 1.0 license — See also our legal information page