Jacques Julliand

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: B model slicing and predicate abstraction to generate tests. Software Quality Journal 21(1): 127-158 (2013)

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand: Program slicing enhances a verification technique combining static and dynamic analysis. SAC 2012: 1284-1291

Achim D. Brucker, Jacques Julliand (Eds.): Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Lecture Notes in Computer Science 7305, Springer 2012, isbn 978-3-642-30472-9

Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué: Generating tests from B specifications and dynamic selection criteria. Formal Asp. Comput. 23(1): 3-19 (2011)

Jacques Julliand, Hassan Mountassir, Emilie Oudot: Incremental verification of component-based timed systems. IJCAT 42(2/3): 159-176 (2011)

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand: Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. STTT 13(5): 431-448 (2011)

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha: Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS 2011: 32-47

Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson: Association of Under-Approximation Techniques for Generating Tests from Models. TAP 2011: 51-68

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP 2011: 78-83

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: B Model Abstraction Combining Syntactic and Semantic Methods. ASM 2010: 408

Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson: Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops 2010: 54-61

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand: Combining Static Analysis and Test Generation for C Program Debugging. TAP 2010: 94-100

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: Syntactic Abstraction of B Models to Generate Tests. TAP 2010: 151-166

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: Syntactic Abstraction of B Models to Generate Tests. CoRR abs/1004.1262 (2010)

Jacques Julliand, Pierre-Alain Masson, Emilie Oudot: Partitioned PLTL model-checking for refined transition systems. Inf. Comput. 207(6): 681-698 (2009)

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)

Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152

Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Security Tests in Addition to Functional Tests. AST 2008: 41-44

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

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

Jacques Julliand, Hassan Mountassir, Emilie Oudot: Preservation of timed properties during an incremental development by components. ISoLA 2007: 159-166

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot: On the Contribution of a tau. Electr. Notes Theor. Comput. Sci. 160: 97-111 (2006)

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239

Jacques Julliand, Olga Kouchnarenko (Eds.): B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4355, Springer 2006, isbn 3-540-68760-2

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)

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)

Françoise Bellegarde, Samir Chouali, Jacques Julliand: Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE 2005: 166-175

Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Refinement Preserves PLTL Properties. ZB 2003: 408-420

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Synchronized Parallel Composition of Event Systems in B. ZB 2002: 436-457

Françoise Bellegarde, Samir Chouali, Jacques Julliand: Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB 2002: 477-496

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko: Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko: Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE 2000: 266-283

Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand: Modular Verification for a Class of PLTL Properties. IFM 2000: 398-419

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

Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir: Modular Verification of Dynamic Properties for Reactive Systems. IFM 1999: 89-108

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

R. Bigeard, M. Devel, Jacques Julliand: Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. HPCN Europe 1997: 175-189

Jacques Julliand, Béatrice Markhoff: Functional Programming on MIMD. Parallel and Distributed Computing and Systems 1995: 525-528

Marie-Christine Eglin-Leclerc, Jacques Julliand: Compilation of Equational System into Communicating Processes. Applied Informatics 1994: 348-

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

Jacques Julliand, Guy-René Perrin: Asynchronous Functional Parallel Programs. ICCI 1990: 356-365

Jacques Julliand, Guy-René Perrin: Design and development of concurrent programs. CONPAR 1981: 464-479