equipos actuales : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Antiguos equipo : | ACASA |
Publicaciones MoVe | 2023 | 2024 | Total |
---|---|---|---|
Libros | 0 | 0 | 0 |
Libros editados | 0 | 0 | 0 |
Artículos de revistas | 3 | 1 | 4 |
Capítulos de libros | 0 | 0 | 0 |
Documentos de conferencias | 8 | 7 | 15 |
Habilitaciones | 0 | 0 | 0 |
Tesis | 2 | 1 | 3 |
- H. Bel Mokadem, B. Bérard, V. Gourcuff, O. De Smet, J.‑M. Roussel : “Verification of a timed multitask system with UPPAAL”, IEEE Transactions on Automation Science and Engineering, vol. 7 (4), pp. 921-932, (Institute of Electrical and Electronics Engineers) [Bel Mokadem 2010]
- R. Bendraou, J.‑M. Jézéquel, M.‑P. Gervais, X. Blanc : “A Comparison of Six UML-Based Languages for Software Process Modeling”, IEEE Transactions on Software Engineering, vol. 36 (5), pp. 662-675, (Institute of Electrical and Electronics Engineers) [Bendraou 2010b]
- G. Carpentier, G. Assayag, E. Saint‑James : “Solving the musical orchestration problem using multiobjective constrained optimization with a genetic local search approach”, Journal of Heuristics, vol. 16 (5), pp. 681-714, (Springer Verlag) [Carpentier 2010]
- P. Châtel, I. Truck, J. Malenfant : “LCP-Nets: A Linguistic Approach for Non-functional Preferences in a Semantic SOA Environment”, Journal of Universal Computer Science, vol. 16 (1), Special Issue on Information Fusion and Logic-based Reasoning Approaches for Decision Making Under Uncertainty, pp. 198-217, (Graz University of Technology, Institut für Informationssysteme und Computer Medien) [Châtel 2010a]
- L. Hillah, L. Petrucci : “Standardisation des réseaux de Petri : état de l'art et enjeux futurs”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 93, pp. 5-10, (Génie industriel multimédia) [Hillah 2010b]
- F. Kordon : “{Ingénierie basée sur les modèles : quelques défis actuels}”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 93, pp. 2-5, (Génie industriel multimédia) [Kordon 2010a]
- X. Renault, J. Hugues : “Définition d'une famille de patrons de transformation pour l'analyse de modèles AADL”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 93, pp. 12-16, (Génie industriel multimédia) [Renault 2010]
- B. Staudt lerner, S. Christov, L. Osterweil, R. Bendraou, U. Kannengiesser, A. Wise : “{Exception Handling Patterns for Process Modeling}”, IEEE Transactions on Software Engineering, vol. 36 (2), pp. 162-183, (Institute of Electrical and Electronics Engineers) [Staudt lerner 2010]