Search results for "Jacques Julliand"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué	Generating tests from B specifications and dynamic selection criteria.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Jacques Julliand, Hassan Mountassir, Emilie Oudot	Incremental verification of component-based timed systems.	IJCAT	2011	DBLP DOI BibTeX RDF
1	Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand	Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance.	STTT	2011	DBLP DOI BibTeX RDF
1	Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand	The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.	TAP	2011	DBLP DOI BibTeX RDF
1	Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson	Association of Under-Approximation Techniques for Generating Tests from Models.	TAP	2011	DBLP DOI BibTeX RDF
1	Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha	Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.	ICTSS	2011	DBLP DOI BibTeX RDF
1	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	Syntactic Abstraction of B Models to Generate Tests	CoRR	2010	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	Syntactic Abstraction of B Models to Generate Tests.	TAP	2010	DBLP DOI BibTeX RDF
1	Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand	Combining Static Analysis and Test Generation for C Program Debugging.	TAP	2010	DBLP DOI BibTeX RDF
1	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	B Model Abstraction Combining Syntactic and Semantic Methods.	ASM	2010	DBLP DOI BibTeX RDF
1	Jacques Julliand, Pierre-Alain Masson, Emilie Oudot	Partitioned PLTL model-checking for refined transition systems.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko	Verification of class liveness properties with java modelling language.	IET Software	2008	DBLP DOI BibTeX RDF
1	Jacques Julliand, Pierre-Alain Masson, Régis Tissot	Generating Security Tests in Addition to Functional Tests.	AST	2008	DBLP DOI BibTeX RDF
1	Jacques Julliand, Pierre-Alain Masson, Régis Tissot	Generating Tests from B Specifications and Test Purposes.	ABZ	2008	DBLP DOI BibTeX RDF	IAS Case Study, Model-Based Testing, Test Purpose
1	Jacques Julliand, Hassan Mountassir, Emilie Oudot	VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.	ICFEM	2007	DBLP DOI BibTeX RDF	?-simulation, integration of components, preservation of linear-time properties, timed systems
1	Jacques Julliand, Hassan Mountassir, Emilie Oudot	Preservation of timed properties during an incremental development by components.	ISoLA	2007	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	security policy, automatic test generation, security properties
1	Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot	On the Contribution of a tau.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions	CoRR	2006	DBLP BibTeX RDF
1	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	B	2006	DBLP BibTeX RDF
1	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand	Safety Property Driven Test Generation from.	FATES/RV	2006	DBLP DOI BibTeX RDF	JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
1	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.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
1	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Refinemant verification of fair transition systems can contribute to PLTL model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Refinement Preserves PLTL Properties.	ZB	2003	DBLP DOI BibTeX RDF	Presevation of PLTL properties, B event systems, Refinement development
1	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
1	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Synchronized Parallel Composition of Event Systems in B.	ZB	2002	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Reformulation: A Way to Combine Dynamic Properties and B Refinement.	FME	2001	DBLP DOI BibTeX RDF	Verification of PLTL properties, Combination of proof and model-checking, Refinement development
1	Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand	Modular Verification for a Class of PLTL Properties.	IFM	2000	DBLP DOI BibTeX RDF	Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
1	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.	ZB	2000	DBLP DOI BibTeX RDF	B Refinement Design, Verification, Specification, Dynamic properties, Event Systems
1	Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir	Modular Verification of Dynamic Properties for Reactive Systems.	IFM	1999	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	R. Bigeard, M. Devel, Jacques Julliand	Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images.	HPCN	1997	DBLP DOI BibTeX RDF
1	Jacques Julliand, Béatrice Markhoff	Functional Programming on MIMD.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
1	Marie-Christine Eglin-Leclerc, Jacques Julliand	Compilation of Equational System into Communicating Processes.	Applied Informatics	1994	DBLP BibTeX RDF
1	Marie-Christine Eglin-Leclerc, Jacques Julliand, Guy-René Perrin	How to Compile Systems of Recurrence Equations into Networks of Communicating Processes.	CONPAR	1992	DBLP DOI BibTeX RDF	asynchronous interpretation, parallel programming, program translation
1	Jacques Julliand, Guy-René Perrin	Asynchronous Functional Parallel Programs.	ICCI	1990	DBLP DOI BibTeX RDF	Parallelism, Asynchronous Communications, Functional Language, Equations, Natural Semantics
1	Jacques Julliand, Guy-René Perrin	Design and development of concurrent programs.	CONPAR	1981	DBLP DOI BibTeX RDF

Publications of "Jacques Julliand" ( http://dblp.L3S.de/Authors/Jacques_Julliand )