 | 2009 |
|---|
| 7 |       | Jacques Julliand,
Pierre-Alain Masson,
Emilie Oudot:
Partitioned PLTL model-checking for refined transition systems.
Inf. Comput. 207(6): 681-698 (2009) |
| 2008 |
|---|
| 6 | | Jacques Julliand,
Pierre-Alain Masson,
Régis Tissot:
Generating Tests from B Specifications and Test Purposes.
ABZ 2008: 139-152 |
| 2007 |
|---|
| 5 | | Pierre-Alain Masson,
Jacques Julliand,
Jean-Chritophe Plessis,
Eddie Jaffuel,
Georges Debois:
Automatic generation of model based tests for a class of security properties.
A-MOST 2007: 12-22 |
| 2006 |
|---|
| 4 | | 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) |
| 2005 |
|---|
| 3 | | 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) |
| 2000 |
|---|
| 2 | | Pierre-Alain Masson,
Hassan Mountassir,
Jacques Julliand:
Modular Verification for a Class of PLTL Properties.
IFM 2000: 398-419 |
| 1999 |
|---|
| 1 |  | Jacques Julliand,
Pierre-Alain Masson,
Hassan Mountassir:
Modular Verification of Dynamic Properties for Reactive Systems.
IFM 1999: 89-108 |
