الوحدات الحالية : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
الفـرق السـابـقــة : | ACASA |
إصدارات MoVe | 2023 | 2024 | Total |
---|---|---|---|
مخـبرمـخـبر LIP6 | 0 | 0 | 0 |
إصدار كـتب | 0 | 0 | 0 |
مـنشـورات في مـجلات | 2 | 0 | 2 |
فصـول في كـتب | 0 | 0 | 0 |
منشورات | 7 | 1 | 8 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. VIII, pp. 24-47, (Springer) [Ben Maïssa 2013]
- B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux : “The Expressive Power of Time Petri Nets”, Theoretical Computer Science, vol. 474, pp. 1-20, (Elsevier) [Bérard 2013b]
- J.‑M. Couvreur, D. Poitrenaud, P. Weil : “Branching processes of general Petri nets”, Fundamenta Informaticae, vol. 122 (1-2), pp. 31-58, (IOS Press) [Couvreur 2013]
- P. Gastin, N. Sznajder : “Fair Synthesis for Asynchronous Distributed Systems”, ACM Transactions on Computational Logic, vol. 14 (2), pp. 9, (Association for Computing Machinery) [Gastin 2013]