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 |
- M. Almeida Da Silva, A. Mougenot, R. Bendraou, J. Robin, X. Blanc : “Artifact or Process Guidance, an Empirical Study”, MoDELS (2), vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 318-330, (Springer) [Almeida Da Silva 2010a]
- M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, vol. 6051, Lecture Notes in Computer Science, Hammamet, Tunisia, pp. 348-362, (Springer) [Almeida Da Silva 2010b]
- M. Almeida Da Silva, R. Bendraou, X. Blanc, M.‑P. Gervais : “Early Deviation Detection in Modeling Activities of MDE Processes”, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 303-317, (Springer) [Almeida Da Silva 2010c]
- S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, T. Li, I. Mounier, D. Poitrenaud, S. Younes : “Quantifying Robustness by Symbolic Model checking”, 1st Hardware Verification Workshop (CAV workshop), Edinburgh, United Kingdom, pp. 1-12 [Baarir 2010a]
- S. Baarir, L. Hillah, F. Kordon, E. Renault : “Self-Reconfigurable Modular Robots and their Symbolic Configuration Space”, Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, vol. 6662, Lecture Notes in Computer Science, Redmond, United States, pp. 103-121, (Springer) [Baarir 2010b]
- Y. Ben Maïssa, S. Mouline : “Un langage de modélisation pour réseaux de capteurs sans fil basé sur sysml”, 2èmes Journées Doctorales en Technologies de l'Information et de la Communication, Fès, Morocco [Ben Maïssa 2010]
- B. Bérard, J. Mullins, M. Sassolas : “Quantifying Opacity”, 7th International Conference on Quantitative Evaluation of Systems (QEST 2010), Williamsburg, Virginia, United States, pp. 263-272, (IEEE Computer Society) [Bérard 2010a]
- B. Bérard, S. Haddad, M. Sassolas : “Real Time Properties for Interrupt Timed Automata”, 17th International Symposium on Temporal Representation (TIME 2010), Paris, France, pp. 69-76, (IEEE Computer Society Press) [Bérard 2010b]
- P. Châtel, J. Malenfant, I. Truck : “QoS-based Late-Binding of Service Invocations in Adaptive Business Processes”, IEEE International Conference on Web Services (ICWS), Miami, FL, United States, pp. 227-234, (IEEE) [Châtel 2010b]
- Ch. Choppy, A. Dedova, S. Evangelista, S. Hong, K. Klai, L. Petrucci : “The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification”, 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), vol. 6128, Lecture Notes in Computer Science, Braga, Portugal, pp. 145-164, (Springer) [Choppy 2010]
- J. Delange, L. Pautet, F. Kordon : “Design, Verification and Implementation of MILS systems”, Proceedings of the 21th International Symposium on Rapid System Prototyping, Fairfax, VA, United States, pp. 1-8, (IEEE Computer Society) [Delange 2010a]
- J. Delange, L. Pautet, F. Kordon : “Modeling and Validation of ARINC653 architectures”, Embedded Real Time Software and Systems (ERTSS'10), Toulouse, France, pp. 1-8 [Delange 2010b]
- X. Dutreilh, N. Rivierre, A. Moreau, J. Malenfant, I. Truck : “From Data Center Resource Allocation to Control Theory and Back”, 3rd IEEE International Conference on Cloud Computing (CLOUD’2010), Miami, United States, pp. 410-417 [Dutreilh 2010]
- A. Etien, A. Muller, Th. Legrand, X. Blanc : “Combining Independent Model Transformations”, ACM Symposium On Applied Computing (SAC), Sierre, Switzerland, pp. 2237-2243, (ACM) [Etien 2010]
- A. Hamez, S. Hostettler, A. Linard, A. Marechal, E. Paviot‑Adet, M. Risoldi : “Specification of Decision Diagram Operations”, International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo'2010 associated with Petri Nets 2010), vol. 827, CEUR-WS, Braga, Portugal, pp. 437-451, (CEUR) [Hamez 2010]
- L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “PNML Framework: an extendable reference implementation of the Petri Net Markup Language”, 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), vol. 6128, Lecture Notes in Computer Science, Braga, Portugal, pp. 318-327, (Springer) [Hillah 2010a]
- F. Kordon, Y. Thierry‑Mieg : “Experiences in Model Driven Verification of Behavior with UML”, Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, vol. 6028, Lecture Notes in Computer Science, Budapest, Hungary, pp. 181-200, (Springer) [Kordon 2010b]
- A. Lajmi, M. Ziane, S. Cauvin, T. Ziadi : “A multi-view model-driven approach for the standardization of chemical process modelling components”, 25th Symposium On Applied Computing, Sierre, Switzerland, pp. 2297-2304, (ACM) [Lajmi 2010]
- G. Lasnier, Th. Robert, L. Pautet, F. Kordon : “Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems”, 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), Carmona, Spain, pp. 87-91, (IEEE) [Lasnier 2010a]
- G. Lasnier, Th. Robert, L. Pautet, F. Kordon : “Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex”, 10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Tozeur, Tunisia, pp. 17-24, (IEEE) [Lasnier 2010b]
- B. Le Duc, Ph. Collet, J. Malenfant, N. Rivierre : “A QoI-aware Framework for Adaptive Monitoring”, 2nd International Conference on Adaptive and Self-adaptive Systems and Applications, ADAPTIVE 2010, Lisbonne, Portugal, pp. 133-141, (IARIA) [Le Duc 2010]
- A. Linard, E. Paviot‑Adet, F. Kordon, D. Buchs, S. Charron : “polyDD: Towards a Framework Generalizing Decision Diagrams”, 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 124-133, (IEEE) [Linard 2010]
- O. Melekhova, M.‑A. Abchir, P. Châtel, J. Malenfant, I. Truck, A. Pappa : “Self-Adaptation in Geotracking Applications: Challenges, Opportunities and Models”, ADAPTIVE AND SELF-ADAPTIVE SYSTEMS AND APPLICATIONS. INTERNATIONAL CONFERENCE. 2ND 2010. (ADAPTIVE 2010), Lisbonne, Portugal, pp. 68-77 [Melekhova 2010]
- A. Mougenot, X. Blanc, M.‑P. Gervais : “Inconsistency Detection in Distributed Model Driven Software Engineering Environments”, 3rd Workshop on Living with Inconsistencies in Software Development, vol. 661, CEUR-WS, Antwerp, Belgium, pp. 2-7, (CEUR) [Mougenot 2010]
- C. Parra, A. Cleve, X. Blanc, L. Duchien : “Feature-based Composition of Software Architectures”, 4th European Conference on Software Architecture, vol. 6285, Lecture Notes in Computer Science, Copenhagen, Denmark, pp. 230-245 [Parra 2010a]
- O. Rogovchenko, J. Malenfant : “Composition and Compositionality in a Component Model for Autonomous Robots”, Proceedings of Software Composition, SC 2010, vol. 6144, Lecture Notes in Computer Science, Malaga, Spain, pp. 34-49, (Springer-Verlag) [Rogovchenko 2010a]
- O. Rogovchenko, J. Malenfant : “Handling Hardware Heterogeneity through Rich Interfaces in a Component Model for Autonomous Robotics”, 2nd International Conference on Simulation, Modeling and Programming for Autonomous Robots, SIMPAR 2010, vol. 6472, Lecture Notes in Artificial Intelligence, Darmstadt, Germany, pp. 312-323, (Springer-Verlag) [Rogovchenko 2010b]
- I. Truck, J. Malenfant : “Towards A Unification Of Some Linguistic Representation Models: A Vectorial Approach”, Computational Intelligence: Foundations and Applications, Proceedings of the 9th International FLINS Conference (World Scientific Proceedings Series on Computer Engineering and Information Science), Chengdu, China, pp. 610-615, (World Scientific) [Truck 2010]
- J.‑B. Voron, C. Démoulins, F. Kordon : “Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach”, 10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal, pp. 57-66, (IEEE) [Voron 2010]
- Y. Zhang : “Modeling Automated Highway Systems with VeriJ”, MOdelling and VErifying parallel Processes (MOVEP), Aachen, Germany, pp. 138-143 [Zhang 2010a]
- Y. Zhang, B. Bérard, F. Kordon, Y. Thierry‑Mieg : “Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams”, 11th International Workshop on Discrete Event Systems (WODES'10), Berlin, Germany, pp. 281-286, (IFAC/Elsevier) [Zhang 2010b]
- J. Zhu, F. Kordon : “A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL”, 2nd International Conference on Information Management and Engineering (ICIME 2010), Chengdu, China, pp. 304-310, (IEEE) [Zhu 2010]