Back to INDEX

  Publications of Jacques Julliand  

Articles in journal or book chapters
  1. Kalou Cabrera Castillos, Frédéric Dadeau, and Jacques Julliand. Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance. STTT, International Journal on Software Tools for Technology Transfer, 13(5):431--448, 2011. Note: Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE'09). [bibtex]


  2. Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Test Generation using Symbolic Animation of Models. In Model-Based Testing for Embedded Systems, Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, pages 195--218. CRC Press, 2011. [bibtex]


  3. Jacques Julliand, Pierre-Alain Masson, Régis Tissot, and Pierre-Christophe Bué. Generating Tests from B Specifications and Dynamic Selection Criteria. FAC, Formal Aspects of Computing, 23(1):3--19, 2011. Note: Revised and extended version of a paper from the ABZ'08 conference. [bibtex]


  4. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Incremental Verification of Component-Based Timed Systems. IJCAT, International Journal of Computer Applications in Technology, special issue on Formal Modeling and Verification of Critical Systems, 42(2-3):***--***, 2011. Note: Accepted manuscript. To appear. [bibtex]


  5. Nicolas Stouls, Jacques Julliand, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Slicing and Predicate Abstraction to Generate Tests. SQJ, Software Quality Journal, *(*):***--***, 2011. Note: Accepted manuscript. Revised and extended version of a TAP'10 paper. To appear. [bibtex]


  6. Pierre-Alain Masson, Marie-Laure Potet, Jacques Julliand, Régis Tissot, Georges Debois, Bruno Legeard, Boutheina Chetali, Fabrice Bouquet, Eddie Jaffuel, Lionel Van Aertrick, June Andronick, and Amal Haddad. An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project. JIAS, Journal of Information Assurance and Security, 5(1):335--351, 2010. [bibtex]


  7. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Information and Computation, 207(6):681--698, June 2009. [bibtex]


  8. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, 2(6):500--514, December 2008. [bibtex]


  9. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, and Françoise Bellegarde. PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions. ACM Transactions on Embedded Computing Systems (TECS), 4(2):267--301, May 2005. [bibtex]


  10. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification par model-checking modulaire des propriétés dynamiques introduites en B. TSI (Technique et Science Informatiques), 20(7):927--957, 2001. [bibtex]


  11. Pascal Chatonnay, Jacques Julliand, and Marie-France Lasalle. Démarche de projet pour enseigner la compilation. TSI (Technique et Science Informatiques), 18(1):75--100, 1999. [bibtex]


  12. Jacques Julliand, Françoise Bellegarde, and Benoit Parreaux. De l'expression des besoins à l'expression formelle des propriétés dynamiques. TSI (Technique et Science Informatiques), 18(7):747--776, 1999. [bibtex]


  13. Jacques Julliand and B. Markhoff. Functional programming on MIMD multicomputers. International Journal of Computers and Applications, ISMM, 19(3):150--155, 1997. [bibtex]


Conference articles
  1. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis. In SAC 2012, 27-th ACM Symposium On Applied Computing, Trento, Italy, pages 1284--1291, March 2012. [bibtex]


  2. Pierre-Christophe Bué, Jacques Julliand, and Pierrre-Alain Masson. Association of Under-Approximation Techniques for Generating Tests from Models. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 51--68, June 2011. Springer. [bibtex]


  3. Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, and Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests. In B. Wolff and F. Zaidi, editors, ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems, volume 7019 of LNCS, Paris, France, pages 32--47, November 2011. Springer. [bibtex]


  4. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 78--83, June 2011. Springer. Note: Short paper, TOOL session. [bibtex]


  5. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. In A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Paris, France, pages 54--61, April 2010. [bibtex]


  6. Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 11--25, June 2010. [bibtex]


  7. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Frama-C and PathCrawler for C Program Debugging. In GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel, Pau, France, pages 217--218, March 2010. Note: Résumé étendu. [bibtex]


  8. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 94--100, July 2010. [bibtex]


  9. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantic Methods. In ABZ'10, ASM, Alloy, B and Z conference, Orford, Québec, Canada, February 2010. Note: Short paper. [bibtex]


  10. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 151--166, July 2010. [bibtex]


  11. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Génération de tests à partir de critères dynamiques de sélection et par abstraction. In AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, pages 161--176, January 2009. [bibtex]


  12. Frédéric Dadeau, Jacques Julliand, and Régis Tissot. Leirios Test Generator: from Research to Teaching, through Industry. In C. Attiogbé and E. Habrias, editors, Int. Workshop on the B Method: from Research to Teaching, Nantes, France, pages 1--16, June 2008. APCB. [bibtex]


  13. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Security Tests in Addition to Functional Tests. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 41--44, May 2008. ACM Press. [bibtex]


  14. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Tests from B Specifications and Test Purposes. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 139--152, September 2008. Springer. [bibtex]


  15. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Preservation of timed properties during an incremental development by components. In Y. Ait Ameur, F. Boniol, and V. Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, RNTI, Revue des Nouvelles Technologies de l'Information, Poitiers, France, pages 159--166, December 2007. Cépaduès éditions. [bibtex]


  16. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils, Namur, Belgium, pages 289--290, June 2007. [bibtex]


  17. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System. In M. Butler, M. Hinchey, and M.M. Larrondo-Petrie, editors, ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods, volume 4789 of LNCS, Boca Raton, Florida, United States, pages 116--135, November 2007. Springer. [bibtex]


  18. Pierre-Alain Masson, Jacques Julliand, J.-C. Plessis, Eddie Jaffuel, and Georges Debois. Automatic Generation of Model Based Tests for a Class of Security Properties. In A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, London, United Kingdom, pages 12--22, July 2007. ACM Press. Note: A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis. [bibtex]


  19. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the components-verification of real-time systems. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 33--40, November 2006. [bibtex]


  20. Fabrice Bouquet, F. Celletti, Georges Debois, A. De Lavernette, Eddie Jaffuel, Jacques Julliand, Bruno Legeard, J. Lidoine, J.-C. Plessis, and Pierre-Alain Masson. Model-Based Security Testing, Application to a Smart Card Identity Applet. In eSmart 2006, 7th Int. Conf. on Smart Cards, Sophia-Antipolis, France, September 2006. [bibtex]


  21. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, and Jacques Julliand. Safety Property Driven Test Generation from JML Specifications. In K. Havelund, M. Garcia, G. Rosu, and B. Wolff, editors, FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, volume 4262 of LNCS, Seattle, WA, United States, pages 225--239, August 2006. Springer. [bibtex]


  22. Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. JML-based Verification of Liveness Properties on a Class. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 41--48, November 2006. [bibtex]


  23. Françoise Bellegarde, Samir Chouali, and Jacques Julliand. Refinement Verification of Fair Transition Systems can Contribute to PLTL Model Checking. In Third ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2005), Verona, Italy, pages 167--176, July 2005. IEEE Computer Society Press. Note: ISBN 0-7803-9227-2. [bibtex]


  24. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. On the contribution of a tau-simulation in the incremental modeling of timed systems. In FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software, volume 160 of Electronic Notes in Theoretical Computer Science, Macao, Macao, pages 97--111, October 2005. Elsevier. [bibtex]


  25. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and Mohammed Al'Achhab. Conception et vérification de systèmes temps réel par raffinement. In 12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04, Paris, France, pages 85--99, March 2004. [bibtex]


  26. Samir Chouali and Jacques Julliand. Model Checking des propriétés dynamiques sous hypothèses d'équité, exploitant le raffinement. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 277--291, January 2003. [bibtex]


  27. Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Refinement Preserves PLTL Properties. In Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B, volume 2651 of LNCS, Turku, Finland, pages 408--420, June 2003. [bibtex]


  28. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and D. Okalas. Expression en B et raffinement des systèmes réactifs temps réel. In Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03, Rennes, France, pages 211--225, January 2003. [bibtex]


  29. Françoise Bellegarde, Samir Chouali, and Jacques Julliand. Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 477--496, January 2002. [bibtex]


  30. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Synchronized Parallel Composition of Event Systems in B. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 436--457, January 2002. [bibtex]


  31. Françoise Bellegarde, Samir Chouali, Jacques Julliand, and Olga Kouchnarenko. Comment limiter la spécification de l'équité dans les systèmes d'événements B ?. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 205--220, June 2001. [bibtex]


  32. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. How to Verify LTL perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation. In 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, March 2001. [bibtex]


  33. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulation: a Way to Combine Dynamic Properties and B Refinement. In FME 2001 (Formal Methods Europe), volume 2021 of LNCS, Berlin, Germany, pages 2--19, March 2001. Springer. [bibtex]


  34. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. In Conference ZB 2000, volume 1878 of LNCS, York, United Kingdom, pages 230--249, August 2000. Springer. [bibtex]


  35. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Ready-simulation is not Ready to Express a Modular Refinement Relation. In Fondamental Aspects of Software Engineering 2000, FASE'2000, volume 1783 of LNCS, Berlin, Germany, pages 266--283, March 2000. [bibtex]


  36. Pierre-Alain Masson, Hassan Mountassir, and Jacques Julliand. Modular verification for a class of PLTL properties. In 2nd Int. Conf. on Integrated Formal Methods, IFM'2000, volume 1945 of LNCS, Dagstuhl, Saarland, Germany, pages 398--419, November 2000. Springer. [bibtex]


  37. Hassan Mountassir, Françoise Bellegarde, Jacques Julliand, and Pierre-Alain Masson. Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL. In Actes du congrès AFADL'2000, Grenoble, France, pages 127--141, January 2000. [bibtex]


  38. Françoise Bellegarde, Jacques Julliand, and Hassan Mountassir. Model-Based Verification through Refinement of Finite B Event Systems. In K. Robinson and Didier Bert, editors, Formal Methods'99 B User Group Meeting, Toulouse, France, September 1999. Springer. [bibtex]


  39. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Modular verification of dynamic properties for reactive systems. In International Workshop on Integrated Formal Methods, IFM'99, York, Grande-Bretagne, pages 89--108, June 1999. [bibtex]


  40. Jacques Julliand and Françoise Bellegarde. Extension des spécifications B pour décrire des propriétés dynamiques de systèmes réactifs. In Congrès AFADL'98, Poitiers, Futuroscope, France, pages 125--136, October 1998. [bibtex]


  41. Jacques Julliand, Bruno Legeard, T. Machicoane, Benoit Parreaux, and Bruno Tatibouët. Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic. In 2nd B Conference, volume 1393 of LNCS, Montpellier, France, pages 273--292, April 1998. [bibtex]


  42. Romain Bigeard, M. Devel, and Jacques Julliand. Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. In High Performance Computing and Networking, volume 1225 of LNCS, Vienne, Autriche, pages 175--189, April 1997. [bibtex]


  43. P. Paquier, J.C. Gelin, and Jacques Julliand. Comparaison de diverses méthodes pour la parallélisation d'un logiciel de simulation en mise en forme des matériaux. In 3ème Colloque National en Calcul des Structures, volume 1, Giens, France, pages 327--334, 1997. [bibtex]


Books and proceedings
  1. Jacques Julliand. Cours et exercices corrigés d'algorithmique - Vérifier, tester et concevoir des programmes en les modélisant. Vuibert, February 2010. [bibtex]


  2. Jacques Julliand and Olga Kouchnarenko, editors. B 2007: Formal Specification and Development in B, volume 4355 of LNCS. Springer, Besancon, France, January 2007. [bibtex]


  3. Jacques Julliand and J. Souquières, editors. Approches Formelles pour le Développement de Logiciels, volume 25(1) of TSI (Technique et Science Informatiques), Numéro Spécial. Hermes, France, April 2006. Note: 139 pages. [bibtex]


  4. Jacques Julliand, editor. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, June 2004. Note: 385 pages. [bibtex]


Internal reports
  1. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Dynamic Selection Criteria. Research Report RR2009-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2009. Note: 18 pages. [Abstract] [bibtex]


  2. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantics Methods. Research Report RR2009-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2009. Note: 15 pages. [Abstract] [bibtex]


  3. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Research Report RR2008-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. [Abstract] [bibtex]


  4. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development. Research Report RR2007-01, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: tau-simulations, component-based timed systems, integration of components, preservation of timed linear properties.. [Abstract] [bibtex]


  5. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the Verification of Timed Components. Research Report RR2006-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed systems, preservation of linear-time properties. [Abstract] [bibtex]


  6. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. The tool VeSTA: Verification of Simulations for Timed Automata. Technical Report RT2006-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed automata, preservation of linear-time properties. [Abstract] [bibtex]


  7. Françoise Bellegarde, Julien Groslambert, M. Huisman, Jacques Julliand, and Olga Kouchnarenko. Verification of Liveness Properties with JML. Research Report RR2005-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2005.
    Keywords: Java Modeling Language, JML, Liveness, Verification. [bibtex]


  8. Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec Scade. Livrable Num. 2 969, PSA, April 2002. Note: 30 pages. [bibtex]


  9. Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec ObjectGéode et StateMate. Livrable Num. 1 969, PSA, December 2001. Note: 90 pages. [bibtex]


Other publications
  1. Jacques Julliand. 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, January 2012. [bibtex]


  2. Jacques Julliand. Extensions de spécifications B par des propriétés dynamiques vérifiées par coopération preuve model-checking. , March 1999. [bibtex]


  3. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification modulaire des propriétés dynamiques introduites en B. , December 1999. [bibtex]


  4. Jacques Julliand. Extension de spécifications B par de la logique temporelle linéaire. , December 1998. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html