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 | 3 | 1 | 4 |
Book chapters | 0 | 0 | 0 |
Conference papers | 8 | 7 | 15 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- S. Baarir, A. Duret‑Lutz : “Emptiness Check of Powerset Buchi Automata”, 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovakia, pp. 41-50, (IEEE) [Baarir 2007a]
- S. Baarir, A. Duret‑Lutz : “Test de vacuité pour automates de Büchi ensemblistes avec tests d'inclusion”, 6e Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Lyon, France, pp. 19-34, (Hermes-Lavoisier) [Baarir 2007b]
- R. Bendraou, B. Combemale, X. Crégut, M.‑P. Gervais : “Definition of an eXecutable SPEM 2.0”, 14th Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, pp. 390-397, (IEEE Computer Society) [Bendraou 2007a]
- R. Bendraou, M.‑P. Gervais : “A Framework for Classifying and Comparing Process Technology Domains”, International Conference on Software Engineering Advances (ICSEA '07), Cap Esterel, France, pp. 5-12, (IEEE) [Bendraou 2007b]
- R. Bendraou, M.‑P. Gervais, A. Sadovykh : “Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach”, 33rd EUROMICRO Conference SEAA, Lübeck, Germany, pp. 314-321, (IEEE) [Bendraou 2007c]
- D. Benmerzoug, M. Boufaïda, F. Kordon : “A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents”, 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Madeira, Portugal, pp. 163-168, (INSTICC Press) [Benmerzoug 2007]
- X. Blanc : “Ingénierie logicielle guidée par les modèles - Avantages et limites actuels”, INFORSID, Perros-Guirec, France, pp. 7-11 [Blanc 2007]
- F. Bonnefoi, F. Bellotti, T. Scendzielorz : “From User Needs to Application, the SAFESPOT Approach Based on Roads Data Analysis”, 6th European Congress and Exhibition on Intelligent Transport Systems and Services, Aalborg, Denmark [Bonnefoi 2007a]
- F. Bonnefoi, F. Bellotti, T. Scendzielorz, F. Visintainer : “Infrastructure-Based Co-operative Architectures: How Safespot Deals with Different Road Network Areas”, 14th World Congress and Exhibition on Intelligent Transport Systems and Services, Beijing, China [Bonnefoi 2007b]
- F. Bonnefoi, F. Bellotti, T. Scendzielorz, F. Visintainer : “SAFESPOT Applications for Infrasructure-based Co-operative Road Safety”, 14th World Congress and Exhibition on Intelligent Transport Systems and Services, Beijing, China [Bonnefoi 2007c]
- F. Bonnefoi, L. Hillah, F. Kordon, X. Renault : “Design, Modeling and Analysis of ITS using UML and Petri Nets”, 10th International IEEE Conference on Intelligent Transportation Systems, Seattle, WA, United States, pp. 314-319, (IEEE) [Bonnefoi 2007d]
- M. Cauterman, S. Woynar, B. Huet : “A Strategy for Optimizing A.E.P. Studies”, 5th Conference on Quantitative Modelling in the Management of Health Care, London, United Kingdom [Cauterman 2007]
- P. Châtel : “Toward a Semantic Web service discovery and dynamic orchestration based on the formal specification of functional domain knowledge”, 20th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2007), Paris, France [Châtel 2007a]
- P. Châtel : “Une architecture pour la découverte et l'orchestration de services Web sémantiques: Une utilisation des ontologies en milieu industriel”, Premières Journées Francophones sur les Ontologies (JFO’07), Les Ontologies : mythes, réalités et perspectives, Sousse, Tunisia, pp. 247-264 [Châtel 2007b]
- Ph. Collet, A. Ozanne, N. Rivierre : “Towards a Versatile Contract Model to Organize Behavioral Specifications”, 33rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 07, vol. 4362, Lecture Notes in Computer Science, Harrachov, Czechia, pp. 844-855, (Springer) [Collet 2007a]
- Ph. Collet, J. Malenfant, A. Ozanne, N. Rivierre : “Composite Contract Enforcement in Hierarchical Component Systems”, ETAPS 2007, 6th International Symposium on Software Composition (SC 2007), vol. 4829, Lecture Notes in Computer Science, Braga, Portugal, pp. 18-33, (Springer-Verlag) [Collet 2007b]
- D. Dahmani, J.‑M. Ilié, M. Boukala : “Time Recursive Petri Net”, International Workshop of Petri Nets and Software Engineering (PNSE 2007), in conjunction with the 28th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency (Petri Nets 2007), Sliedlce, Poland, pp. 37-51 [Dahmani 2007]
- A. De Luna Almeida, S. Aknine, J.‑P. Briot, J. Malenfant : “Predictive Fault Tolerance in Multi-Agent Systems: a Plan-Based Replication Approach”, International Conference on Autonomous Agents and Multiagent Systems (AAMAS'07) - Poster Session, Honolulu, Hawai, United States, pp. 672-673, (ACM Press) [De Luna Almeida 2007c]
- G. Fombelle, X. Blanc, L. Rioux, M.‑P. Gervais : “Construction Formelle et Gestion de la Cohérence des Modèles”, 3ème Conférence sur l'Ingénierie des Modèles (IDM'07), Toulouse, France, pp. 59-73 [Fombelle 2007]
- A. Hamez, F. Kordon, Y. Thierry‑Mieg : “libDMC: a library to Operate Efficient Distributed Model Checking”, Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, Long Beach, California, United States [Hamez 2007a]
- A. Hamez, F. Kordon, Y. Thierry‑Mieg, F. Legond‑Aubry : “dmcG: a distributed symbolic model checker based on GreatSPN”, ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, vol. 4546, Lecture Notes in Computer Science, Siedlce, Poland, pp. 495-504, (Springer) [Hamez 2007b]
- J. Hugues, B. Zalila, L. Pautet, F. Kordon : “Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina”, 18th International Workshop on Rapid System Prototyping (RSP), Porto Alegre, Brazil, pp. 106-112, (IEEE Computer Society) [Hugues 2007a]
- J. Hugues, F. Kordon, L. Pautet, Th. Vergnaud : “A Factory To Design and Build Tailorable and Verifiable Middleware”, Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), vol. 4322, Lecture Notes in Computer Science, University of California, Irvine, United States, pp. 121-142, (Springer-Verlag) [Hugues 2007b]
- F. Kordon : “Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems”, International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), Santorini, Greece, pp. 420-427, (IEEE Computer Society) [Kordon 2007a]
- F. Kordon, J.‑B. Voron, L. Iftode : “Rapid Prototyping of Intrusion Detection Systems”, 18th International Workshop on Rapid System Prototyping (RSP), Porto Alegre, Brazil, pp. 89-98, (IEEE Computer Society) [Kordon 2007d]
- F. Kordon, L. Petrucci : “A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots”, 2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, Paris, France, pp. 15-26 [Kordon 2007e]
- M. Lamari : “Towards an Automated Test Generation for the Verification of Model Transformations”, 2007 ACM Symposium on Applied Computing (SAC '07), Seoul, Korea, Republic of, pp. 998-1005, (ACM Press) [Lamari 2007]
- A. Muller, O. Caron, B. Carré, G. Vanwormhoudt, S. Bouzitouna : “Ingénierie multi-modèles : Projection flexible d'assemblages de modèles”, Journées Langages, Modèles, Objets (LMO'07), vol. 13 (Hors Série), RSTI, Toulouse, France, pp. 167-182, (Hermès Lavoisier) [Muller 2007]
- Ch. Queinnec : “Teaching CS to Undergraduates at UPMC”, International Lisp Conference, Clare College, Cambridge, United Kingdom, pp. 165-165, (ACM) [Queinnec 2007b]
- O. Rogovchenko, J. Malenfant : “Webjects, de vrais objets en paramètres des services web”, Langages et Modèles à Objets - LMO 2007, Revue des Sciences et Technologies (RSTI) série L'objet, Toulouse, France, pp. 65-80, (Hermes/Lavoisier) [Rogovchenko 2007]
- E. Saint‑James, G. Assayag, G. Carpentier, X. Rodet, D. Tardieu : “An Evolutionary Approach to Computer-Aided Orchestration”, 5e workshop on Evolutionary Computation, Machine Learning and Data Mining, vol. 4448, Lecture Notes in Computer Science, Valencia, Spain, pp. 488-497, (Springer) [Saint-James 2007]
- J. Sopena, F. Legond‑Aubry, L. Arantes, P. Sens : “A Composition Approach to Mutual Exclusion Algorithms for Grid Applications”, The 36th International Conference on Parallel Processing (ICPP07), XiAn, China, pp. 65-65, (IEEE Computer Society) [Sopena 2007]
- P. Sriplakich, X. Blanc, M.‑P. Gervais : “Support collaboratif pour la manipulation de modèles à large échelle”, 3ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM '07), Toulouse, France, pp. 25-40 [Sriplakich 2007]
- T. Ziadi, J.‑M. Jézéquel : “PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering”, 3rd Workshop on Managing Variability for Software Product Lines (SPLC 2007), Kyoto, Japan [Ziadi 2007]