Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 2 | 0 | 2 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 7 | 1 | 8 |
Habilitations | 0 | 0 | 0 |
Thèses | 2 | 1 | 3 |
- N. Belala, D. Saidouni, M. Bouneb, J.‑M. Ilié : “Maximality Semantics and Petri Nets”, International Journal of Computer Science and Technology, vol. 3 (3-4), pp. 687-694 [Belala 2012]
- A. Ben Salem, A. Duret‑Lutz, F. Kordon : “Model Checking using Generalized Testing Automata”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), pp. 94-122, (Springer) [Ben Salem 2012]
- G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas : “Channel Synthesis for Finite Transducers”, International Journal of Foundations of Computer Science, vol. 23 (6), pp. 1241-1260, (World Scientific Publishing) [Benattar 2012]
- R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches”, Journal of Software: Evolution and Process, vol. 24 (7), pp. 765-781, (John Wiley & Sons, Ltd.) [Bendraou 2012a]
- B. Bérard, S. Haddad, M. Sassolas : “Interrupt Timed Automata: verification and expressiveness”, Formal Methods in System Design, vol. 40 (1), pp. 41-87, (Springer Verlag) [Bérard 2012a]
- J. Delange, L. Pautet, F. Kordon : “Design, implementation and verification of MILS systems”, Software: Practice and Experience, vol. 42 (7), pp. 799-816, (Wiley) [Delange 2012]
- P. Gastin, N. Sznajder : “Decidability of well-connectedness for distributed synthesis”, Information Processing Letters, vol. 112 (24), pp. 963-968, (Elsevier) [Gastin 2012]
- L. Hillah, F. Kordon, Ch. Lakos, L. Petrucci : “Extending PNML Scope: a Framework to Combine Petri Nets Types”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 46-70, (Springer) [Hillah 2012]
- S. Hong, F. Kordon, E. Paviot‑Adet, S. Evangelista : “Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 6900 (V), Lecture Notes in Computer Science, pp. 121-140, (Springer) [Hong 2012]
- M. Jan, Ch. Jouvray, F. Kordon, A. Kung, J. Lalande, F. Loiret, J. Navas, L. Pautet, J. Pulou, A. Radermacher, L. Seinturier : “Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems”, Software: Practice and Experience, vol. 42 (12), pp. 1467-1494, (Wiley) [Jan 2012]
- F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, K. Lampka, N. Lohmann, E. Paviot‑Adet, Y. Thierry‑Mieg, H. Wimmel : “Report on the Model Checking Contest at Petri Nets 2011”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 169-196, (Springer) [Kordon 2012a]
- I. Truck, J. Malenfant : “Towards a formalization of the Linguistic Conditional Preference networks”, International Journal of Applied Management Science, vol. 4 (4), pp. 349-370 [Truck 2012]