- Computer Science Laboratory
Forschungsgruppen zur Zeit : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Publikationen MoVe20212022202320242025Total
Bücher620008
Bucheditionen000101
Artikel in wissenschaftlichen Zeitschriften5822017
Buchkapitel010001
Veröffentlichungen in Papierform78810336
Habilitationen000000
Doktorarbeiten203319
LIP6
  • B. Bérard : “Modeling Time”, chapter in Models and Analysis in Distributed Systems n°4, pp. 63-96, (Wiley), (ISBN: 9781848213142) [Bérard 2011a]
  • J. Delange, L. Pautet, F. Kordon : “A Model-Based Approach To Configure and Reconfigure Avionics Systems”, chapter in Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, pp. 509-541, (IGI Global), (ISBN: 9781609600860) [Delange 2011]
  • S. Demri, D. Poitrenaud : “Verification of Infinite-State Systems”, chapter in Models and Analysis in Distributed Systems, pp. 221-269, (Wiley), (ISBN: 9781848213142) [Demri 2011]
  • C. Dutheillet, I. Mounier, N. Sznajder : “Distributed Control”, chapter in Models and Analysis in Distributed Systems, pp. 307-351, (Wiley), (ISBN: 9781848213142) [Dutheillet 2011]
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “General introduction”, chapter in Distibuted Systems: Design and Algorithms, pp. 13-17, (Wiley), (ISBN: 9781848212503) [Haddad 2011b]
  • S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “Introduction”, chapter in Models and Analysis in Distributed Systems, pp. 17-20, (Wiley), (ISBN: 9781848213142) [Haddad 2011c]
  • F. Kordon : “Introduction to Large-Scale Peer-to-Peer Distributed Systems”, chapter in Distibuted Systems: Design and Algorithms n°2, pp. 21-31, (Wiley), (ISBN: 9781848212503) [Kordon 2011]
  • J.‑F. Pradat‑Peyre, Y. Thierry‑Mieg : “Verification of Finite-State Systems”, chapter in Models and Analysis in Distributed Systems, pp. 155-220, (Wiley), (ISBN: 9781848213142) [Pradat-Peyre 2011]