Jacques Julliand

	2009
27		Jacques Julliand, Pierre-Alain Masson, Emilie Oudot: Partitioned PLTL model-checking for refined transition systems. Inf. Comput. 207(6): 681-698 (2009)
	2008
26		Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152
25		Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)
	2007
24		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		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		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239
19		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		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		Françoise Bellegarde, Samir Chouali, Jacques Julliand: Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE 2005: 166-175
16		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		Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Refinement Preserves PLTL Properties. ZB 2003: 408-420
	2002
14		Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Synchronized Parallel Composition of Event Systems in B. ZB 2002: 436-457
13		Françoise Bellegarde, Samir Chouali, Jacques Julliand: Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB 2002: 477-496
	2001
12		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		Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE 2000: 266-283
10		Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand: Modular Verification for a Class of PLTL Properties. IFM 2000: 398-419
9		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		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

Coauthor Index

1	Françoise Bellegarde (Françoise Bellegarde-Webb)	[9] [11] [12] [13] [14] [16] [17] [18] [19]
2	R. Bigeard	[6]
3	Fabrice Bouquet	[20]
4	Samir Chouali	[13] [16] [17] [19]
5	Frédéric Dadeau	[20]
6	Christophe Darlot	[9] [12] [15]
7	Georges Debois	[24]
8	M. Devel	[6]
9	Marie-Christine Eglin-Leclerc	[3] [4]
10	Alain Giorgetti	[25]
11	Julien Groslambert	[20] [25]
12	Eddie Jaffuel	[24]
13	Olga Kouchnarenko	[9] [11] [12] [14] [15] [21] [25]
14	Bruno Legeard	[7]
15	Thierry Machicoane	[7]
16	B. Markhoff	[5]
17	Pierre-Alain Masson	[8] [10] [16] [19] [24] [26] [27]
18	Hassan Mountassir	[8] [10] [18] [22] [23]
19	Emilie Oudot	[18] [22] [23] [27]
20	Benoit Parreaux	[7]
21	Guy-René Perrin	[1] [2] [3]
22	Jean-Chritophe Plessis	[24]
23	Bruno Tatibouët	[7]
24	Régis Tissot	[26]

Colors in the list of coauthors