| equipos actuales : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Antiguos equipo : | ACASA |
- J.‑M. Couvreur, D. Poitrenaud : “Dépliages pour la vérification de propriétés temporelles”, chapitre de Vérification et mise en oeuvre des réseaux de Petri, pp. 127-162, (Hermes Science Publications), (ISBN: 2-7462-0445-2) [Couvreur 2003]
- C. Dutheillet, J.‑M. Ilié, D. Poitrenaud, I. Vernier‑Mounier : “State-Space-Based Methods and Model Checking”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 201-275, (Springer-Verlag), (ISBN: 3-540-41217-4) [Dutheillet 2003]
- M.‑P. Gervais, A. Diagne : “Telecommunications Systems”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 541-566, (Springer-Verlag), (ISBN: 3-540-41217-4) [Gervais 2003b]
- Z. Guessoum, J.‑P. Briot, O. Marin, A. Hamel, P. Sens : “Dynamic and Adaptive Replication for Large-Scale Reliable Multi-Agent Systems”, chapter in Software Engineering for Large-Scale Multi-Agent Systems, vol. 2603, Lecture Notes in Computer Science, pp. 182-198, (Springer), (ISBN: 978-3-540-08772-4) [Guessoum 2003b]
- Z. Guessoum, J.‑P. Briot, O. Marin, A. Hamel, P. Sens : “Dynamic and Adaptive Replication for Large-Scale Reliable Multi-Agent Systems”, chapter in Software Engineering for Large-Scale Multi-Agent Systems, vol. 2603, Lecture Notes in Computer Science, pp. 182-198, (Springer), (ISBN: 978-3-540-08772-4) [Guessoum 2003c]
- Z. Guessoum, J.‑P. Briot, O. Marin, A. Hamel, P. Sens : “Dynamic and Adaptive Replication for Large-Scale Reliable Multi-Agent Systems”, chapter in Software Engineering for Large-Scale Multi-Agent Systems, vol. 2603, Lecture Notes in Computer Science, A. Garcia, C. Lucena, F. Zambonelli, A. Omicini, J. Castro (Eds.), pp. 182-198, (Springer), (ISBN: 978-3-540-08772-4) [Guessoum 2003d]
- S. Haddad, J.‑M. Ilié : “Symétries et logique temporelle”, chapitre de Vérification et mise en oeuvre des réseaux de Petri, Traité IC2, série Informatique et Systèmes d'Information, (Hermes Science Publication), (ISBN: 2-7462-0445-2) [Haddad 2003]
- F. Kordon, W. El‑Kaïm : “Code Generation”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 433-469, (Springer-Verlag), (ISBN: 3-540-41217-4) [Kordon 2003b]
- G. Thomas, I. Piumarta, A. Galland, B. Folliot, C. Baillarguet : “Towards Active Applications: the Virtual Virtual Machine Approach”, chapter in New Trends in Computer Science and Engineering, pp. 28-47, (A92 Publishing House, POLIROM Press), (ISBN: 973-9476-40-6) [Thomas 2003b]
- I. Vernier, E. Paviot‑Adet : “Modélisation et vérification de l'interopérabilité de services de télécommunication”, chapitre de Vérification et mise en oeuvre de réseaux de Petri, pp. 233-252, (Hermes Science), (ISBN: 2-7462-0445-2) [Vernier 2003]