É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, J.‑M. Ilié : “An Automatique Technique for CTL* Model Checking”, [Ajami 1997]
- A. Diagne : “Architectural Concepts for Agent Paradigm.: A Way to Separate Concerns in Open Distributed Systems”, [Diagne 1997a]
- A. Diagne, F. Kordon : “From Formal Specification to Optimized Implementation of Distributed Systems.: A Multi-Formalism Approach”, [Diagne 1997b]
- A. Diagne, P. Estraillier : “A Component-based Framework for the Specification, Verification and Validation of Open Distributed Systems”, [Diagne 1997d]
- A. Diagne, P. Estraillier, F. Kordon, I. Vernier, J. Cazin, M. Doche, Ch. Seguin, V. Wiels : “Spécification et Validation Modulaires de Systèmes Avioniques : Projet FORMA - Opération VaMos, Rapport Final”, LIP6, (Rapport de recherche 4/3599.00/D) [Diagne 1997e]
- M.‑P. Gervais, A. Diagne : “Enhancing Telecommunication Service Engineering with Mobile Agent Technology and Formal Methods”, [Gervais 1997b]
- M.‑P. Gervais, A. Diagne : “Formalization of Service Creation in Intelligent Network”, [Gervais 1997c]
- M.‑P. Gervais, N. Ruffel : “Design of Telecommunication Services Based on Software Agent Technology and Formal Methods”, [Gervais 1997f]
- F. Kordon, J.‑L. Mounier : “FrameKit and the prototyping of CASE environments”, [Kordon 1997a]
- I. Vernier : “Model Checking and Parameterized Distributed Systems”, [Vernier 1997]