Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory


Return to the list

Jacques Julliand

Julliand

Informatique

DISC
Group : VESONTIO
UFC - UFR ST

  • Tel. : 03.81.66.64.51
  • Email : jjullian@femto-st.fr
  • Address : 16 route de Gray CS11809 25030 BESANCON cedex

Thème de recherche : Spécification et vérification de logiciels critiques

  • Vérification de propriétés PLTL (Logique temporelle linéaire)
  • Combinaison preuve et test pour la vérification de programmes C
  • Génération de tests à partir de modèles par abstraction
  • Méthode B et raffinement
  • Automates temporisés, Automates temporisés

Professeur à l'Université de Franche-Comté, HDR soutenue en février 1992 à l'Université de Nancy 1

  • 2015 - 2011: Responsable du département de formation en Informatique de l'UFR ST
  • 2008 - 2011: Directeur adjoint UFR-ST chargé de la recherche
  • 2008-2011: Responsable du PPF MIDi (Microsystèmes Intelligents Distribués)
  • 1996 - 2007 : Directeur du LIFC
  • membre des comités de programme ABZ, ZB, B, MSR et AFADL
  • chair man de AFADL 2004, B'2007
  • 1994 -1998 : Responable du DESS Génie Informatique, Systèmes Distribués, Parallélisme
  • 1988 - 1992 : Responsable de la licence et de la maîtrsie d'informatique
  • 1985 - 1993 : Maître de conférences à l'UFC
  • 1992 : HDR à l'Université de Nancy 1
  • 1982 - 1985 : Assistant à l'IUT de Belfort
  • 1981 : Thèse de 3ème cycle
  • 1978 : DEA Université de Nancy 1
  • 1972-1977 : Etude d'ingénieur INSA Lyon

Professeur d'informatique à l'UFR Sciences et Techniques de l'Université de Franche-comté.
J'y enseigne:

  • Preuve et Evaluation de Programmes
    en licence d'informatique et licence d'informatique à distance (cours Logique de Hoare - TD - TP Preuve en B)
  • Spécification, Vérification et Validation
    en Master Informatique 2ème année(cours - TD - TP) :modéliser pour tester, raffinement, preuve de programmes séquentiels
  • Compilation
    en Master informatique 1ère année (TD - TP) : analyse syntaxique, sémantiques, génération de code
  • Algorithmique et Programmation Java
    en Licence Sciences et Techniques 1ère année, semestre Starter

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2016
  • Tri-modal under-approximation for test generation
    Science of Computer Programming (Volume 132, Issue (2), aug 2016, Pages :190 - 208)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
2015
  • A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns
    Formal Aspects of Computing (Volume 27, Issue (4), dec 2015, Pages :641-664)
    Taha, Safouan | Julliand, Jacques | Dadeau, Frédéric | Cabrera Castillos, Kalou | Kanso, Bilal
    doi | bibtex
2014
  • Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing
    Software Testing, Verification and Reliability (Volume 24, Issue (7), oct 2014, Pages :497 - 498)
    Brucker, Achim D. | Julliand, Jacques
    doi | bibtex
  • 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
    Software Testing, Verification and Reliability (Volume 24, Issue (8), oct 2014, Pages :591 - 592)
    Brucker, Achim D. | Julliand, Jacques
    doi | bibtex
2013
  • B Model Slicing and Predicate Abstraction to Generate Tests
    Software Quality Journal (Volume 21, Issue (1), mar 2013, Pages :127 - 158)
    Julliand, Jacques | Stouls, Nicolas | Bué, Pierre-Christophe | Masson, Pierre-Alain
    pdf | doi | bibtex
2011
  • Generating Tests from B Specifications and Dynamic Selection Criteria
    Formal Aspects of Computing (Volume 23, Issue (1), jan 2011, Pages :3 - 19)
    Julliand, Jacques | Masson, Pierre-Alain | Tissot, Régis | Bué, Pierre-Christophe
    pdf | doi | bibtex
  • Incremental Verification of Component-Based Timed Systems
    International Journal of Computer Applications in Technology (Volume 42, Issue (2-3), 2011, Pages :159 - 176)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    pdf | doi | bibtex
  • Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance
    International Journal on Software Tools for Technology Transfer (STTT) (Volume 13, Issue (5), oct 2011, Pages :431 - 448)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques
    doi | bibtex
2010
  • An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
    Journal of Information Assurance and Security (JIAS) (Volume 5, Issue (1), 2010, Pages :335 - 351)
    Masson, Pierre-Alain | Potet, Marie-Laure | Julliand, Jacques | Tissot, Régis | Debois, Georges | Legeard, Bruno | Chetali, Boutheina | Bouquet, Fabrice | Jaffuel, Eddie | Van Aertrick, Lionel | Andronick, June | Haddad, Amal
    pdf | bibtex
2009
  • Partitioned PLTL Model-Checking for Refined Transition Systems
    Information and Computation (Volume 207, Issue (6), jun 2009, Pages :681 - 698)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
    pdf | doi | bibtex
2008
  • Verification of class liveness properties with Java modeling language
    IET Software (Volume 2, Issue (6), dec 2008, Pages :500 - 514)
    Julliand, Jacques | Giorgetti, Alain | Groslambert, Julien | Kouchnarenko, Olga
    pdf | doi | bibtex
2005
  • PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions
    ACM Transactions on Embedded Computing Systems (TECS) (Volume 4, Issue (2), may 2005, Pages :267--301)
    Chouali, Samir | Julliand, Jacques | Masson, Pierre-Alain | Bellegarde, Françoise
    bibtex
2001
  • Vérification par model-checking modulaire des propriétés dynamiques introduites en B
    Technique et Science Informatiques (TSI) (Volume 20, Issue (7), 2001, Pages :927--957)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
1999
  • Démarche de projet pour enseigner la compilation
    Technique et Science Informatiques (TSI) (Volume 18, Issue (1), 1999, Pages :75--100)
    Chatonnay, Pascal | Julliand, Jacques | Lasalle, Marie-France
    bibtex
  • De l'expression des besoins à l'expression formelle des propriétés dynamiques
    Technique et Science Informatiques (TSI) (Volume 18, Issue (7), 1999, Pages :747--776)
    Julliand, Jacques | Bellegarde, Françoise | Parreaux, Benoit
    bibtex
1997
  • Functional programming on MIMD multicomputers
    International Journal of Computers and Applications, ISMM (Volume 19, Issue (3), 1997, Pages :150--155)
    Julliand, Jacques | Markhoff, B.
    bibtex
Category book
2010
  • Cours et exercices corrigés d'algorithmique - Vérifier, tester et concevoir des programmes en les modélisant
    Vuibert (feb 2010)
    Julliand, Jacques
    bibtex
Category incollection
2011
  • Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press / , Volume , Issue , Edition : , Series , Chapter , 2011, Pages 195--218, )
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
Category inproceedings
2017
  • Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?
    TASE 2017, 11th Int. Symposium on Theoretical Aspects of Software Engineering / Sophia Antipolis, France (2017)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
  • Approximer des abstractions de systèmes d'événements en couvrant leurs états et leurs transitions
    AFADL 2017, 16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels / Montpellier, France (2017, Pages pages 93 - 94)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
  • Approximating Event System Abstractions by Covering their States and Transitions
    PSI'17, A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition) / Moscow, Russia (2017)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
2016
  • Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines
    2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) / Paris, France (Publisher : IEEE, 2016, Pages pages 211 - 213)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
  • Your Proof Fails? Testing Helps to Find the Reason
    10th International Conference on Tests and Proofs, TAP 2016, Held as Part of STAF 2016 / Vienna, Austria (Volume 9762, 2016, Pages pages 130 - 150)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Botella, Bernard | Giorgetti, Alain | Julliand, Jacques
    pdf | doi | bibtex
2015
  • Tri-Modal Under-Approximation of Event Systems for Test Generation
    SAC 2015, 30th ACM/SIGAPP Symposium On Applied Computing / Salamanca, Spain (2015, Pages pages 1737--1744)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • Test Generation from Timed Pushdown Automata with Inputs and Outputs
    A-MOST 2015, 11th Workshop on Advances in Model Based Testing. Co-located with ICST 2015 / Graz, Austria (Publisher : IEEE, 2015, Pages pages 1--10)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    pdf | doi | bibtex
  • Conformance Testing for Timed Recursive programs
    Computer and Information Science 2015 / Las Vegas, United States (Publisher : Springer, Volume 614, 2015, Pages pages 203 - 219)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
  • Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation
    WETICE 2015, 24rd IEEE WETICE Conference, 3rd Track on Validation of Safety critical Collaboration systems / Larnaca, Cyprus (Publisher : IEEE, 2015, Pages pages 198--203)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
2014
  • Coverage Criteria for Model-Based Testing using Property Patterns
    MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014 / Grenoble, France (Volume 141, 2014, Pages pages 29--43)
    Dadeau, Frédéric | Cabrera Castillos, Kalou | Julliand, Jacques
    doi | bibtex
  • How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    TAP 2014, 8th Int. Conf. of Tests and Proofs / York, UK (Publisher : Springer, Volume 8570, 2014, Pages pages 204--211)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | doi | bibtex
  • Instrumentation of Annotated C Programs for Test Generation
    SCAM 2014, 14th IEEE Int. Working Conf. on Source Code Analysis and Manipulation / Victoria, British Columbia, Canada (2014, Pages pages ***--***)
    Petiot, Guiillaume | Botella, Bernard | Julliand, Jacques | Kosmatov, Nikolaï | Signoles, Julien
    bibtex
  • Comment la génération de tests facilite la spécification et la vérification déductive des programmes dans Frama-C
    AFADL'14, 13èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Paris, France (2014, Pages pages 133--133)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
2013
  • A Compositional Automata-based Semantics for Property Patterns
    iFM 2013, 10th International Conference on integrated Formal Methods / Turku, Finland (Publisher : Springer, Volume 7940, 2013, Pages pages 316 - 330)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Kanso, Bilal | Taha, Safouan
    pdf | doi | bibtex
2012
  • Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
    SAC 2012, 27-th ACM Symposium On Applied Computing / Trento, Italy (2012, Pages pages 1284--1291)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
2011
  • Association of Under-Approximation Techniques for Generating Tests from Models
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, 2011, Pages pages 51--68)
    Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | bibtex
  • The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, 2011, Pages pages 78--83)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    bibtex
  • Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
    ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems / Paris, France (Volume 7019, 2011, Pages pages 32--47)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Taha, Safouan
    bibtex
2010
  • Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
    A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10 / Paris, France (2010, Pages pages 54--61)
    Bouquet, Fabrice | Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • Syntactic Abstraction of B Models to Generate Tests
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, 2010, Pages pages 151--166)
    Julliand, Jacques | Stouls, Nicolas | Bué, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • Combining Static Analysis and Test Generation for C Program Debugging
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, 2010, Pages pages 94--100)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
  • Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
    AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 11--25)
    Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
  • B Model Abstraction Combining Syntactic and Semantic Methods
    ABZ'10, ASM, Alloy, B and Z conference / Orford, Québec, Canada (2010)
    Julliand, Jacques | Stouls, Nicolas | Bué, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • Combining Frama-C and PathCrawler for C Program Debugging
    GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel / Pau, France (2010, Pages pages 217--218)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
2009
  • Génération de tests à partir de critères dynamiques de sélection et par abstraction
    AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels / Toulouse, France (2009, Pages pages 161--176)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe
    bibtex
2008
  • Generating Tests from B Specifications and Test Purposes
    ABZ'2008, Int. Conf. on ASM, B and Z / London, United Kingdom (Volume 5238, 2008, Pages pages 139--152)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    doi | bibtex
  • Generating Security Tests in Addition to Functional Tests
    AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 41--44)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    doi | bibtex
  • Leirios Test Generator: from Research to Teaching, through Industry
    Int. Workshop on the B Method: from Research to Teaching / Nantes, France (2008, Pages pages 1--16)
    Dadeau, Frédéric | Tissot, Régis | Julliand, Jacques
    pdf | bibtex
2007
  • Automatic Generation of Model Based Tests for a Class of Security Properties
    A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 12--22)
    Julliand, Jacques | Masson, Pierre-Alain | Debois, Georges | Jaffuel, Eddie | Plessis, J.-C.
    doi | bibtex
  • VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System
    ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods / Boca Raton, Florida, United States (Volume 4789, 2007, Pages pages 116--135)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé
    AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils / Namur, Belgium (2007, Pages pages 289--290)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Preservation of timed properties during an incremental development by components
    ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation / Poitiers, France (2007, Pages pages 159--166)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
2006
  • Safety Property Driven Test Generation from JML Specifications
    FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification / Seattle, WA, United States (Volume 4262, 2006, Pages pages 225--239)
    Dadeau, Frédéric | Bouquet, Fabrice | Julliand, Jacques | Groslambert, Julien
    bibtex
  • JML-based Verification of Liveness Properties on a Class
    SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 41--48)
    Julliand, Jacques | Groslambert, Julien | Kouchnarenko, Olga
    bibtex
  • Experiments in the use of tau-simulations for the components-verification of real-time systems
    SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 33--40)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Model-Based Security Testing, Application to a Smart Card Identity Applet
    eSmart 2006, 7th Int. Conf. on Smart Cards / Sophia-Antipolis, France (2006)
    Bouquet, Fabrice | Celletti, F. | Debois, Georges | De Lavernette, A. | Jaffuel, Eddie | Julliand, Jacques | Legeard, Bruno | Lidoine, J. | Plessis, J.-C. | Masson, Pierre-Alain
    bibtex
2005
  • Refinement Verification of Fair Transition Systems can Contribute to PLTL Model Checking
    Third ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2005) / Verona, Italy (Publisher : IEEE, 2005, Pages pages 167--176)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques
    bibtex
  • On the contribution of a tau-simulation in the incremental modeling of timed systems
    FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software / Macao, Macao (Publisher : Elsevier, Volume 160, 2005, Pages pages 97--111)
    Bellegarde, Françoise | Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
2004
  • Conception et vérification de systèmes temps réel par raffinement
    12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04 / Paris, France (2004, Pages pages 85--99)
    Hammad, Ahmed | Julliand, Jacques | Mountassir, Hassan | Al'Achhab, Mohammed
    bibtex
2003
  • Refinement Preserves PLTL Properties
    Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B / Turku, Finland (Volume 2651, 2003, Pages pages 408--420)
    Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Expression en B et raffinement des systèmes réactifs temps réel
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03 / Rennes, France (2003, Pages pages 211--225)
    Hammad, Ahmed | Julliand, Jacques | Mountassir, Hassan | Okalas, D.
    bibtex
  • Model Checking des propriétés dynamiques sous hypothèses d'équité, exploitant le raffinement
    Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels / Rennes, France (2003, Pages pages 277--291)
    Chouali, Samir | Julliand, Jacques
    bibtex
2002
  • Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
    2nd International Conference of B and Z Users, ZB2002 / Grenoble, France (Volume 2272, 2002, Pages pages 477--496)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques
    bibtex
  • Synchronized Parallel Composition of Event Systems in B
    2nd International Conference of B and Z Users, ZB2002 / Grenoble, France (Volume 2272, 2002, Pages pages 436--457)
    Bellegarde, Françoise | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
2001
  • Reformulation: a Way to Combine Dynamic Properties and B Refinement
    FME 2001 (Formal Methods Europe) / Berlin, Germany (Publisher : Springer, Volume 2021, 2001, Pages pages 2--19)
    Bellegarde, Françoise | Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Comment limiter la spécification de l'équité dans les systèmes d'événements B ?
    Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels) / Nancy, France (2001, Pages pages 205--220)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • How to Verify LTL perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation
    Proc. of the Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'2001), joint to FME'01, Naval Research Laboratory Technical Memorandum / Berlin, Germany (2001)
    Bellegarde, Françoise | Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
2000
  • Ready-simulation is not Ready to Express a Modular Refinement Relation
    Fondamental Aspects of Software Engineering 2000, FASE'2000 / Berlin, Germany (Volume 1783, 2000, Pages pages 266--283)
    Bellegarde, Françoise | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
    Conference ZB 2000 / York, United Kingdom (Publisher : Springer, Volume 1878, 2000, Pages pages 230--249)
    Bellegarde, Françoise | Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Modular verification for a class of PLTL properties
    2nd Int. Conf. on Integrated Formal Methods, IFM'2000 / Dagstuhl, Saarland, Germany (Publisher : Springer, Volume 1945, 2000, Pages pages 398--419)
    Masson, Pierre-Alain | Mountassir, Hassan | Julliand, Jacques
    bibtex
  • Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL
    Actes du congrès AFADL'2000 / Grenoble, France (2000, Pages pages 127--141)
    Mountassir, Hassan | Bellegarde, Françoise | Julliand, Jacques | Masson, Pierre-Alain
    bibtex
1999
  • Modular verification of dynamic properties for reactive systems
    International Workshop on Integrated Formal Methods, IFM'99 / York, Grande-Bretagne (1999, Pages pages 89--108)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
  • Model-Based Verification through Refinement of Finite B Event Systems
    Formal Methods'99 B User Group Meeting / Toulouse, France (Publisher : Springer, 1999)
    Bellegarde, Françoise | Julliand, Jacques | Mountassir, Hassan
    bibtex
1998
  • Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic
    2nd B Conference / Montpellier, France (Volume 1393, 1998, Pages pages 273--292)
    Julliand, Jacques | Legeard, Bruno | Machicoane, T. | Parreaux, Benoit | Tatibouet, Bruno
    bibtex
  • Extension des spécifications B pour décrire des propriétés dynamiques de systèmes réactifs
    Congrès AFADL'98 / Poitiers, Futuroscope, France (1998, Pages pages 125--136)
    Julliand, Jacques | Bellegarde, Françoise
    bibtex
1997
  • Comparaison de diverses méthodes pour la parallélisation d'un logiciel de simulation en mise en forme des matériaux
    3ème Colloque National en Calcul des Structures / Giens, France (Volume 1, 1997, Pages pages 327--334)
    Paquier, PASCAL | Gelin, Jean-Claude | Julliand, Jacques
    bibtex
  • Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images
    High Performance Computing and Networking / Vienne, Autriche (Volume 1225, 1997, Pages pages 175--189)
    Bigeard, Romain | Devel, Michel | Julliand, Jacques
    bibtex
Category misc
2012
  • Contributions à la Génération Automatique de Tests à partir de Critères de Sélection Dynamique par Abstraction de Modèles
    Séminaire invité au CEA de Saclay, France (jan 2012)
    Julliand, Jacques
    bibtex
2006
  • VeSTA - Vérification de Simulations entre Automates Temporisés
    ( 2006)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
Category proceedings
2012
  • TAP'12, 6-th Int. Conf. on Tests and Proofs
    / Prague, Czech Republic (Editor : Brucker, Achim D. and Julliand, Jacques, Volume 7305, may 2012)
    Julliand, Jacques
    doi | bibtex
Category techreport
2017
  • Approximating Event System Abstractions by Covering their States and Transitions
    (feb 2017, Research Report, Number RR–FEMTO-ST–2496)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex
2009
  • Test Generation Based on Abstraction and Dynamic Selection Criteria
    (sep 2009, Research Report, Number RR2009-02)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe
    bibtex
  • B Model Abstraction Combining Syntactic and Semantics Methods
    (nov 2009, Research Report, Number RR2009-04)
    Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe | Stouls, Nicolas
    bibtex
2008
  • Partitioned PLTL Model-Checking for Refined Transition Systems
    (oct 2008, Research Report, Number RR2008-07)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
    bibtex
2007
  • Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development
    (nov 2007, Research Report, Number RR2007-01)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
2006
  • The tool VeSTA: Verification of Simulations for Timed Automata
    (jul 2006, Technical Report, Number RT2006-01)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Experiments in the use of tau-simulations for the Verification of Timed Components
    (jul 2006, Research Report, Number RR2006-04)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
2005
  • Verification of Liveness Properties with JML
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (nov 2005, Research Report, Number RR2005-04)
    Bellegarde, Françoise | Groslambert, Julien | Huisman, M. | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
2002
  • Formalisation et expressivité des propriétés vérifiables avec Scade
    PSA (apr 2002, Livrable Num. 2, Number 969)
    Julliand, Jacques | Lebeau, Franck | Stuchlick, M.-P.
    bibtex
2001
  • Formalisation et expressivité des propriétés vérifiables avec ObjectGéode et StateMate
    PSA (dec 2001, Livrable Num. 1, Number 969)
    Julliand, Jacques | Lebeau, Franck | Stuchlick, M.-P.
    bibtex
Category unpublished
1999
  • Extensions de spécifications B par des propriétés dynamiques vérifiées par coopération preuve model-checking (mar 1999)
    Julliand, Jacques
    bibtex
  • Vérification modulaire des propriétés dynamiques introduites en B (dec 1999)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
1998
  • Extension de spécifications B par de la logique temporelle linéaire (dec 1998)
    Julliand, Jacques
    bibtex