Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Kh. Ajami, S. Haddad, J.‑M. Ilié : “Exploiting Symmetry in Linear Time Temporal Logic Model Checking”, European Conference on Theory and Practice of Software, vol. 1384, Lecture Notes in Computer Science, Lisbon, Portugal, pp. 52-67, (Springer-Verlag) [Ajami 1998a]
- L. Arantes, B. Folliot, P. Sens : “Problématique de la conception d'une MPR hétérogène”, Deuxièmes Journées de Recherche sur Le Placement Dynamique et la Répartition de Charge, Lille, France [Arantes 1998a]
- L. Arantes, L. Sato : “CPAR-DSM: a Support for Parallel Programming on Top of DSM”, International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, United States [Arantes 1998b]
- N. Bouzaiene, L. Le Gall, E. Saint‑James : “Une bibliothèque informatique pour la notation musicale baroque”, 7th International Conference on Electronic Publishing, EP'98 Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT'98, vol. 1375, Lecture Notes in Computer Science, St. Malo, France, pp. 319-330, (Springer-Verlag) [Bouzaiene 1998]
- B. Bretelle, B. Folliot : “Placement dynamique d'applications parallèles communicantes dans les mémoires partagées réparties”, 2ème journées de recherche sur le placement dynamique et la répartition de charge GR ARP / CNRS, Lille, France [Bretelle 1998]
- D. Buchs, A. Diagne, F. Kordon : “Testing Prototypes Validity to Enhance Code Reuse”, 9th IEEE International Workshop on Rapid System Prototyping, Leuven, Belgium, pp. 6-12, (IEEE) [Buchs 1998b]
- A. Diagne, D. Moldt, J.‑M. Ilié : “Verification and Validation Techniques to Use UML for the Specification of Reactive Systems”, 31st Hawaiian International Conference on System Sciences, Kohala Coast, Hawaii, United States [Diagne 1998a]
- A. Diagne, M.‑P. Gervais : “Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC project”, IEEE Globecom '98, Sydney, Australia, pp. 1688-1693, (IEEE) [Diagne 1998c]
- A. Diagne, P. Estraillier, F. Kordon : “Quality Management Issues along Life-cycle of Distributed Applications”, CARI '98, Dakar, Senegal, pp. 753-763 [Diagne 1998e]
- K. Fisler, C. Girault : “Modeling and Model Checking of a Shared Memory Consistency Protocol”, 18th International Concference on Applications and Theory of Petri Nets, vol. 1420, Lecture Notes in Computer Science, Lisboa, Portugal, pp. 84-103, (Springer) [Fisler 1998]
- B. Folliot, I. Piumarta, F. Riccardi : “A Dynamically Configurable, Multi-language Execution Plateform”, 8th ACM SIGOPS European Workshop, Sintra, Portugal, pp. 175-181, (ACM) [Folliot 1998]
- M.‑P. Gervais, A. Diagne : “Service Creation Using Agent Technology and Formal Methods”, 7th IEEE International Workshop on Intelligent Networks, Bordeaux, France, pp. 129-140, (IEEE) [Gervais 1998b]
- Y. Haj‑Mahmoud, B. Folliot : “Comparaison du Placement et de la Migration dans un Système de Répartition de Charge”, Deuxième Journées de Recherche sur le Placement Dynamique et la Répartition de Charge, Lille, France [Haj-Mahmoud 1998a]
- Y. Haj‑Mahmoud, B. Folliot : “Modèle d'un Système de Répartition de Charge pour l'Étude des Performances du Placement Dynamique”, Rencontres Francophones du Parallelisme des Architectures et des Systèmes, Strasbourg, France [Haj-Mahmoud 1998b]
- Y. Haj‑Mahmoud, B. Folliot : “Queuing Network Model for Load Balancing in a Heterogeneous Distributed System”, International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, United States [Haj-Mahmoud 1998c]
- F. Kordon, J.‑L. Mounier : “FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE Environments”, 11th International Conference on Software Engineering and its Applications, Paris, France, pp. 91-99 [Kordon 1998e]
- F. Kordon, J.‑L. Mounier : “Implementation of Genericity for customizable CASE environments”, CARI '98, Dakar, Senegal, pp. 765-776 [Kordon 1998g]
- R. Pawlak, L. Duchien, L. Seinturier, P. Champagnoux, D. Enselme, G. Florin : “A Reflective Implementation of a Distributed Programming Model”, Workshop on Reflective Object-Oriented Programming and Systems at ECOOP '98, vol. 1543, Lecture Notes in Computer Science, Brussels, Belgium, pp. 384-385, (Springer) [Pawlak 1998]
- Y. Saito, E. Hoffman, B. Bershad, H. Levy, D. Becker, B. Folliot : “The Porcupine Scalable Mail Server”, 8th ACM SIGOPS European Workshop, Sintra, Portugal, pp. 48-52, (ACM) [Saito 1998]
- P. Sens, F. Popentiu‑Vladicesdu, M. Adrian : “Software Reliability Forecasting for Adapted Fault Tolerance Algorithms”, European Safety and Reliability Conference, Trondheim, Norway [Sens 1998c]
- M. Taghelit, P. Sens, K. Foughali : “A New Scheme for the Provision of Reliable Access to Network Services”, International Conference of Telecommunication (ICT'98), Porto Carras, Greece, pp. 387-391, (IEEE) [Taghelit 1998]