Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications MoVe	2014	2015	2016	2017	2018	2019	Total
Books	0	0	1	0	0	0	1
Edited books	2	2	2	3	2	1	12
Journal articles	8	6	10	8	4	4	40
Book chapters	1	0	1	1	0	1	4
Conference papers	26	23	18	23	15	10	115
Habilitations	0	1	1	1	0	1	4
Theses	3	2	3	0	0	1	9

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, C. Seatzu, M. Silva, J. van Schuppen (Eds.), pp. 169-187, (Springer) [Bérard 2013a]
• B. Bérard, M. Cabasino, A. di 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, C. Seatzu, M. Silva, J. van Schuppen (Eds.), 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, F. Kordon, J. Hugues, A. Canals, A. Dohet (Eds.), 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, F. Kordon, J. Hugues, A. Canals, A. Dohet (Eds.), 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, F. Kordon, J. Hugues, A. Canals, A. Dohet (Eds.), 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, F. Kordon, J. Hugues, A. Canals, A. Dohet (Eds.), pp. 15-18, (Hermes) [Kordon 2013f]