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 | 0 | 0 |
Journal articles | 2 | 0 | 2 |
Book chapters | 0 | 0 | 0 |
Conference papers | 7 | 1 | 8 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- R. Bendraou, Ph. Desfray, M.‑P. Gervais, A. Muller : “MDA Tool Components: A Proposal for Packaging Know-how in Model Driven Development”, Software and Systems Modeling, vol. 7 (3), pp. 329-343, (Springer Verlag) [Bendraou 2008b]
- D. Benmerzoug, F. Kordon, M. Boufaïda : “Formalisation and verification of interaction protocols for business process integration: a Petri net approach”, International Journal of Simulation and Process Modelling, vol. 4 (3/4), pp. 195-204, (Inderscience) [Benmerzoug 2008b]
- B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux : “When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?”, Theoretical Computer Science, vol. 403 (2--3), pp. 202-220, (Elsevier) [Bérard 2008b]
- D. Dahmani, J.‑M. Ilié, M. Boukala : “Time Recursive Petri Nets - revisited”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 5100 (I), Lecture Notes in Computer Science, pp. 104-118, (Springer) [Dahmani 2008]
- L. Hillah, F. Kordon, L. Petrucci : “Application des méthodes formelles à la robotique modulaire”, Journal Européen des Systèmes Automatisés (JESA), vol. 42 (4), pp. 459-478, (Lavoisier) [Hillah 2008]
- J. Hugues, B. Zalila, L. Pautet, F. Kordon : “From the prototype to the final embedded system using the Ocarina AADL tool suite”, ACM Transactions on Embedded Computing Systems (TECS), vol. 7 (4), pp. 42, (ACM) [Hugues 2008]
- O. Rogovchenko, J. Malenfant : “Composants et composition pour les architectures de contrôle de robots”, Journal Européen des Systèmes Automatisés (JESA), vol. 42 (4), pp. 423-438, (Lavoisier) [Rogovchenko 2008a]
- M. Serrano, Ch. Queinnec : “Hop. un langage de programmation pour le Web (1ère partie)”, Programmez ! n°104, pp. 53-55, (Magazine Programmez) [Serrano 2008a]
- M. Serrano, Ch. Queinnec : “Une galerie de photos sur le Web avec Hop (2ème partie)”, Programmez ! n°105, pp. 64-66, (Magazine Programmez) [Serrano 2008b]
- Y. Thierry‑Mieg, L. Hillah : “UML Behavioral Consistency Checking Using Instantiable Petri nets”, Innovations in Systems and Software Engineering, vol. 4 (3), pp. 293-300, (Springer Verlag) [Thierry-Mieg 2008]
- J.‑B. Voron, F. Kordon : “Evinrude: A Tool to Automatically Transform Program's Sources into Petri Nets”, Petri Net Newsletter, vol. 75, pp. 19-38 [Voron 2008a]