Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppe : | ACASA |
Publikationen MoVe | 2023 | 2024 | Total |
---|---|---|---|
Bücher | 0 | 0 | 0 |
Bucheditionen | 0 | 0 | 0 |
Artikel in wissenschaftlichen Zeitschriften | 2 | 0 | 2 |
Buchkapitel | 0 | 0 | 0 |
Veröffentlichungen in Papierform | 7 | 1 | 8 |
Habilitationen | 0 | 0 | 0 |
Doktorarbeiten | 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]