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, X. Blanc, M. Ziane, Ph. Desfray : “Improving Pattern Support in UML CASE tools”, UML 2004 Workshop on Consistency Problems in UML-based Software Development III, Lisbon, Portugal [Ammour 2004]
- S. Baarir, J.‑M. Ilié, A. Duret‑Lutz : “Improving Reachability Analysis for Partially Symmetric High Level Petri Nets”, 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '04), Volendam, Netherlands, pp. 5-8 [Baarir 2004a]
- S. Baarir, S. Haddad, J.‑M. Ilié : “Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems”, 7th Workshop on Discrete Event Systems (WODES '04), Reims, France, pp. 223-228 [Baarir 2004b]
- R. Bendraou, S. Bouzitouna, M.‑P. Gervais : “From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards”, International Conference on Software Engineering Research and Practice (SERP '04), Las Vegas, United States, pp. 407-416, (CSREA Press) [Bendraou 2004]
- X. Blanc, M.‑P. Gervais, M. Lamari, P. Sriplakich : “Towards an Integrated Transformation Environment (ITE) for Model Driven Development (MDD), Invited Session "Model Driven Development"”, 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI '2004), Orlando, United States, (International Institute of Informatics and Systemics (IIIS)) [Blanc 2004a]
- X. Blanc, M.‑P. Gervais, P. Sriplakich : “Model Bus : "Towards the Interoperability of Modelling Tools"”, Model Driven Architecture: Foundations and Applications (MDAFA 2004), vol. 3599, Lecture Notes in Computer Science, Linköping University, Sweden, pp. 17-32, (Springer-Verlag) [Blanc 2004b]
- X. Blanc, S. Bouzitouna, M.‑P. Gervais : “A Critical Analysis of MDA Standards through an Implementation : the ModFact Tool”, 1st European Workshop on Model Driven Architecture with Emphasis on Industrial Applications (EWMDA-IA'04), Enschede, Netherlands, pp. 115-122 [Blanc 2004c]
- S. Bouzitouna, M.‑P. Gervais : “Composition Rules for PIM Reuse”, 2nd European Workshop on MDA with Emphasis on Methodologies and Transformations, Canterbury, United Kingdom, pp. 36-43, (Computing Laboratory, United Kingdom) [Bouzitouna 2004]
- A. Duret‑Lutz, D. Poitrenaud : “SPOT: an Extensible Model Checking Library using Transition-based Generalized Büchi Automata”, 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '04), Volendam, Netherlands, pp. 76-83, (IEEE Computer Society Press) [Duret-Lutz 2004]
- A. Georgin, F. Legond‑Aubry, S. Matougui, N. Moteau, A. Muller, A. Tauveron : “Description des assemblages et des contrats pour la conception par composants (projet ACCORD)”, Journées Composants 2004, Langages et Modèles à Objets, Lille, France [Georgin 2004]
- F. Gilliers, F. Bréant, D. Poitrenaud, F. Kordon : “Model Checking of Highlevelobject Oriented Specifications : The LfP Experience”, 3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Aarhus, Denmark, pp. 149-168 [Gilliers 2004a]
- F. Gilliers, F. Kordon, J.‑P. Velu : “Generation of Distributed Programs in their Target Execution Environment”, 15th IEEE International Workshop on Rapid System Prototyping, Geneva, Switzerland, pp. 127-134, (IEEE Computer Society) [Gilliers 2004b]
- Z. Guessoum, M. Ziane, N. Faci : “Monitoring and Organizational-Level Adaptation of Multi-Agent Systems”, Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS '04), New-York City, United States, pp. 514-521, (IEEE Computer Society) [Guessoum 2004i]
- S. Haddad, J.‑M. Ilié, K. Klai : “Design and Evaluation of a Symbolic and Abstraction-based Model Checker”, 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA '04), vol. 3299, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 196-210, (Springer-Verlag) [Haddad 2004a]
- S. Haddad, J.‑M. Ilié, K. Klai : “Symbolic Observation Graph : An Efficient Structure for On-The-Fly Action-based Linear Time Logic Model Checking”, 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04), Saint-Malo, France, pp. 11-12 [Haddad 2004b]
- J. Hugues, Y. Thierry‑Mieg, F. Kordon, L. Pautet, S. Baarir, Th. Vergnaud : “On the Formal Verification of Middleware Behavioral Properties”, 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Linz, Austria, pp. 139-157, (Elsevier) [Hugues 2004]
- J.‑M. Ilié, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux : “Extended SWN Solvers in GreatSPN”, 1st International Conference on Quantitative Evaluation of Systems (QEST '04), Enschede, Netherlands, pp. 324-325, (IEEE Computer Society) [Ilié 2004]
- D. Julien, M. Ziane, Z. Guessoum : “Automatiser la Cohérence des Données Exposées dans une Interface Utilisateur”, 8th Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI '04), Sousse, Tunisia, pp. 373-384 [Julien 2004a]
- D. Julien, M. Ziane, Z. Guessoum : “Des agents pour faciliter la modélisation des interfaces utilisateur”, MajecSTIC 2004, Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, Calais, France [Julien 2004b]
- D. Julien, M. Ziane, Z. Guessoum : “Goliath: an Extensible Model-Based Environment to Develop User Interfaces”, 3rd International Conference on Computer-Aided Design of User Interfaces (CADUI '04), Funchal, Isle of Madeira, Portugal, pp. 95-106, (Kluwer Academics) [Julien 2004c]
- D. Julien, Z. Guessoum, M. Ziane : “Building User Interfaces thanks to Eco-Resolution”, International Conference on Advances in Intelligent Systems - Theory and Applications, in cooperation with the IEEE Computer Society, Luxembourg, Luxembourg [Julien 2004d]
- R. Le Delliou, N. Ploquin, M. Belaunde, R. Bendraou, L. Féraud : “A Model Driven Approach For Information System Migration”, 4th Workshop on ODP for Enterprise Computing (EDOC), Monterey, California, United States, pp. 90-97, (IEEE Computer Society) [Le Delliou 2004]
- F. Legond‑Aubry, G. Florin, L. Seinturier : “An AOP Layer to Abstract Programming with Distributed Components”, Workshop of Aspect-Oriented Software Development, Beijing, China, pp. 17-31 [Legond-Aubry 2004]
- J. Malenfant, S. Denier : “Architecture réflexive pour le contrôle de robots modulaires”, Langages et Modèles à Objets - LMO 2004, vol. 10 (2-3), Revue des Sciences et Technologies (RSTI) série L'objet, Lille, France, pp. 17-30, (Hermes/Lavoisier) [Malenfant 2004b]
- Y. Thierry‑Mieg, J.‑M. Ilié, D. Poitrenaud : “A Symbolic Symbolic State Space Representation”, 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE '04), vol. 3235, Lecture Notes in Computer Science, Madrid, Spain, pp. 276-291, (Springer-Verlag) [Thierry-Mieg 2004a]
- Th. Vergnaud, J. Hugues, L. Pautet, F. Kordon : “PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications”, 9th International Conference on Reliable Software Technologies - Ada-Europe 2004, vol. 3063, Lecture Notes in Computer Science, Palma de Mallorca, Spain, pp. 106-119, (Springer-Verlag) [Vergnaud 2004]
- M. Ziane, S. Chantit : “Vers une approche "générer et tester" pour aider à utiliser les patrons de conception”, 8th Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI '04), Sousse, Tunisia, pp. 13-24 [Ziane 2004]