Design and development of concurrent programs. - Jacques Julliand; Guy-René Perrin (CONPAR, 1981)

Asynchronous Functional Parallel Programs. - Jacques Julliand; Guy-René Perrin (ICCI, 1990)

How to Compile Systems of Recurrence Equations into Networks of Communicating Processes. - Marie-Christine Eglin-Leclerc; Jacques Julliand; Guy-René Perrin (CONPAR, 1992)

Compilation of Equational System into Communicating Processes. - Marie-Christine Eglin-Leclerc; Jacques Julliand (Applied Informatics, 1994)

Functional Programming on MIMD. - Jacques Julliand; Béatrice Markhoff (Parallel and Distributed Computing and Systems, 1995)

Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. - R. Bigeard; M. Devel; Jacques Julliand (HPCN Europe, 1997)

Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. - Jacques Julliand; Bruno Legeard; Thierry Machicoane; Benoit Parreaux; Bruno Tatibouët (B, 1998)

Modular Verification of Dynamic Properties for Reactive Systems. - Jacques Julliand; Pierre-Alain Masson; Hassan Mountassir (IFM, 1999)

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. - Françoise Bellegarde; Jacques Julliand; Olga Kouchnarenko (FASE, 2000)

Modular Verification for a Class of PLTL Properties. - Pierre-Alain Masson; Hassan Mountassir; Jacques Julliand (IFM, 2000)

Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. - Françoise Bellegarde; Christophe Darlot; Jacques Julliand; Olga Kouchnarenko (ZB, 2000)

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

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

Synchronized Parallel Composition of Event Systems in B. - Françoise Bellegarde; Jacques Julliand; Olga Kouchnarenko (ZB, 2002)

Refinement Preserves PLTL Properties. - Christophe Darlot; Jacques Julliand; Olga Kouchnarenko (ZB, 2003)

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

On the Contribution of a tau. - Françoise Bellegarde; Jacques Julliand; Hassan Mountassir; Emilie Oudot (FACS, 2005)

PLTL-partitioned model checking for reactive systems under fairness assumptions. - Samir Chouali; Jacques Julliand; Pierre-Alain Masson; Françoise Bellegarde (ACM Trans. Embed. Comput. Syst., 2005)

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

Experiments in the use of τ-simulations for the components-verification of real-time systems. - Françoise Bellegarde; Jacques Julliand; Hassan Mountassir; Emilie Oudot (SAVCBS@FSE, 2006)

JML-based verification of liveness properties on a class in isolation. - Julien Groslambert; Jacques Julliand; Olga Kouchnarenko (SAVCBS@FSE, 2006)

Automatic generation of model based tests for a class of security properties. - Pierre-Alain Masson; Jacques Julliand; Jean-Chritophe Plessis; Eddie Jaffuel; Georges Debois (A-MOST, 2007)

VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (ICFEM, 2007)

Preservation of timed properties during an incremental development by components. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (ISoLA, 2007)

Generating Tests from B Specifications and Test Purposes. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot (ABZ, 2008)

Generating Security Tests in Addition to Functional Tests. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot (AST, 2008)

Verification of class liveness properties with java modelling language. - Alain Giorgetti; Julien Groslambert; Jacques Julliand; Olga Kouchnarenko (IET Softw., 2008)

Partitioned PLTL model-checking for refined transition systems. - Jacques Julliand; Pierre-Alain Masson; Emilie Oudot (Inf. Comput., 2009)

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

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

Combining Static Analysis and Test Generation for C Program Debugging. - Omar Chebaro; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (TAP@TOOLS, 2010)

Syntactic Abstraction of B Models to Generate Tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (TAP@TOOLS, 2010)

Test Generation Using Symbolic Animation of Models. - Frédéric Dadeau; Fabien Peureux; Bruno Legeard; Régis Tissot; Jacques Julliand; Pierre-Alain Masson; Fabrice Bouquet (Model-Based Testing for Embedded Systems, 2011)

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

Association of Under-Approximation Techniques for Generating Tests from Models. - Pierre-Christophe Bué; Jacques Julliand; Pierre-Alain Masson (TAP@TOOLS, 2011)

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. - Omar Chebaro; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (TAP@TOOLS, 2011)

Generating tests from B specifications and dynamic selection criteria. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué (Formal Aspects Comput., 2011)

Incremental verification of component-based timed systems. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (Int. J. Comput. Appl. Technol., 2011)

Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand (Int. J. Softw. Tools Technol. Transf., 2011)

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

A Compositional Automata-Based Semantics for Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand; Bilal Kanso; Safouan Taha (IFM, 2013)

B model slicing and predicate abstraction to generate tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (Softw. Qual. J., 2013)

Instrumentation of Annotated C Programs for Test Generation. - Guillaume Petiot; Bernard Botella; Jacques Julliand; Nikolai Kosmatov; Julien Signoles (SCAM, 2014)

How Test Generation Helps Software Specification and Deductive Verification in Frama-C. - Guillaume Petiot; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand (TAP@STAF, 2014)

Coverage Criteria for Model-Based Testing using Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand (MBT, 2014)

Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. - Achim D. Brucker; Jacques Julliand (Softw. Test. Verification Reliab., 2014)

Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites. - Achim D. Brucker; Jacques Julliand (Softw. Test. Verification Reliab., 2014)

Test generation from timed pushdown automata with inputs and outputs. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (ICST Workshops, 2015)

Tri-modal under-approximation of event systems for test generation. - Hadrien Bride; Jacques Julliand; Pierre-Alain Masson (SAC, 2015)

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2015)

A compositional automata-based semantics and preserving transformation rules for testing property patterns. - Safouan Taha; Jacques Julliand; Frédéric Dadeau; Kalou Cabrera Castillos; Bilal Kanso (Formal Aspects Comput., 2015)

Your Proof Fails? Testing Helps to Find the Reason. - Guillaume Petiot; Nikolai Kosmatov; Bernard Botella; Alain Giorgetti; Jacques Julliand (TAP@STAF, 2016)

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2016)

Tri-modal under-approximation for test generation. - Hadrien Bride; Jacques Julliand; Pierre-Alain Masson (Sci. Comput. Program., 2016)

Approximating Event System Abstractions by Covering Their States and Transitions. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (Ershov Informatics Conference, 2017)

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (TASE, 2017)

Under-Approximation Generation Driven by Relevance Predicates and Variants. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (TAP@STAF, 2018)

How testing helps to diagnose proof failures. - Guillaume Petiot; Nikolai Kosmatov; Bernard Botella; Alain Giorgetti; Jacques Julliand (Formal Aspects Comput., 2018)

Test Generation from Event System Abstractions to Cover Their States and Transitions. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (Program. Comput. Softw., 2018)