现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
- K. Barkati, E. Saint‑James : “SVG & XSLT : une portée notable”, 10èmes Journées d'Informatique Musicale, Montbéliard, France [Barkati 2003]
- M. Bertier, O. Marin, P. Sens : “Performance Analys of Hierarchical Failure Detector”, International Conference on Dependable Systems and Networks (DSN'03), San Francisco, United States, pp. 635-644, (IEEE) [Bertier 2003]
- C. Besse, A. Cavalli, F. Zaïdi : “Génération de tests d'intéropérabilité pour le protocole TCP”, 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR '03), Metz, France, pp. 447-461, (Edition Hermes Science) [Besse 2003]
- D. Deville, A. Galland, G. Grimaud, S. Jean : “Assessing the Future of Smart Card Operating Systems”, 4th E-Smart 2003 Conference, Sophia Antipolis, France [Deville 2003a]
- D. Deville, A. Galland, G. Grimaud, S. Jean : “Smart Card operating systems: Past Present and Future”, 5th USENIX/NordU Conference (NordU2003), Västerås, Sweden [Deville 2003b]
- B. Folliot : “A Dynamically Configurable Components Plateform”, Concurrent Information Processing and Computing, NATO Advanced Research Workshop, Sinaia, Romania, pp. 4 [Folliot 2003a]
- B. Folliot : “Construction de systèmes et applications adaptables basés sur des MVV”, Journée Construction de Systèmes d'Exploitation, GDR PRS / CNRS, Paris, France [Folliot 2003b]
- A. Galland, M. Baudet : “Controlling and Optimizing the Usage of One Resource”, First Asian Symposium on Programming Languages and Systems (APLAS), vol. 2895, Lecture Notes in Computer Science, Beijing, China, pp. 195-211, (Springer-Verlag) [Galland 2003a]
- A. Galland, M. Baudet : “Économiser l'or du banquier”, 3e Conférence Française sur les Systèmes d'Exploitation (CFSE) - French Chapter of ACM-SIGOPS, La Colle-sur-Loup, France, pp. 638-649, (Institut National de la Recherche en Informatique et Automatique (INRIA)) [Galland 2003b]
- M.‑P. Gervais, M. Elias, P. Spathis, K. Thai : “Composition de spécifications de services actifs”, 5ème Colloque francophone sur la gestion de réseau et de service (GRES '03), Fortaleza, Brazil [Gervais 2003c]
- M.‑P. Gervais, M. Elias, P. Spathis, K. Thai : “Composition de spécifications de services actifs”, 5ème Colloque francophone sur la gestion de réseau et de service (GRES '03), Fortaleza, Brazil [Gervais 2003d]
- J. Hugues, F. Kordon, L. Pautet : “Refining Middleware Functions for Verification Purpose”, Workshop on Software Engineering for Embedded Systems, Chicago, United States [Hugues 2003a]
- J. Hugues, L. Pautet, F. Kordon : “Contributions to middleware architectures to prototype distribution infrastructures”, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), San Diego, CA, United States, pp. 124-131, (IEEE) [Hugues 2003b]
- J.‑M. Ilié, K. Klai : “A Modular Verification Methodology for D-NRI Petri Nets”, International Conference ACS/IEEE 2003 on Computer Systems and Applications (AICCSA-03), Tunis, Tunisia, (IEEE) [Ilié 2003]
- F. Legond‑Aubry, D. Enselme, G. Florin : “Assembling Contracts for Components”, Formal Methods for Open Object-based Distributed Systems (FMOODS-DAIS), Paris, France [Legond-Aubry 2003a]
- F. Legond‑Aubry, D. Enselme, G. Florin : “Contrat d'assemblage de composants”, Conférence Française sur les Systèmes d'Exploitation (CFSE), La Colle-sur-Loup, France, pp. 586-601 [Legond-Aubry 2003b]
- O. Marin, M. Bertier, P. Sens : “DARX - A Framework for the Fault-Tolerant Support of Agent Software.”, ISSRE 03 - 14th IEEE International Symposium on Software Reliability Engineering, Denver, CO, United States, pp. 406-416, (IEEE) [Marin 2003]
- B. Meudic, E. Saint‑James : “Automatic extraction of approximate repetitions in polyphonic MIDI files based on perceptive criteria”, International Symposium on Computer Music Modeling and Retrieval (CMMR 2003), vol. 2771, Lecture Notes in Computer Science, Montpellier, France, pp. 124-142, (Springer) [Meudic 2003a]
- B. Meudic, E. Saint‑James : “Musical Pattern Extraction: from repetition to musical structure.”, International Symposium on Computer Music Modeling and Retrieval (CMMR 2003), Montpellier, France [Meudic 2003b]
- A. Mislove, Ch. Reis, A. Post, P. Willmann, P. Druschel, Dan S. Wallach, X. Bonnaire, P. Sens, J.‑M. Busca, L. Arantes : “POST: A Secure, Resilient, Cooperative Messaging System”, 9th IEEE Workshop on Hot Topics in Operating Systems (HotOS-IX), Kaui, United States, (IEEE Society Press) [Mislove 2003]
- F. Ogel, B. Folliot, I. Piumarta : “On Reflexive and Dynamically Adaptable Environments for Distributed Computing”, 3rd International Workshop on Distributed Auto-adaptive and Reconfigurable Systems, ICDCS'2003, Providence, Rhode Island, United States, pp. 112-117, (IEEE) [Ogel 2003a]
- F. Ogel, S. Patarin, I. Piumarta, B. Folliot : “C/SPAN: a Self-Adaptazing Web Proxy Cache”, 5th Annual International Workshop on Active Middleware Services, HPDC'12, Seattle, United States, pp. 178-185, (IEEE) [Ogel 2003b]
- D. Regep, Y. Thierry‑Mieg, F. Gilliers, F. Kordon : “Modélisation et vérification de systèmes répartis :une approche intégrée avec LfP”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Rennes, France [Regep 2003]
- Y. Thierry‑Mieg, C. Dutheillet, I. Mounier : “Automatic Symmetry Detection in Well-Formed Nets”, 24th International Conference on Theory and Application of Petri Nets, vol. 2679, Lecture Notes in Computer Science, Eindhoven, Netherlands, pp. 82-101, (Springer) [Thierry-Mieg 2003]
- G. Thomas, F. Ogel, B. Folliot : “Jnjvm : Une Plateforme Java Adaptable pour Application Active”, 3éme Conférence Française sur les Systèmes d'Exploitation, CFSE'3, Chapitre français de l'ACM-SIGOPS, La Colle sur Loup, France [Thomas 2003a]
- I. Tnazefti‑Kerkeni, L. Arantes : “Multi-level Knowledge for Controlling and Monitoring Systems : a Multi-Agent Support”, International Multiconference in Computer Science and Computer Engineering, Las Vegas, Nevada, United States [Tnazefti-Kerkeni 2003a]
- I. Tnazefti‑Kerkeni, L. Arantes, E. Paviot‑Adet : “An Agent-Oriented Framework for controlling and Monitoring Manufacturing System”, IEEE International Symposium on Intelligent Control, Houston, TX, United States, pp. 383-388, (IEEE) [Tnazefti-Kerkeni 2003b]
- I. Tnazefti‑Kerkeni, L. Arantes, M. Moalla : “An Agent-Oriented Architecture for F.M.S Control/Monitoring”, IEEE Conference on Control Applications (CCA'2003), vol. 2, Istanbul, Turkey, pp. 1024-1028, (IEEE) [Tnazefti-Kerkeni 2003c]