Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
Publicações MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livros | 0 | 0 | 0 |
Livros Editados | 0 | 0 | 0 |
Jornais | 2 | 0 | 2 |
Capítulos de livros | 0 | 0 | 0 |
Artigos de Conferencia | 7 | 1 | 8 |
Habilitações (Livre Docência) | 0 | 0 | 0 |
Teses | 2 | 1 | 3 |
- S. Ammour, M. Ziane, X. Blanc, S. Chantit : “A UML precise specification of design patterns using decoupling constraints”, 4th Workshop in Software Model Engineering (WiSME '05), Montego Bay, Jamaica [Ammour 2005a]
- S. Ammour, X. Blanc, M. Ziane : “Transformations de modèles UML outillées: Retour d'expériences”, MajecStic 2005 - 3ème manifestation des jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, Rennes, France, pp. 159-166 [Ammour 2005b]
- S. Baarir, C. Dutheillet, S. Haddad, J.‑M. Ilié : “On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets”, 2nd International Conference on the Quantitative Evaluation of Systems (QEST '05), Torino, Italy, pp. 23-32, (IEEE Computer Society Press) [Baarir 2005]
- R. Bendraou, M.‑P. Gervais, X. Blanc : “UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling”, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS '05), vol. 3713, Lecture Notes in Computer Science, Montego Bay, Jamaica, pp. 17-38, (Springer-Verlag) [Bendraou 2005a]
- R. Bendraou, Ph. Desfray, M.‑P. Gervais : “MDA Components: A Flexible Way for Implementing the MDA Approach”, First European European Conference on Model Driven Architecture - Foundations and Application (ECMDA-FA '05), Lecture Notes in Computer Science (LNCS), Nuremberg, Germany, pp. 59-73, (Springer-Verlag) [Bendraou 2005b]
- B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux : “Comparison of the Expressiveness of Timed Automata and Time Petri Nets”, FORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, vol. 3829, Lecture Notes in Computer Science, Uppsala, Sweden, pp. 211-225, (Springer-Verlag) [Bérard 2005b]
- X. Blanc, F. Ramalho, J. Robin : “Metamodel Reuse with MOF”, MoDELS 2005 - 8th International Conference on Model Driven Engineering Languages and Systems, vol. 3713, Lecture Notes in Computer Science, Montego Bay, Jamaica, pp. 661-675, (Springer) [Blanc 2005b]
- X. Blanc, M.‑P. Gervais, P. Sriplakich : “Modeling Services and Web Services: Application of ModelBus”, International Conference on Software Engineering Research and Practice (SERP'05), Las Vegas, United States, pp. 557-563 [Blanc 2005c]
- X. Blanc, M.‑P. Gervais, P. Sriplakich : “Services de modélisation et Web Services Application sur le ModelBus”, Journée Objets, Composants et Modèles, GDR 673 Algorithmique, Langages et Programmation du CNRS, Bern, Switzerland, pp. 63-69 [Blanc 2005d]
- S. Bouzitouna, M.‑P. Gervais, X. Blanc : “Model Reuse in MDA”, International Conference on Software Engineering Research and Practice (SERP '05), Las Vegas, United States, pp. 354-360, (CSREA Press) [Bouzitouna 2005]
- Ph. Collet, A. Ozanne : “Un système de contractualisation pour Fractal : intégration et retours sur expèrience”, Journées Composants 2005, Le Croisic, France [Collet 2005]
- J.‑M. Couvreur, A. Duret‑Lutz, D. Poitrenaud : “On-the-Fly Emptiness Checks for Generalized Büchi Automata”, 12th International SPIN Workshop on Model Checking of Software, vol. 3639, Lecture Notes in Computer Science, San Francisco, United States, pp. 169-184, (Springer-Verlag) [Couvreur 2005a]
- J.‑M. Couvreur, Y. Thierry‑Mieg : “Hierarchical Decision Diagrams to Exploit Model Structure”, 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 443-457, (Springer-Verlag) [Couvreur 2005b]
- A. De Luna Almeida, S. Aknine, J.‑P. Briot, J. Malenfant : “Une approche de réplication fondée sur les plans pour la tolérance aux fautes des systèmes multi-agents”, JFSMA 2005 - 13èmes Journées Francophones sur les Systèmes Multi-Agents, Calais, France, pp. 183-186, (Revue des Sciences et Technologies de l'Information (RSTI)) [De Luna Almeida 2005]
- G. Haïk, J.‑P. Briot, Ch. Queinnec : “Automatic Introduction of Mobility for Standard-based Frameworks”, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE International Symposium on Distributed Objects and Applications (DOA'05), vol. 3760, Lecture Notes in Computer Science, R. Meersman, Z. Tari (Eds.), Agia Napa, Cyprus, pp. 813-827, (Springer-Verlag), (ISBN: 978-3-540-29736-9) [Haïk 2005]
- J. Hugues, F. Kordon, L. Pautet : “Towards Proof-Based Real-Time Distribution Middleware”, 13th International Conference On Real-Time Systems (RTS '05), Paris, France, pp. 51-70, (BIRP) [Hugues 2005a]
- J. Hugues, L. Pautet, F. Kordon : “Revisiting COTS Middleware for DRE System”, International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), Seattle, United States, pp. 72-79, (IEEE) [Hugues 2005b]
- K. Klai, S. Haddad, J.‑M. Ilié : “Modular Verification of Petri Nets Properties: A Structure-Based Approach”, 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 189-203, (Springer-Verlag) [Klai 2005]
- E. Saint‑James : “SPIP, système de publication pour l'Internet (tutorial invité)”, JRES 2005 - 6èmes Journées Réseaux, Marseille, France [Saint-James 2005]
- Th. Vergnaud, J. Hugues, L. Pautet, F. Kordon : “Rapid Development Methodology for Customized Middleware”, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Montreal, Canada, pp. 111-117, (IEEE Computer Society) [Vergnaud 2005a]
- Th. Vergnaud, L. Pautet, F. Kordon : “Using the AADL to Describe Distributed Applications from Middleware to Software Components”, Reliable Software Technologies (RST'05), vol. 3555, Lecture Notes in Computer Science, York, United Kingdom, pp. 67-78, (Springer) [Vergnaud 2005b]