الوحدات الحالية : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
الفـرق السـابـقــة : | ACASA |
إصدارات MoVe | 2023 | 2024 | Total |
---|---|---|---|
كتـب | 0 | 0 | 0 |
إصدار كـتب | 0 | 0 | 0 |
مـنشـورات في مـجلات | 2 | 0 | 2 |
فصـول في كـتب | 0 | 0 | 0 |
منشورات | 7 | 1 | 8 |
تراخيص | 0 | 0 | 0 |
مـذكرات | 2 | 1 | 3 |
- S. Baarir, C. Braunstein, R. Clavel, E. Encrenaz, J.‑M. Ilié, R. Leveugle, I. Mounier, L. Pierre, D. Poitrenaud : “Complementary formal approaches for dependability analysis”, The 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Chicago, Illinois, United States, pp. 331-339, (IEEE Computer Society) [Baarir 2009a]
- S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis : “From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets”, Proc. 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Pisa, Italy, pp. 43:1-43:10, (ICST) [Baarir 2009b]
- G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas : “Covert Channels with Transducers”, Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09), Los Angeles, California, United States [Benattar 2009]
- R. Bendraou, J.‑M. Jézéquel, F. Fleurey : “Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation”, ICSP 2009 - International Conference on Software Process, vol. 5543, Lecture Notes in Computer Science, Vancouver, Canada, pp. 148-160, (Springer) [Bendraou 2009]
- B. Bérard, S. Haddad : “Interrupt Timed Automata”, Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), vol. 5504, Lecture Notes in Computer Science, York, United Kingdom, pp. 197-211, (Springer) [Bérard 2009b]
- O. Bertrand, A. Calonne, Ch. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot‑Adet, L. Petrucci, J.‑P. Smets : “Verification of large-scale distributed database systems in the NEOPPOD project”, Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Paris, France, pp. 315-316 [Bertrand 2009]
- X. Blanc, A. Mougenot, I. Mounier, T. Mens : “Incremental Detection of Model Inconsistencies based on Model Operations”, 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), vol. 5565, Lecture Notes in Computer Science, Amsterdam, Netherlands, pp. 32-46, (Springer) [Blanc 2009]
- G. Ciardo, G. Mecham, E. Paviot‑Adet, M. Wan : “P-Semiflow Computation with Decision Diagrams”, Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, vol. 5606, Lecture Notes in Computer Science, Paris, France, pp. 143-162, (Springer) [Ciardo 2009]
- D. Dahmani, J.‑M. Ilié, M. Ioualalen : “Reachabilty Analysis For Recursive Petri Nets With Shared Places”, International Workshop on Abstractions for Petri nets Analysis and Other Models of Concurrency (APNOC'2009), in conjunction with the 30th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2009), Paris, France, pp. 65-79, (P13) [Dahmani 2009]
- S. Ductor, Z. Guessoum, M. Ziane : “Gestion des ressources et réplication adaptative pour fiabiliser les SMA”, Rencontre des Jeunes Chercheurs en Intelligence Artificielle, Hammamet, Tunisia, pp. 47-62 [Ductor 2009a]
- S. Ductor, Z. Guessoum, M. Ziane : “Resource Management and Adaptive Replication for Fault-Tolerant MAS”, Fourth International Workshop on Massively Multi-Agent Systems, Budapest, Hungary, pp. 63-77, (Springer) [Ductor 2009b]
- A. Duret‑Lutz, D. Poitrenaud, J.‑M. Couvreur : “On-the-fly Emptiness Check of Transition-Based Streett Automata”, 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, vol. 5799, Lecture Notes in Computer Science, Macao, China, pp. 213-227, (Springer) [Duret-Lutz 2009]
- S. Haddad, F. Kordon, L. Petrucci, J.‑F. Pradat‑Peyre, N. Trèves : “Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains”, Proceedings of the 28th American Control Conference (ACC'09), Saint Louis, MO, United States, pp. 5018-5025, (IEEE) [Haddad 2009a]
- C. KAISER, J.‑F. Pradat‑Peyre : “Weak Fairness Semantic Drawbacks in Java Multithreading”, Reliable Software Technologies – Ada-Europe 2009, vol. 5570, Lecture Notes in Computer Science, Brest, France, pp. 90-104, (Springer Berlin Heidelberg) [KAISER 2009]
- F. Kordon : “Model Driven Enginering versus Organic Computing, two complementary approaches”, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Tokyo, Japan, pp. 99-100, (IEEE Computer Society) [Kordon 2009a]
- A. Lajmi, S. Cauvin, M. Ziane : “A software factory for the generation of CAPE-OPEN compliant Process Modelling Components”, 10th International Symposium on Process Systems Engineering, vol. 27, Computer Aided Chemical Engineering, Salvador, Bahia, Brazil, pp. 207-212, (Elsevier) [Lajmi 2009]
- B. Le Duc, P. Châtel, N. Rivierre, J. Malenfant, Ph. Collet, I. Truck : “Non-functional Data Collection for Adaptive Business Processes and Decision Making”, 4th International Workshop on Middleware for Service Oriented Computing (MW4SOC'09), Urbana Champaign, IL, United States, pp. 7-12, (ACM) [Le Duc 2009]
- A. Moreau, J. Malenfant, M. Dao : “Data Flow Repair in Web Service Orchestration at Runtime”, The Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, Venise, Italy, pp. 43-48, (IEEE) [Moreau 2009]
- A. Mougenot, A. Darrasse, X. Blanc, M. Soria : “Uniform random generation of huge metamodel instances”, Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Enschede, Netherlands, pp. 130-145 [Mougenot 2009a]
- A. Mougenot, X. Blanc, M.‑P. Gervais : “D-Praxis: A Peer-to-Peer Collaborative Model Editing Framework”, 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS'09), vol. 5523, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 16-29, (Springer) [Mougenot 2009b]
- C. Parra, X. Blanc, L. Duchien : “Context Awareness for Dynamic Service-Oriented Product Lines”, SPLC 2009 Proceedings of the 13th International Software Product Line Conference, vol. 1, San Francisco, United States, pp. 131-140 [Parra 2009]
- X. Renault, F. Kordon, J. Hugues : “Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets”, Proceedings of the 20th International Workshop on Rapid System Prototyping, Paris, France, pp. 26-33, (IEEE) [Renault 2009a]
- X. Renault, F. Kordon, J. Hugues : “From AADL architectural models to Petri Nets: Checking model viability”, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 313-320, (IEEE Computer Society) [Renault 2009b]
- Y. Thierry‑Mieg, D. Poitrenaud, A. Hamez, F. Kordon : “Hierarchical Set Decision Diagrams and Regular Models”, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 5505, Lecture Notes in Computer Science, York, United Kingdom, pp. 1-15, (Springer) [Thierry-Mieg 2009]
- N. Trèves, L. Hillah, F. Kordon, L. Petrucci : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Aarhus, Denmark, pp. 19 [Trèves 2009]
- T. Ziadi, X. Blanc, A. Raji : “From Requirements to Code Revisited”, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 228-235 [Ziadi 2009]