Gruppi di ricerca attuali : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Gruppo precedente : | ACASA |
Pubblicazioni MoVe | 2023 | 2024 | Total |
---|---|---|---|
Libri | 0 | 0 | 0 |
Curatele di libri | 0 | 0 | 0 |
Articoli su rivista | 2 | 0 | 2 |
Capitoli di libri | 0 | 0 | 0 |
Articoli su atti di conferenza | 7 | 1 | 8 |
Abilitazioni | 0 | 0 | 0 |
Tesi | 2 | 1 | 3 |
- S. Baarir, J. Sopena, F. Legond‑Aubry : “On the Formal Verification of a Generic Hierarchical Mutual Exclusion Algorithm”, 28th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08 ), vol. 5048, Lecture Notes in Computer Science, Tokyo, Japan, pp. 99-115, (Springer-Verlag) [Baarir 2008]
- R. Bendraou, M.‑P. Gervais, X. Blanc, J.‑M. Jézéquel : “Vers l'Exécutabilité des Modèles de Procédés Logiciels”, 14ème colloque international sur les Langages et Modèles à Objets (LMO'08), vol. RNTI-L-1, Revue des Nouvelles Technologies de l'Information, Montréal, Quebec, Canada, pp. 153-168, (RNTI) [Bendraou 2008a]
- D. Benmerzoug, F. Kordon, M. Boufaïda : “A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration”, Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), vol. 10, Lecture Notes in Business Information Processing, Montpellier, France, pp. 78-92, (Springer-Verlag) [Benmerzoug 2008a]
- B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory”, 9th International Workshop on Discrete Event Systems (WODES'08), Goteborg, Sweden, pp. 346-351, (IEEE Computer Society) [Bérard 2008d]
- X. Blanc : “Tutorials at MODELS 2008”, Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, vol. 5301, Lecture Notes in Computer Science, Toulouse, France, pp. 910-915, (Springer) [Blanc 2008a]
- X. Blanc, I. Mounier, A. Mougenot, T. Mens : “Detecting Model Inconsistency Through Operation-Based Model Construction”, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, pp. 511-520, (ACM) [Blanc 2008b]
- F. Bonnefoi, Ch. Choppy, F. Kordon : “A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example”, 9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Aarhus, Denmark, pp. 183-202, (Daimi University, PB 588) [Bonnefoi 2008a]
- F. Bonnefoi, F. Belarbi : “SAFESPOT Specification Method: an Example with Infrastructure Based Applications”, 15th World Congress and Exhibition on Intelligent Transport Systems and Services, New-York, United States [Bonnefoi 2008b]
- P. Châtel, I. Truck, J. Malenfant : “A linguistic approach for non-functional constraints in a semantic SOA environment”, FLINS 2008 - 8th International FLINS Conference on Computational Intelligence in Decision and Control, Madrid, Spain, pp. 889-894, (World Scientific) [Châtel 2008]
- J. Delange, L. Pautet, F. Kordon : “Code Generation Strategies for Partitioned Systems”, 29th IEEE Real-Time Systems Symposium (RTSS'08), Barcelona, Spain, pp. 53-56, (IEEE Computer Society) [Delange 2008]
- A. Hamez, Y. Thierry‑Mieg, F. Kordon : “Hierarchical Set Decision Diagrams and Automatic Saturation”, 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), vol. 5062, Lecture Notes in Computer Science, Xian, China, pp. 211-230, (Springer-Verlag) [Hamez 2008]
- C. KAISER, Ch. Pajault, J.‑F. Pradat‑Peyre : “Concurrent Program Metrics Drawn by Quasar”, Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, vol. 5026, Lecture Notes in Computer Science, Venice, Italy, pp. 101-114, (Springer-Verlag) [KAISER 2008]
- K. Klai, D. Poitrenaud : “MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs”, 29th International Conference on Application and Theory of Petri Nets (ICATPN'08), vol. 5062, Lecture Notes in Computer Science, Xian, China, pp. 288-306, (Springer-Verlag) [Klai 2008]
- F. Kordon : “Design Methodologies for Embedded Systems: Where is the Super-Glue?”, 11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), Orlando, United States, pp. 358-359, (IEEE Computer Society) [Kordon 2008a]
- F. Kordon, J. Hugues, X. Renault : “From Model Driven Engineering to Verification Driven Engineering”, 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), vol. 5287, Lecture Notes in Computer Science, Capri, Italy, pp. 381-393, (Springer-Verlag) [Kordon 2008c]
- F. Lécué, A. Moreau, S. Salibi, Ph. Bron : “Semantic and Syntactic Data Flow in Web Service Composition”, IEEE International Conference on Web Services (ICWS), Beijing, China, pp. 211-218, (IEEE) [Lécué 2008]
- . Luqi, F. Kordon : “Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs”, Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, vol. 5320, Lecture Notes in Computer Science, Monterey, United States, pp. 15-24, (Springer-Verlag) [Luqi 2008]
- A. Moreau, J. Malenfant : “Syntax-directed Data Integration in Semantic Web Services Orchestrations”, 2nd International Workshop on Semantic Web Architectures for Enterprises (SWAE08) of 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), Turin, Italy, pp. 744-748, (IEEE) [Moreau 2008]
- M. Nguyen‑Duc, Z. Guessoum, O. Marin, J.‑F. Perrot, J.‑P. Briot : “A multi-agent approach to reliable air traffic control”, 2nd International Symposium on Agent Based Modeling and Simulation (ABModSim'08), Vienna, Austria [Nguyen-Duc 2008a]
- M. Nguyen‑Duc, Z. Guessoum, O. Marin, J.‑F. Perrot, J.‑P. Briot, V. Duong : “Towards a Reliable Air Traffic Control”, 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08) Industrial Track (short paper), Estoril, Portugal, pp. 101-104, (ACM Press) [Nguyen-Duc 2008b]
- M. Nguyen‑Duc, Z. Guessoum, O. Marin, J.‑F. Perrot, J.‑P. Briot, V. Duong : “Towards a reliable air traffic control (short paper)”, 5th International Workshop on Agents in Traffic and Transportation Systems (ATT'08), Estoril, Portugal, pp. 102-109 [Nguyen-Duc 2008c]
- Ch. Pajault, J.‑F. Pradat‑Peyre, P. Rousseau : “Adapting Petri Nets Reductions to Promela Specifications”, Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, vol. 5048, Lecture Notes in Computer Science, Tokyo, Japan, pp. 84-98, (Springer-Verlag) [Pajault 2008]
- X. Renault, J. Hugues, F. Kordon : “Formal Modeling of a Generic Middleware to Ensure Invariant Properties”, 10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), vol. 5051, Lecture Notes in Computer Science, Oslo, Norway, pp. 185-200, (Springer-Verlag) [Renault 2008]
- O. Rogovchenko, J. Malenfant : “WS-Objects: First-class Objects as Web Service Parameters”, Third International Conference on Internet and Web Applications and Services (ICIW 2008), Athènes, Greece, pp. 437-444, (IEEE) [Rogovchenko 2008b]
- J. Sopena, F. Legond‑Aubry, L. Arantes, P. Sens : “Composition d'algorithmes d'exclusion mutuelle pour les grilles de calcul.”, 6ème Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Chapitre français de l'ACM-SIGOPS, GDR ARP, Fribourg, Switzerland [Sopena 2008a]
- J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “The impact of clustering on token-based mutual exclusion algorithms”, Euro-Par 2008 Workshops - Parallel Processing, vol. 5168, Lecture Notes in Computer Science, Las Palmas de Gran Canaria, Spain, pp. 565-575, (Springer) [Sopena 2008b]
- P. Sriplakich, X. Blanc, M.‑P. Gervais : “Collaborative Software Engineering on Large-scale models: Requirements and Experience in ModelBus”, 23rd Annual ACM Symposium on Applied Computing (SAC'08), Fortaleza, Ceará, Brazil, pp. 674-681, (ACM) [Sriplakich 2008]
- J.‑B. Voron, F. Kordon : “Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs”, International Workshop on Petri Nets Tools and APplications (PNTAP), Marseille, France, pp. 1-10, (ACM) [Voron 2008b]