Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former team : MLIA
Publications MoVe201720182019202020212022Total
Books0001607
Edited books0000000
Journal articles85595335
Book chapters1120004
Conference papers222018135381
Habilitations1010002
Theses0031206
LIP6
  • B. BĂ©rard : “An Introduction to Timed Automata”, chapter in Control of Discrete-Event Systems, vol. 433, Lecture Notes in Control and Information Science, pp. 169-187, (Springer) [BĂ©rard 2013a]
  • B. BĂ©rard, M. Cabasino, A. Febbraro, A. Giua, C. Seatzu : “Petri nets with time”, chapter in Control of Discrete-Event Systems, vol. 433, Lecture Notes in Control and Information Science, pp. 319-342, (Springer) [BĂ©rard 2013e]
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Elements for the Design of Embedded Computer Systems”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. 3-27, (Wiley) [Kordon 2013b]
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “ElĂ©ments pour la conception des systèmes embarquĂ©s”, chapitre de ModĂ©lisation et analyse de systèmes embarquĂ©s, pp. 21-44, (Hermes) [Kordon 2013c]
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction”, chapter in Embedded Systems, analysis and modeling with SysML, UML and AADL, pp. xix-xxii, (Wiley) [Kordon 2013e]
  • F. Kordon, J. Hugues, A. Canals, A. Dohet : “Introduction gĂ©nĂ©rale”, chapitre de ModĂ©lisation et analyse de systèmes embarquĂ©s, pp. 15-18, (Hermes) [Kordon 2013f]