现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 MoVe | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 2 | 0 | 2 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 1 | 8 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- S. Baarir, M. Beccuti, D. Cerotti, M. De Pierro, S. Donatelli, G. Franceschinis : “The GreatSPN Tool: Recent Enhancements”, ACM SIGMETRICS Performance Evaluation Review, vol. 36 (4), pp. 4-9, (Association for Computing Machinery) [Baarir 2009c]
- R. Bashirov, F. Kordon, H. Lort : “{Exploiting colored Petri nets to decide on permutation admissibility}”, Acta Informatica, vol. 46 (1), pp. 43-55, (Springer Verlag) [Bashirov 2009]
- F. Bonnefoi, Ch. Choppy, F. Kordon : “A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 5800 (III), Lecture Notes in Computer Science, pp. 159-188, (Springer) [Bonnefoi 2009]
- J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff, F. Kordon : “Validate, Simulate and Implement ARINC653 Systems using the AADL”, ACM SIGAda Ada Letters, vol. 29 (3), pp. 31-44 [Delange 2009]
- N. Gharbi, C. Dutheillet, M. Ioualalen : “Colored stochastic Petri nets for modelling and analysis of mulitclass retrial systems”, Mathematical and Computer Modelling, vol. 49 (7-8), pp. 1436-1448, (Elsevier) [Gharbi 2009]
- A. Hamez, Y. Thierry‑Mieg, F. Kordon : “Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation”, Fundamenta Informaticae, vol. 94 (3-4), pp. 413-437, (Polskie Towarzystwo Matematyczne) [Hamez 2009]
- L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Trèves : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, Petri Net Newsletter, vol. 76, pp. 9-28 [Hillah 2009]
- J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “Building Effective Mutual Exclusion Services for Grids”, Journal of Supercomputing, vol. 49 (1), pp. 84-107, (Springer Verlag) [Sopena 2009a]
- J. Sopena, S. Baarir, F. Legond‑Aubry : “Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 28 (9), pp. 1085-1105, (Lavoisier) [Sopena 2009c]