Jacques Julliand

64 papers B 4C 9Misc 3Journal 16Unranked 29

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	How testing helps to diagnose proof failures. Formal Aspects Comput. Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2018	J	`jnl`	Test Generation from Event System Abstractions to Cover Their States and Transitions. Program. Comput. Softw. Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2018	—	`conf`	Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2017	—	`conf`	Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2017	Misc	`conf`	Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? TASE Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2016	C	`conf`	Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. WETICE Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2016	J	`jnl`	Tri-modal under-approximation for test generation. Sci. Comput. Program. Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
2016	—	`conf`	Your Proof Fails? Testing Helps to Find the Reason. TAP@STAF Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2015	J	`jnl`	A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
2015	C	`conf`	Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. WETICE Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2015	—	`conf`	Test generation from timed pushdown automata with inputs and outputs. ICST Workshops Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2015	Misc	`conf`	Tri-modal under-approximation of event systems for test generation. SAC Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
2015	J	`jnl`	Your Proof Fails? Testing Helps to Find the Reason. CoRR Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2014	—	`conf`	Coverage Criteria for Model-Based Testing using Property Patterns. MBT Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
2014	J	`jnl`	Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. Achim D. Brucker, Jacques Julliand
2014	J	`jnl`	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. Softw. Test. Verification Reliab. Achim D. Brucker, Jacques Julliand
2014	—	`conf`	How Test Generation Helps Software Specification and Deductive Verification in Frama-C. TAP@STAF Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
2014	C	`conf`	Instrumentation of Annotated C Programs for Test Generation. SCAM Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
2013	B	`conf`	A Compositional Automata-Based Semantics for Property Patterns. IFM Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
2013	J	`jnl`	B model slicing and predicate abstraction to generate tests. Softw. Qual. J. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2012	Misc	`conf`	Program slicing enhances a verification technique combining static and dynamic analysis. SAC Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
2012	—	`ed.`	Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings TAP@TOOLS Achim D. Brucker, Jacques Julliand
2011	—	`conf`	Association of Under-Approximation Techniques for Generating Tests from Models. TAP@TOOLS Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
2011	J	`jnl`	Generating tests from B specifications and dynamic selection criteria. Formal Aspects Comput. Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué
2011	J	`jnl`	Incremental verification of component-based timed systems. Int. J. Comput. Appl. Technol. Jacques Julliand, Hassan Mountassir, Emilie Oudot
2011	C	`conf`	Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
2011	J	`jnl`	Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. Int. J. Softw. Tools Technol. Transf. Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
2011	—	`ch.`	Test Generation Using Symbolic Animation of Models. Model-Based Testing for Embedded Systems Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet
2011	—	`conf`	The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP@TOOLS Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
2010	—	`conf`	B Model Abstraction Combining Syntactic and Semantic Methods. ASM Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010	—	`conf`	Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
2010	J	`jnl`	Syntactic Abstraction of B Models to Generate Tests CoRR Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010	—	`conf`	Syntactic Abstraction of B Models to Generate Tests. TAP@TOOLS Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010	—	`conf`	Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
2009	J	`jnl`	Partitioned PLTL model-checking for refined transition systems. Inf. Comput. Jacques Julliand, Pierre-Alain Masson, Emilie Oudot
2008	—	`conf`	Generating Security Tests in Addition to Functional Tests. AST@ICSE Jacques Julliand, Pierre-Alain Masson, Régis Tissot
2008	C	`conf`	Generating Tests from B Specifications and Test Purposes. ABZ Jacques Julliand, Pierre-Alain Masson, Régis Tissot
2008	J	`jnl`	Verification of class liveness properties with java modelling language. IET Softw. Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
2007	—	`conf`	Automatic generation of model based tests for a class of security properties. A-MOST Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois
2007	C	`conf`	Preservation of timed properties during an incremental development by components. ISoLA Jacques Julliand, Hassan Mountassir, Emilie Oudot
2007	C	`conf`	VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. ICFEM Jacques Julliand, Hassan Mountassir, Emilie Oudot
2006	—	`ed.`	B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings B Jacques Julliand, Olga Kouchnarenko
2006	—	`conf`	Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
2006	—	`conf`	JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
2006	J	`jnl`	PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions CoRR Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
2006	—	`conf`	Safety Property Driven Test Generation from. FATES/RV Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
2005	—	`conf`	On the Contribution of a tau. FACS Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
2005	J	`jnl`	PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embed. Comput. Syst. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
2005	C	`conf`	Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE Françoise Bellegarde, Samir Chouali, Jacques Julliand
2003	—	`conf`	Refinement Preserves PLTL Properties. ZB Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
2002	—	`conf`	Synchronized Parallel Composition of Event Systems in B. ZB Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
2002	—	`conf`	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB Françoise Bellegarde, Samir Chouali, Jacques Julliand
2001	—	`conf`	Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
2000	B	`conf`	Modular Verification for a Class of PLTL Properties. IFM Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand
2000	B	`conf`	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
2000	—	`conf`	Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
1999	B	`conf`	Modular Verification of Dynamic Properties for Reactive Systems. IFM Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir
1998	—	`conf`	Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët
1997	—	`conf`	Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. HPCN Europe R. Bigeard, M. Devel, Jacques Julliand
1995	—	`conf`	Functional Programming on MIMD. Parallel and Distributed Computing and Systems Jacques Julliand, Béatrice Markhoff
1994	—	`conf`	Compilation of Equational System into Communicating Processes. Applied Informatics Marie-Christine Eglin-Leclerc, Jacques Julliand
1992	—	`conf`	How to Compile Systems of Recurrence Equations into Networks of Communicating Processes. CONPAR Marie-Christine Eglin-Leclerc, Jacques Julliand, Guy-René Perrin
1990	C	`conf`	Asynchronous Functional Parallel Programs. ICCI Jacques Julliand, Guy-René Perrin
1981	—	`conf`	Design and development of concurrent programs. CONPAR Jacques Julliand, Guy-René Perrin