| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
| Publications MoVe | 2023 | 2024 | Total |
|---|---|---|---|
| Books | 0 | 0 | 0 |
| Edited books | 0 | 1 | 1 |
| Journal articles | 2 | 2 | 4 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 8 | 9 | 17 |
| Habilitations | 0 | 0 | 0 |
| Thesis | 2 | 1 | 3 |
- A. BERADY, M. Jaume, V. Viet Triem Tong, G. Guette : “PWNJUTSU: A Dataset and a Semantics-Driven Approach to Retrace Attack Campaigns”, IEEE Transactions on Network and Service Management, vol. 19 (4), Special Issue on Recent Advances in Network Security Management, pp. 5252-5264, (IEEE) [BERADY 2022]
- B. Bérard, B. Bollig, P. Bouyer, M. Függer, N. Sznajder : “Synthesis in presence of dynamic links”, Information and Computation, vol. 289 (Part B), pp. 104856, (Elsevier) [Bérard 2022a]
- B. Bérard, S. Haddad : “Revisiting Reachability in Polynomial Interrupt Timed Automata”, Information Processing Letters, vol. 174, pp. 106208, (Elsevier) [Bérard 2022b]
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec, L. Kahloud : “A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations”, Information Systems, vol. 104, pp. 101765, (Elsevier) [Houhou 2022]
- J.‑M. Ilié, Ah. Chaouche, F. Pêcheux : “A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation”, International Journal of Ambient Computing and Intelligence, vol. 13 (1), pp. 1-19, (IGI Pub) [Ilié 2022]
- M. Kerdoudi, T. Ziadi, Ch. Tibermacine, S. Sadou : “A novel approach for Software Architecture Product Line Engineering”, Journal of Systems and Software, vol. 186, pp. 111191, (Elsevier) [Kerdoudi 2022]
- F. Pérez, T. Ziadi, C. Cetina : “Utilizing Automatic Query Reformulations as Genetic Operations to Improve Feature Location in Software Models”, IEEE Transactions on Software Engineering, vol. 48 (2), pp. 713-731, (Institute of Electrical and Electronics Engineers) [Pérez 2022]
- Y. Thierry‑Mieg : “Symbolic and Structural Model-Checking”, Fundamenta Informaticae, vol. 183 (3-4), pp. 319–342, (IOS Press) [Thierry-Mieg 2022]