default search action
Jacques Julliand
Person information
- affiliation: Université de Franche-Comté, Besançon, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j13]Guillaume Petiot, Nikolai Kosmatov
, Bernard Botella, Alain Giorgetti, Jacques Julliand:
How testing helps to diagnose proof failures. Formal Aspects Comput. 30(6): 629-657 (2018) - [j12]Jacques Julliand, Olga Kouchnarenko
Test Generation from Event System Abstractions to Cover Their States and Transitions. Program. Comput. Softw. 44(1): 1-14 (2018) - [c45]Jacques Julliand, Olga Kouchnarenko
Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF 2018: 63-82 - 2017
- [c44]Jacques Julliand, Olga Kouchnarenko
Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference 2017: 211-226 - [c43]Jacques Julliand, Olga Kouchnarenko
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? TASE 2017: 1-8 - 2016
- [j11]Hadrien Bride, Jacques Julliand, Pierre-Alain Masson:
Tri-modal under-approximation for test generation. Sci. Comput. Program. 132: 190-208 (2016) - [c42]Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
Your Proof Fails? Testing Helps to Find the Reason. TAP@STAF 2016: 130-150 - [c41]Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana:
Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. WETICE 2016: 211-213 - 2015
- [j10]Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso:
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. 27(4): 641-664 (2015) - [c40]Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana:
Test generation from timed pushdown automata with inputs and outputs. ICST Workshops 2015: 1-10 - [c39]Hadrien Bride, Jacques Julliand, Pierre-Alain Masson:
Tri-modal under-approximation of event systems for test generation. SAC 2015: 1737-1744 - [c38]Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana:
Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. WETICE 2015: 198-203 - [i3]Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
Your Proof Fails? Testing Helps to Find the Reason. CoRR abs/1508.01691 (2015) - 2014
- [j9]Achim D. Brucker
Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. 24(7): 497-498 (2014) - [j8]Achim D. Brucker
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. 24(8): 591-592 (2014) - [c37]Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
Instrumentation of Annotated C Programs for Test Generation. SCAM 2014: 105-114 - [c36]Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti
How Test Generation Helps Software Specification and Deductive Verification in Frama-C. TAP@STAF 2014: 204-211 - [c35]Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand:
Coverage Criteria for Model-Based Testing using Property Patterns. MBT 2014: 29-43 - 2013
- [j7]Jacques Julliand, Nicolas Stouls
B model slicing and predicate abstraction to generate tests. Softw. Qual. J. 21(1): 127-158 (2013) - [c34]Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha:
A Compositional Automata-Based Semantics for Property Patterns. IFM 2013: 316-330 - 2012
- [c33]Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
Program slicing enhances a verification technique combining static and dynamic analysis. SAC 2012: 1284-1291 - [e2]Achim D. Brucker
Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Lecture Notes in Computer Science 7305, Springer 2012, ISBN 978-3-642-30472-9 [contents] - 2011
- [j6]Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué:
Generating tests from B specifications and dynamic selection criteria. Formal Aspects Comput. 23(1): 3-19 (2011) - [j5]Jacques Julliand, Hassan Mountassir, Emilie Oudot:
Incremental verification of component-based timed systems. Int. J. Comput. Appl. Technol. 42(2/3): 159-176 (2011) - [j4]Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand:
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. Int. J. Softw. Tools Technol. Transf. 13(5): 431-448 (2011) - [c32]Kalou Cabrera Castillos
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS 2011: 32-47 - [c31]Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson:
Association of Under-Approximation Techniques for Generating Tests from Models. TAP@TOOLS 2011: 51-68 - [c30]Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP@TOOLS 2011: 78-83 - [p1]Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet:
Test Generation Using Symbolic Animation of Models. Model-Based Testing for Embedded Systems 2011 - 2010
- [c29]Jacques Julliand, Nicolas Stouls
B Model Abstraction Combining Syntactic and Semantic Methods. ASM 2010: 408 - [c28]Fabrice Bouquet
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops 2010: 54-61 - [c27]Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS 2010: 94-100 - [c26]Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson:
Syntactic Abstraction of B Models to Generate Tests. TAP@TOOLS 2010: 151-166 - [i2]Jacques Julliand, Nicolas Stouls
Syntactic Abstraction of B Models to Generate Tests. CoRR abs/1004.1262 (2010)
2000 – 2009
- 2009
- [j3]Jacques Julliand, Pierre-Alain Masson, Emilie Oudot:
Partitioned PLTL model-checking for refined transition systems. Inf. Comput. 207(6): 681-698 (2009) - 2008
- [j2]Alain Giorgetti
Verification of class liveness properties with java modelling language. IET Softw. 2(6): 500-514 (2008) - [c25]Jacques Julliand, Pierre-Alain Masson, Régis Tissot:
Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152 - [c24]Jacques Julliand, Pierre-Alain Masson, Régis Tissot:
Generating Security Tests in Addition to Functional Tests. AST 2008: 41-44 - 2007
- [c23]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 - [c22]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 - [c21]Jacques Julliand, Hassan Mountassir, Emilie Oudot:
Preservation of timed properties during an incremental development by components. ISoLA 2007: 159-166 - 2006
- [c20]Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand:
Safety Property Driven Test Generation from. FATES/RV 2006: 225-239 - [c19]Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE 2006: 33-40 - [c18]Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE 2006: 41-48 - [e1]Jacques Julliand, Olga Kouchnarenko:
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 [contents] - [i1]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) - 2005
- [j1]Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde:
PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embed. Comput. Syst. 4(2): 267-301 (2005) - [c17]Françoise Bellegarde, Samir Chouali, Jacques Julliand:
Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE 2005: 166-175 - [c16]Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
On the Contribution of a tau. FACS 2005: 97-111 - 2003
- [c15]Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Refinement Preserves PLTL Properties. ZB 2003: 408-420 - 2002
- [c14]Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Synchronized Parallel Composition of Event Systems in B. ZB 2002: 436-457 - [c13]Françoise Bellegarde, Samir Chouali, Jacques Julliand:
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB 2002: 477-496 - 2001
- [c12]Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19 - 2000
- [c11]Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE 2000: 266-283 - [c10]Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand:
Modular Verification for a Class of PLTL Properties. IFM 2000: 398-419 - [c9]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
1990 – 1999
- 1999
- [c8]Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir:
Modular Verification of Dynamic Properties for Reactive Systems. IFM 1999: 89-108 - 1998
- [c7]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 - 1997
- [c6]R. Bigeard, M. Devel, Jacques Julliand:
Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. HPCN Europe 1997: 175-189 - 1995
- [c5]Jacques Julliand, Béatrice Markhoff:
Functional Programming on MIMD. Parallel and Distributed Computing and Systems 1995: 525-528 - 1994
- [c4]Marie-Christine Eglin-Leclerc, Jacques Julliand:
Compilation of Equational System into Communicating Processes. Applied Informatics 1994: 348- - 1992
- [c3]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 - 1990
- [c2]Jacques Julliand, Guy-René Perrin:
Asynchronous Functional Parallel Programs. ICCI 1990: 356-365
1980 – 1989
- 1981
- [c1]Jacques Julliand, Guy-René Perrin:
Design and development of concurrent programs. CONPAR 1981: 464-479
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: