Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- L. Arantes, P. Sens : “CLRC : Une Mémoire Partagée Répartie pour des Grappes de Stations Inter-connectées”, 2ème Conférence Française sur les Systèmes d'Exploitation, Paris, France, pp. 8-15 [Arantes 2001b]
- L. Arantes, P. Sens, B. Folliot : “Enhancing the Cache Strategy of a Cluster-based DSM System Using An Adaptive Approach”, International Conference on Parallel Processing, Valencia, Spain, pp. 251-258, (IEEE) [Arantes 2001c]
- X. Blanc, M.‑P. Gervais, R. Le Delliou : “On the Construction of Distributed RM-ODP Specifications”, IFIP TC6/WG6.1 3rd International Conference on Distributed Applications and Interoperable Systems (DAIS'01), vol. 70, IFIP International Federation for Information Processing, Krakow, Poland, pp. 99-111, (Kluwer Academic Publishers) [Blanc 2001a]
- X. Blanc, R. Le Delliou : “Information System architecture with RM-ODP: an on-the-field experience”, Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (WOODPECKER 2001), Setúbal, Portugal, pp. 27-37, (ICEIS Press) [Blanc 2001b]
- X. Bonnaire, M. Riff : “Parallel Evolutionary Algorithms: Towards an Efficient Architecture for Dynamic Parameter Control”, 4th Metaheuristic International Conference, Porto, Portugal [Bonnaire 2001]
- Ph. Bouaziz, L. Seinturier : “From Software Parameterization to Software Profiling”, Workshop on Aspect-Oriented Programming and Separation of Concerns, Lancaster, United Kingdom [Bouaziz 2001]
- D. Cailliau, A. Léger, B. Folliot : “Using high level configuration language for safer space software update”, International Astronautical Congress, Toulouse, France [Cailliau 2001a]
- D. Cailliau, A. Léger, O. Marin, B. Folliot : “A joint middleware/configuration language approach for space embedded software update”, DAta Systems In Aerospace, Nice, France [Cailliau 2001b]
- D. Cailliau, A. Léger, O. Marin, B. Folliot : “Conception d'un système de reconfiguration de logiciels multitâches embarqués sur satellite”, 2ème Conférence Française sur les Systèmes d'Exploitation, Paris, France, pp. 49-60 [Cailliau 2001c]
- J.‑Th. Calvet, C. Girault : “A Simulation Environment for SDH Synchronization network planning”, Third International Workshop on Design of Reliable Communication Networks, Budapest, Hungary [Calvet 2001a]
- J.‑Th. Calvet, C. Girault : “Fiabilité et distribution de la synchronisation dans les réseaux SDH”, 3èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint-Jean de Luz, France, pp. 127-134, (Institut National de la Recherche en Informatique et Automatique (INRIA)) [Calvet 2001b]
- J.‑M. Couvreur, S. Grivet, D. Poitrenaud : “Unfolding of Products of Symmetrical Petri Nets”, 22th International Conference on Applications and Theory of Petri Nets, vol. 2075, Lecture Notes in Computer Science, Newcastle upon Tyne, United Kingdom, pp. 121-143, (Springer-Verlag) [Couvreur 2001]
- M. Doche, I. Vernier‑Mounier, F. Kordon : “Modular Approach to Specify and Validate an Electrical Fligh Control System”, Formal Method Europe (FME '2001), vol. 2021, Lecture Notes in Computer Science, Berlin, Germany, pp. 590-610, (Springer-Verlag) [Doche 2001]
- B. Folliot : “Adaptation dynamique de logiciels : du système aux applications/agents.”, Ecole de printemps Grappes, GDR/CNRS, Ile de Berder, France, pp. 5 [Folliot 2001a]
- B. Folliot, G. Chiola, P. Druschel, A.‑M. Kermarrec : “Introduction to "Distributed Systems and Algorithms".”, EuroPar 2001, vol. 2150, Lecture Notes in Computer Science, Manchester, United Kingdom, pp. 457, (Springer-Verlag) [Folliot 2001b]
- B. Folliot, G. Thomas : “Protocole de membership hautement extensible:conception et expérimentation”, 2ème Conférence Française sur les Systèmes d'Exploitation, Paris, France [Folliot 2001c]
- B. Folliot, I. Piumarta, L. Seinturier, C. Baillarguet, Ch. Khoury, A. Léger, F. Ogel : “Beyond flexibility and reflection: the virtual virtual machine approach.”, NATO Advanced Research Workshop, Environments, Tools and Applications for Cluster Computing, vol. 2326, Lecture Notes in Computer Science, Mangalia, Romania, pp. 17-26, (Springer-Verlag) [Folliot 2001d]
- G. Gaudière, A. de Groot, J. Hooman, F. Kordon, M. Lemoine, E. Paviot‑Adet, I. Vernier‑Mounier, V. Winter : “A Survey: Applying Formal Methods to a Software Intensive System”, 6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Boco Raton, FL, United States, pp. 55-64, (IEEE) [Gaudière 2001]
- M.‑P. Gervais : “Vers une méthodologie de construction de systèmes à base d'agents”, Atelier SMA de la plate-forme AFIA, Grenoble, France, pp. 19-27 [Gervais 2001b]
- M.‑P. Gervais, F. Muscutariu : “A UML Profile for MASIF Compliant Mobile Agent Platform”, OMG's Second Workshop on UML. for Enterprise Applications: Model Driven Solutions for the Enterprise, San Francisco, United States [Gervais 2001c]
- M.‑P. Gervais, F. Muscutariu : “Towards an ADL for Designing Agent-Based Systems”, 2nd International Workshop on Agent-Oriented Software Engineering (AOSE '01), vol. 2222, Lecture Notes in Computer Science, Montreal, Canada, pp. 263-276, (Springer-Verlag) [Gervais 2001d]
- S. Haddad, D. Poitrenaud : “Checking Linear Temporal Formulas on Sequential Recursive Petri Nets”, 8th International Symposium on Temporal Representation and Reasonning (TIME-01), Cividale del Friuli, Italy, pp. 198-205, (IEEE) [Haddad 2001]
- F. Kordon, I. Vernier‑Mounier, E. Paviot‑Adet, D. Regep : “Formal Verification of Embedded Distributed Systems in a Prototyping Approach”, International Workshop on Engineering Automation for Software Intensive System Integration, Monterey, United States [Kordon 2001a]
- F. Kordon, L. Pautet, Th. Quinot : “Architecture for a reuseable object-oriented polymorphic middleware”, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las-Vegas, United States [Kordon 2001b]
- A. Léger, B. Folliot, D. Cailliau : “Platform for Software Reconfiguration in Embedded Systems”, European Research Seminar on Advances in Distributed Systems, Bertinoro, Italy [Léger 2001]
- O. Marin, P. Sens, J.‑P. Briot, Z. Guessoum : “Towards Adaptive Fault-Tolerance For Distributed Multi-Agent Systems”, 4th European Seminar on Advanced Distributed Systems (ERSADS '2001), Bertinoro, Italy, pp. 195-201 [Marin 2001]
- F. Muscutariu, M.‑P. Gervais : “On the Modeling of Mobile Agent-Based Systems”, 3rd IEEE/ACM International Workshop on Mobile Agents for Telecommunication Applications (MATA'01), vol. 2164, Lecture Notes in Computer Science, Montreal, Canada, pp. 219-233, (Springer-Verlag) [Muscutariu 2001b]
- R. Pawlak, L. Seinturier, L. Duchien, G. Florin : “Dynamic Wrappers: Handling the Composition Issue with JAC”, TOOLS 2001 - 39th International Conference and Exhibition Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, United States, pp. 56-65, (IEEE) [Pawlak 2001a]
- R. Pawlak, L. Seinturier, L. Duchien, G. Florin : “JAC: A Flexible Solution for Aspect-Oriented Programming in Java”, Reflection 2001 - 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, vol. 2192, Lecture Notes in Computer Science, Kyoto, Japan, pp. 1-24, (Springer) [Pawlak 2001b]
- I. Piumarta, B. Folliot, L. Seinturier, C. Baillarguet, Ch. Khoury : “AOP in/and Virtual Virtual Machines”, Workshop on Aspect-Oriented Programming at OCM '01, Rennes, France [Piumarta 2001a]
- I. Piumarta, F. Ogel, B. Folliot : “YNVM: dynamic compilation in support of software evolution”, Ingeneering Complex Object Oriented System for Evolution, Tampa Bay, FL, United States [Piumarta 2001b]
- I. Piumarta, F. Ogel, C. Baillarguet, B. Folliot : “Applying the VVM kernel to Flexible Web Caches”, IEEE Workshop on Hot Topics in Operating Systems, Schloss Elmau, Germany, pp. 155, (IEEE) [Piumarta 2001c]
- F. Popentiu‑Vladicesdu, G. Albeanu, P. Sens, P. Thyregod : “Software architecture for distributed systems (SADS): NN and EV aproaches”, European Safety and Reliability Conference, Torino, Italy [Popentiu-Vladicesdu 2001]
- Th. Quinot, F. Kordon, L. Pautet : “From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models”, 3rd International Symposium on Distributed Objects and Applications (DOA'01), Roma, Italy, pp. 165-175, (IEEE) [Quinot 2001b]
- D. Regep, F. Kordon : “LfP : A specification language for rapid prototyping of concurrent systems”, 12th IEEE International Workshop on Rapid System Prototyping, Monterey, United States, pp. 90-96, (IEEE) [Regep 2001]
- N. Revault, X. Blanc, J.‑F. Perrot : “Traduction de méta-modèles”, Language et Modèle à Objets 2001 (LMO'01), Le Croisic, France [Revault 2001]