S. Ammour, X. Blanc, M. Ziane, Ph. Desfray : “Improving Pattern Support in UML CASE tools”, UML 2004 Workshop on Consistency Problems in UML-based Software Development III, Lisbon, Portugal [Ammour 2004]
X. Blanc, M.‑P. Gervais, P. Sriplakich : “Model Bus : "Towards the Interoperability of Modelling Tools"”, Model Driven Architecture: Foundations and Applications (MDAFA 2004), vol. 3599, Lecture Notes in Computer Science, Linköping University, Sweden, pp. 17-32, (Springer-Verlag) [Blanc 2004b]
S. Bouzitouna, M.‑P. Gervais : “Composition Rules for PIM Reuse”, 2nd European Workshop on MDA with Emphasis on Methodologies and Transformations, Canterbury, United Kingdom, pp. 36-43, (Computing Laboratory, United Kingdom) [Bouzitouna 2004]
Z. Guessoum, M. Ziane, N. Faci : “Monitoring and Organizational-Level Adaptation of Multi-Agent Systems”, Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS '04), New-York City, United States, pp. 514-521, (IEEE Computer Society) [Guessoum 2004h]
S. Haddad, J.‑M. Ilié, K. Klai : “Design and Evaluation of a Symbolic and Abstraction-based Model Checker”, 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA '04), vol. 3299, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 196-210, (Springer-Verlag) [Haddad 2004a]
J. Hugues, Y. Thierry‑Mieg, F. Kordon, L. Pautet, S. Baarir, Th. Vergnaud : “On the Formal Verification of Middleware Behavioral Properties”, 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Linz, Austria, pp. 139-157, (Elsevier) [Hugues 2004]
J.‑M. Ilié, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux : “Extended SWN Solvers in GreatSPN”, 1st International Conference on Quantitative Evaluation of Systems (QEST '04), Enschede, Netherlands, pp. 324-325, (IEEE Computer Society) [Ilié 2004]
D. Julien, Z. Guessoum, M. Ziane : “Building User Interfaces thanks to Eco-Resolution”, International Conference on Advances in Intelligent Systems - Theory and Applications, in cooperation with the IEEE Computer Society, Luxembourg, Luxembourg [Julien 2004d]
R. Le Delliou, N. Ploquin, M. Belaunde, R. Bendraou, L. Féraud : “A Model Driven Approach For Information System Migration”, 4th Workshop on ODP for Enterprise Computing (EDOC), Monterey, California, United States, pp. 90-97, (IEEE Computer Society) [Le Delliou 2004]
J. Malenfant, S. Denier : “Architecture réflexive pour le contrôle de robots modulaires”, Langages et Modèles à Objets - LMO 2004, vol. 10 (2-3), Revue des Sciences et Technologies (RSTI) série L'objet, Lille, France, pp. 17-30, (Hermes/Lavoisier) [Malenfant 2004b]
Y. Thierry‑Mieg, J.‑M. Ilié, D. Poitrenaud : “A Symbolic Symbolic State Space Representation”, 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE '04), vol. 3235, Lecture Notes in Computer Science, Madrid, Spain, pp. 276-291, (Springer-Verlag) [Thierry-Mieg 2004a]