2008 |
25 | EE | Jacques Julliand,
Pierre-Alain Masson,
Régis Tissot:
Generating Tests from B Specifications and Test Purposes.
ABZ 2008: 139-152 |
2007 |
24 | EE | 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 |
23 | EE | Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.
ICFEM 2007: 116-135 |
22 | | Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
Preservation of timed properties during an incremental development by components.
ISoLA 2007: 159-166 |
2006 |
21 | | Jacques Julliand,
Olga Kouchnarenko:
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings
Springer 2006 |
20 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert,
Jacques Julliand:
Safety Property Driven Test Generation from.
FATES/RV 2006: 225-239 |
19 | EE | 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) |
18 | EE | Françoise Bellegarde,
Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
On the Contribution of a tau.
Electr. Notes Theor. Comput. Sci. 160: 97-111 (2006) |
2005 |
17 | EE | Françoise Bellegarde,
Samir Chouali,
Jacques Julliand:
Refinemant verification of fair transition systems can contribute to PLTL model checking.
MEMOCODE 2005: 166-175 |
16 | EE | 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) |
2003 |
15 | EE | Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Refinement Preserves PLTL Properties.
ZB 2003: 408-420 |
2002 |
14 | EE | Françoise Bellegarde,
Jacques Julliand,
Olga Kouchnarenko:
Synchronized Parallel Composition of Event Systems in B.
ZB 2002: 436-457 |
13 | EE | Françoise Bellegarde,
Samir Chouali,
Jacques Julliand:
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.
ZB 2002: 477-496 |
2001 |
12 | EE | Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Reformulation: A Way to Combine Dynamic Properties and B Refinement.
FME 2001: 2-19 |
2000 |
11 | EE | Françoise Bellegarde,
Jacques Julliand,
Olga Kouchnarenko:
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.
FASE 2000: 266-283 |
10 | EE | Pierre-Alain Masson,
Hassan Mountassir,
Jacques Julliand:
Modular Verification for a Class of PLTL Properties.
IFM 2000: 398-419 |
9 | EE | Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
ZB 2000: 230-249 |
1999 |
8 | | Jacques Julliand,
Pierre-Alain Masson,
Hassan Mountassir:
Modular Verification of Dynamic Properties for Reactive Systems.
IFM 1999: 89-108 |
1998 |
7 | EE | Jacques Julliand,
Bruno Legeard,
Thierry Machicoane,
Benoit Parreaux,
Bruno Tatibouët:
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.
B 1998: 273-292 |
1997 |
6 | | R. Bigeard,
M. Devel,
Jacques Julliand:
Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images.
HPCN Europe 1997: 175-189 |
1995 |
5 | | Jacques Julliand,
B. Markhoff:
Functional Programming on MIMD.
Parallel and Distributed Computing and Systems 1995: 525-528 |
1994 |
4 | | Marie-Christine Eglin-Leclerc,
Jacques Julliand:
Compilation of Equational System into Communicating Processes.
Applied Informatics 1994: 348- |
1992 |
3 | | Marie-Christine Eglin-Leclerc,
Jacques Julliand,
Guy-René Perrin:
How to Compile Systems of Recurrence Equations into Networks of Communicating Processes.
CONPAR 1992: 795-796 |
1990 |
2 | | Jacques Julliand,
Guy-René Perrin:
Asynchronous Functional Parallel Programs.
ICCI 1990: 356-365 |
1981 |
1 | | Jacques Julliand,
Guy-René Perrin:
Design and development of concurrent programs.
CONPAR 1981: 464-479 |