dblp.uni-trier.dewww.uni-trier.de

Jacques Julliand

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
25EEJacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152
2007
24EEPierre-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
23EEJacques 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
20EEFabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239
19EESamir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde: PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions CoRR abs/cs/0602040: (2006)
18EEFrançoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot: On the Contribution of a tau. Electr. Notes Theor. Comput. Sci. 160: 97-111 (2006)
2005
17EEFrançoise Bellegarde, Samir Chouali, Jacques Julliand: Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE 2005: 166-175
16EESamir 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
15EEChristophe Darlot, Jacques Julliand, Olga Kouchnarenko: Refinement Preserves PLTL Properties. ZB 2003: 408-420
2002
14EEFrançoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Synchronized Parallel Composition of Event Systems in B. ZB 2002: 436-457
13EEFrançoise Bellegarde, Samir Chouali, Jacques Julliand: Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB 2002: 477-496
2001
12EEFrançoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19
2000
11EEFrançoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE 2000: 266-283
10EEPierre-Alain Masson, Hassan Mountassir, Jacques Julliand: Modular Verification for a Class of PLTL Properties. IFM 2000: 398-419
9EEFranç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
7EEJacques 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)