MoVe - Book chapters

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	2015	2016	2017	2018	2019	2020	Total
Books	0	1	0	0	0	0	1
Edited books	2	2	3	2	3	0	12
Journal articles	9	12	11	5	7	4	48
Book chapters	0	2	1	1	3	0	7
Conference papers	30	18	28	19	18	8	121
Habilitations	1	2	1	0	1	0	5
Thesis	2	3	0	0	2	0	7

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 2013d]
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]