Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Jacques JULLIAND

Julliand Professeur

Informatique

Département Informatique des Systèmes Complexes
Equipe : VESONTIO
UFC - UFR ST

  • Tél. : 03.81.66.64.51
  • Fax : 03.81.66.64.50
  • Courriel : jjullian@femto-st.fr
  • Adresse : UFR Sciences et Techniques
    Route de Gray
    F-25030 Besançon

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

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter.

Listes des publications :

Category article
2015
  • A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns
    FAC, 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
    STVR, 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
    STVR, 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
    SQJ, Software Quality Journal (Volume 21, Issue (1), mar 2013, Pages :127--158)
    Stouls, Nicolas | Julliand, Jacques | Bué, Pierre-Christophe | Masson, Pierre-Alain
    ressource | doi | bibtex
2011
  • Generating Tests from B Specifications and Dynamic Selection Criteria
    FAC, Formal Aspects of Computing (Volume 23, Issue (1), 2011, Pages :3 - 19)
    Julliand, Jacques | Masson, Pierre-Alain | Tissot, Régis | Bué, Pierre-Christophe
    ressource | bibtex
  • Incremental Verification of Component-Based Timed Systems
    International Journal of Modelling, Identification and Control (Volume 42, Issue (2-3), 2011, Pages :159--176)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    ressource | bibtex
  • Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance
    STTT, International Journal on Software Tools for Technology Transfer (Volume 13, Issue (5), 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
    JIAS, Journal of Information Assurance and Security (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
    ressource | 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
    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
    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
    TSI (Technique et Science Informatiques) (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
    TSI (Technique et Science Informatiques) (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
    TSI (Technique et Science Informatiques) (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
    Revue Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation (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
    ressource | bibtex
Category inproceedings
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
    ressource | 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 ***--***)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    ressource | doi | bibtex
  • Conformance Testing for Timed Recursive programs
    ICIS 2015, 14th IEEE/ACIS Int. Conf. on Computer and Information Science / Las Vegas, United States (Publisher : IEEE, 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, Guillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    ressource | 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, Guillaume | 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, Guillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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
    ressource | 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 (Publisher : The journal of Supercomputing, 2008, Pages pages 1--16)
    Dadeau, Frédéric | Tissot, Régis | Julliand, Jacques
    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 Computer Society Press, 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, P. | 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
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