Skip to content
  Projet Triskell  

Liste des Publications/List of Publications
- 2002 -

Triskell Team


[1] F. Cassez, C. Jard, F. Laroussinie, and M. (eds) Ryan, editors. -- Modeling and Verification of Parallel Processes, MOVEP'2002, European Summer School, Nantes, June 2002. Univ. Nantes. [BibTeX]

[2] J-M. J√©z√©quel, H. Hussmann, and S. Cook, editors. -- UML'2002 -- The Unified Modeling Language: Model Engineering, Concepts and Tools, 5th Intl. Conference, number 2460 in LNCS. Springer, September 2002. [BibTeX]

[3] T. Weis, N. Plouzeau, K. Geihs, A.-M. Sassen, and J.-M. J√©z√©quel. -- New Advances on CBSE, chapter QCCS: Quality Controlled Component-based Software development. -- Kluwer Academic Pusblishers, 2002. [BibTeX]

Articles/Articles (Referred Journals)

[1] Lo√Įc H√©lou√ęt, Claude Jard, and Benoit Caillaud. -- An event structure semantics for message sequence charts. -- Mathematical Structures in Computer Science (MSCS) journal, 12:377--403, 2002. [PDF] [BibTeX]

[2] Lo√Įc H√©lou√ęt. -- Distributed system requirement modeling with message sequence charts: the case of the rmtp2 protocol. -- International Journal of Information and Software Technology, 2002. [BibTeX]

[3] Claude Jard. -- Synthesis of distributed testers from true-concurrency models of reactive systems. -- Journal of Information and Software Technology, 2002. [PDF] [BibTeX]

[4] Yves Le Traon, Farid Ouabdesselam, Chantal Robach, and Benoit Baudry. -- From diagnosis to diagnosability: axiomatization, measurement and application. -- Journal of Systems and Software, 2002. -- to be published in 2002. [BibTeX]

[5] Gerson Suny√©, Alain Le Guennec, and Jean-Marc J√©z√©quel. -- Using UML action semantics for model execution and transformation. -- Information Systems, Elsevier, 27(6):445--457, July 2002. [BibTeX]

Conférences Internationales/International Conferences (with program commitee)

[1] Benoit Baudry, Yves Le Traon, and Gerson Suny√©. -- Testability analysis of UML class diagram. -- In Proceedings of Metrics02, pages 54--63, Ottawa, Canada, June 2002. [PDF] [BibTeX]

[2] Benoit Baudry, Franck Fleurey, Jean-Marc J√©z√©quel, and Yves Le Traon. -- Genes and bacteria for automatic test cases optimization in the .net environment. -- In Proceedings of ISSRE02 (International Symposium on Software Reliability Engineering), pages 195--206, Annapolis, USA, November 2002. [PDF] [BibTeX]

[3] Benoit Baudry, Franck Fleurey, Jean-Marc J√©z√©quel, and Yves Le Traon. -- Computational intelligence for testing .net components. -- In Proceedings of Microsoft Summer Research Workshop, Cambridge, UK, September 2002. [PDF] [BibTeX]

[4] Benoit Baudry, Franck Fleurey, Jean-Marc J√©z√©quel, and Yves Le Traon. -- Automatic test cases optimization using a bacteriological adaptation model: Application to .net components. -- In Proceedings of ASE02 (Automated Software Engineering), pages 253--256, Edimburgh, UK, September 2002. [PDF] [BibTeX]

[5] Albert Benveniste, Eric Fabre, Claude Jard, and Stefan Haar. -- Diagnosis of asynchronous discrete event systems, a net unfolding approach. -- In WODES'02: 6th Int. Work. on Discrete Event Systems, Zaragoza, Spain, October 2002. [PDF] [BibTeX]

[6] Eric Cariou, Antoine Beugnard, and Jean-Marc Jézéquel. -- An architecture and a process for implementing distributed collaborations. -- In Proceedings of EDOC 2002, Lausanne, Switzerland, September 2002. [PDF] [BibTeX]

[7] Eric Fabre, Albert Benveniste, and Claude Jard. -- Distributed diagnosis for large discrete event dynamic systems. -- In 15th IFAC World Congress on Automatic Control, Barcelona, Spain, July 2002. [PDF] [BibTeX]

[8] Lo√Įc H√©lou√ęt. -- Projection et comparaison de message sequence charts. -- In Proc. of Approches Formelles dans l'Assistance au D√©veloppement de Logiciels (AFADL'2003), 2003. [BibTeX]

[9] Wai Ming Ho, Jean-Marc J√©z√©quel, Fran√ßois Pennaneac'h, and No√ęl Plouzeau. -- A toolkit for weaving aspect oriented UML designs. -- In Proceedings of 1st ACM International Conference on Aspect Oriented Software Development, AOSD 2002, Enschede, The Netherlands, April 2002. [PDF] [BibTeX]

[10] Claude Jard. -- Principles of distributed test synthesis based on true-concurrency models. -- In TESTCOM'2002 : Testing Communicating Systems, Berlin, Germany, March 2002. [PDF] [BibTeX]

[11] Claude Jard and Thierry Jéron. -- Tgv: Theory, principles and algorithms. -- In The Sixth World Conference on Integrated Design and Process Technology, Pasadena, California, June 2002. [PDF] [BibTeX]

[12] Jean-Marc J√©z√©quel, No√ęl Plouzeau, Torben Weis, , and Kurt Geihs. -- From contracts to aspects in uml designs. -- In Proc. of the Workshop on Aspect-Oriented Modeling with UML at AOSD'02, 2002. [PDF]

[13] Angeles Manjarrés, Gerson Sunyé, Damien Pollet, Simon Pickin, and Jean-Marc Jézéquel. -- Ai analysis patterns as UML meta-model constructs. -- In ACM Press, editor, proceedings of SEKE 2002. The 14th international conference on Software Engineering and Knowledge Engineering, pages 237--238, Jul 2002. [PDF] [BibTeX]

[14] Angeles Manjarrés, Simon Pickin, Gerson Sunyé, Damien Pollet, and Jean-Marc Jézéquel. -- Oo analysis patterns as UML metalevel collaborations. -- In proc. of ES2002. The 22nd SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence: Research and Development in Intelligent Systems XIX, BCS Conference Series. Springer-Verlag, decembre 2002. [BibTeX]

[15] Clémentine Nebut, Simon Pickin, Yves Le Traon, and Jean-Marc Jézéquel. -- Reusable test requirements for UML-modeled product lines. -- In Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Essen, Germany, September 2002. [BibTeX]

[16] Simon Pickin, Claude Jard, Yves Le Traon, Thierry J√©ron, Jean-Marc J√©z√©quel, and Alain Le Guennec. -- System test synthesis from UML models of distributed software. -- In D. Peled and M. Vardi, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2002, number 2460 in LNCS, Houston, Texas, November 2002. [PDF] [BibTeX]

[17] Heinz W. Schmidt and Ralf H. Reussner. -- Parameterised contracts and adaptor synthesis. -- In Proc. 5th Intl Component-Based Software Engineering Workshop (CBSE5) of the ICSE Conference, IEEE, May 2002. [BibTeX]

[18] Tewfik Ziadi, Lo√Įc H√©lou√ęt, and Jean-Marc J√©z√©quel. -- Modeling behaviors in product lines. -- In Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), Essen, Germany, September 2002. [PDF] [BibTeX]

[19] Laurent Monestel, Tewfik Ziadi, and Jean-Marc Jézéquel. -- Product line engineering: Product derivation. -- In Workshop on Model Driven Architecture and Product Line Engineering, associated to the SPLC2 conference, San Diego, August 2002. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Vu Le Hanh. -- test et mod√®le UML : strat√©gie, plan et synth√®se de test. -- PhD thesis, Ecole doctorale MATISSE, Universite de Rennes 1, November 2002. [PDF] [BibTeX]

[2] Jean-Marc J√©z√©quel, No√ęl Plouzeau, and Yves Le Traon. -- D√©veloppement de logiciel √† objets avec UML. -- Polycopi√© IFSIC C119, 138 pages, Universit√© de Rennes 1, September 2002. [BibTeX]

[3] Jean-Marc Jézéquel. -- Tutorial on advanced modeling techniques: a transformation-based approach. -- In CEA Summer School on MDA for Embedded System Development. CEA - ENSIETA, September 2002. [BibTeX]

[4] Damien Pollet, Didier Vojtisek, and Jean-Marc J√©z√©quel. -- OCL as a core UML transformation language. -- WITUML 2002 Position paper, Malaga, Spain, June 2002. -- ja/wituml02.htm. [PDF] [BibTeX]

[5] No√ęl Plouzeau. -- Final specification document of the weaving process. -- Technical Report D361, The QCCS consortium, July 2002. [BibTeX]

[6] N. Plouzeau and T. Weis. -- Final specification document for the extended analysis and design method. -- Technical Report D331, The QCCS consortium, may 2002. [BibTeX]

[7] N. Plouzeau and T. Weis. -- Description of the contract metamodel. -- Technical Report D341, The QCCS consortium, december 2001. [BibTeX]

[8] N. Plouzeau and T. Weis. -- Description of standard contracts. -- Technical Report D351, The QCCS consortium, january 2002. [BibTeX]

[9] K. Geihs, T. Weis, J.-M. J√©z√©quel, and N. Plouzeau. -- Design documentation for framework, tools and aspect weavers. -- Technical Report D431, The QCCS consortium, september 2002. [BibTeX]