Jacques Julliand

According to our database, Jacques Julliand authored at least 59 papers between 1981 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

How testing helps to diagnose proof failures.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Formal Aspects Comput., 2018

Under-Approximation Generation Driven by Relevance Predicates and Variants.

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Approximating Event System Abstractions by Covering Their States and Transitions.

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Proceedings of the Perspectives of System Informatics, 2017

2016

Tri-modal under-approximation for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Sci. Comput. Program., 2016

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Your Proof Fails? Testing Helps to Find the Reason.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 10th International Conference, 2016

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

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Tri-modal under-approximation of event systems for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Test generation from timed pushdown automata with inputs and outputs.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

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

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

Coverage Criteria for Model-Based Testing using Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

How Test Generation Helps Software Specification and Deductive Verification in Frama-C.

Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Instrumentation of Annotated C Programs for Test Generation.

Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

2013

B model slicing and predicate abstraction to generate tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Softw. Qual. J., 2013

A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Program slicing enhances a verification technique combining static and dynamic analysis.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the ACM Symposium on Applied Computing, 2012

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

Incremental verification of component-based timed systems.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Int. J. Comput. Appl. Technol., 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

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Association of Under-Approximation Techniques for Generating Tests from Models.

Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha

Proceedings of the Testing Software and Systems, 2011

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

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Syntactic Abstraction of B Models to Generate Tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Combining Static Analysis and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.

Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Third International Conference on Software Testing, 2010

B Model Abstraction Combining Syntactic and Semantic Methods.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Abstract State Machines, 2010

2009

Partitioned PLTL model-checking for refined transition systems.

Jacques Julliand, Pierre-Alain Masson, Emilie Oudot

Inf. Comput., 2009

2008

Verification of class liveness properties with java modelling language.

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

IET Softw., 2008

Generating Security Tests in Addition to Functional Tests.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Generating Tests from B Specifications and Test Purposes.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Preservation of timed properties during an incremental development by components.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the ISoLA 2007, 2007

VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the Formal Methods and Software Engineering, 2007

Automatic generation of model based tests for a class of security properties.

Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

JML-based verification of liveness properties on a class in isolation.

Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Experiments in the use of τ-simulations for the components-verification of real-time systems.

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Safety Property Driven Test Generation from.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

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

On the Contribution of a tau.

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Refinemant verification of fair transition systems can contribute to PLTL model checking.

Françoise Bellegarde, Samir Chouali, Jacques Julliand

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2003

Refinement Preserves PLTL Properties.

Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Synchronized Parallel Composition of Event Systems in B.

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.

Françoise Bellegarde, Samir Chouali, Jacques Julliand

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

Reformulation: A Way to Combine Dynamic Properties and B Refinement.

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Modular Verification for a Class of PLTL Properties.

Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

Modular Verification of Dynamic Properties for Reactive Systems.

Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir

Proceedings of the Integrated Formal Methods, 1999

1998

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

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images.

R. Bigeard, M. Devel, Jacques Julliand

Proceedings of the High-Performance Computing and Networking, 1997

1995

Functional Programming on MIMD.

Jacques Julliand, Béatrice Markhoff

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994

Compilation of Equational System into Communicating Processes.

Marie-Christine Eglin-Leclerc, Jacques Julliand

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1992

How to Compile Systems of Recurrence Equations into Networks of Communicating Processes.

Marie-Christine Eglin-Leclerc, Jacques Julliand, Guy-René Perrin

Proceedings of the Parallel Processing: CONPAR 92, 1992

1990

Asynchronous Functional Parallel Programs.

Jacques Julliand, Guy-René Perrin

Proceedings of the Advances in Computing and Information, 1990

1981

Design and development of concurrent programs.

Jacques Julliand, Guy-René Perrin

Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981