MoVe - Jornais

Publicações MoVe	2021	2022	2023	2024	2025	Total
Livros	6	2	0	0	0	8
Livros Editados	0	0	0	1	0	1
Jornais	5	8	2	2	0	17
Capítulos de livros	0	1	0	0	0	1
Artigos de Conferencia	7	8	8	10	3	36
Habilitações (Livre Docência)	0	0	0	0	0	0
Teses	2	0	3	3	1	9

B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Opacity for linear constraint Markov chains”, Discrete Event Dynamic Systems, vol. 28 (1), pp. 83-108, (Springer Verlag) [Bérard 2018a]
B. Bérard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Nets”, Fundamenta Informaticae, vol. 161 (4), pp. 317-349, (Polskie Towarzystwo Matematyczne) [Bérard 2018d]
F. Kordon, D. Moldt : “Introduction to the special issue from Petri Nets 2016”, Science of Computer Programming, vol. 157, pp. 1-2, (Elsevier) [Kordon 2018a]
J. Martinez, T. Ziadi, M. Papadakis, T. Bissyandé, J. Klein, Y. Le Traon : “Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants”, Information and Software Technology, (Elsevier) [Martinez 2018c]
S. Tigane, L. Kahloul, S. Bourekkache, S. Baarir : “Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems”, International Journal of Critical Computer-Based Systems, vol. 8 (1), pp. 25, (Inderscience) [tigane 2018]