 | 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 |
