现有科研组 : | 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 |
刊物文章 | 3 | 1 | 4 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 8 | 7 | 15 |
Habilitations | 0 | 0 | 0 |
Thesis | 2 | 1 | 3 |
- S. Baarir, A. Duret‑Lutz : “SAT-Based Minimization of Deterministic ω-Automata”, Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, pp. 79-87 [Baarir 2015]
- B. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order models”, ACSD'15 - 15th International Conference on Application of Concurrency to System Design, Brussels, Belgium, pp. 80-89, (IEEE) [Bérard 2015c]
- B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas : “Polynomial Interrupt Timed Automata”, The 9th Workshop on Reachability Problems (RP'15), vol. 9328, Lecture Notes in Computer Science, Warsaw, Poland, pp. 20-32, (Springer) [Bérard 2015e]
- R. Boukharrou, J.‑M. Ilié, D. Saidouni : “Spatio-Temporal Planning for Mobile Ambient Agents”, Procedia Computer Science, vol. 56, 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015), Belfort, France, pp. 96-103, (Elsevier) [Boukharrou 2015b]
- A. Brandao, D. Boufedji, T. Ziadi, Z. Guessoum : “Vers une approche d'ingénierie multiagent à base de ligne de produits logiciels”, 23es Journées Francophones sur les Systèmes Multi-Agents (JFSMA'15), Rennes, France, pp. 49-58, (Cépaduès) [Brandao 2015]
- H. Bruneliere, J. Garcia, Ph. Desfray, D. Khelladi, R. Hebig, R. Bendraou, J. Cabot : “On Lightweight Metamodel Extension to Support Modeling Tools Agility”, 11th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), vol. 9153, Lecture Notes in Computer Science, L'Aquila, Italy, pp. 62-74, (Springer) [Bruneliere 2015]
- Th. Bui, S. Stinckwich, M. Ziane, B. Roche, T. Ho : “KENDRICK: a Domain Specific Language and Platform for Mathematical Epidemiological Modelling”, 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for the Future (RIVF), Can Tho, Viet Nam, pp. 132-137 [Bui 2015]
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments”, Artificial Intelligence Applications and Innovations, vol. 458, IFIP Advances in Information and Communication Technology, Bayonne, France, pp. 266-281, (Springer International Publishing) [Chaouche 2015a]
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Spatio-Temporal Guidance for Ambient Agents”, 20th International Conference on Control Systems and Computer Science (CSCS)}, Control Systems and Computer Science (CSCS), 2015 20th International Conference, Bucharest, Romania, pp. 719-726, (IEEE) [Chaouche 2015b]
- L. Georget, G. Piolle, F. Tronel, V. Viet Triem Tong, M. Jaume : “Towards a Formal Semantics for System Calls in terms of Information Flow”, Tenth International Conference on Systems (ICONS 2015), Barcelone, Spain, pp. 1-4, (IARIA) [Georget 2015]
- R. Hebig, D. Khelladi, R. Bendraou : “Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution”, Software Engineering Conference (APSEC), 2015 Asia-Pacific, New Delhi, India, pp. 135-142, (IEEE Xplore) [Hebig 2015a]
- S. Herbold, J. Grabowski, P. Harms, L. Hillah, F. Kordon, A.‑P. Maesano, L. Maesano, C. Di Napoli, F. De Rosa, M. Schneider, N. Tonelloto, M.‑F. Wendland, P.‑H. Wuillemin : “The MIDAS Cloud Platform for Testing SOA Applications”, 8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Graz, Austria, pp. 1-8, (IEEE Press) [Herbold 2015]
- L. Hillah, A.‑P. Maesano, F. De Rosa, L. Maesano, M. Lettere, R. Fontanelli : “Service functional test automation”, Workshop on System Testing and Validation, Sophia Antipolis, France [Hillah 2015]
- D. Khelladi, R. Bendraou, S. Baarir, Y. Laurent, M.‑P. Gervais : “A Framework to Formally Verify Conformance of a Software Process to a Software Method”, 30th ACM/SIGAPP Symposium On Applied Computing SAC, Salamanca, Spain, pp. 1518-1525, (ACM) [Khelladi 2015a]
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting Complex Changes During Metamodel Evolution”, 27th International Conference on Advanced Information Systems Engineering, vol. 9097, Lecture Notes in Computer Science, Stockholm, Sweden, pp. 263-278 [Khelladi 2015b]
- R. Lopez‑Herrejon, T. Ziadi, J. Martinez, A. Thurimella, M. Acher : “Third International Workshop on Reverse Variability Engineering (REVE 2015), associated with {SPLC}”, Proceedings of the 19th International Conference on Software Product Line, Nashville, TN, United States, pp. 394-394, (ACM) [Lopez-Herrejon 2015b]
- J. Martinez, J. Malburg, T. Ziadi, G. Fey : “Towards analysing feature locations through testing traces with {BUT4R}euse”, Workshop on Design Automation for Understanding Hardware Designs (DUHDe), Grenoble, France [Martinez 2015a]
- J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Automating the Extraction of Model-Based Software Product Lines from Model Variants”, ASE 2015 - 30th IEEE/ACM International Conference on Automated Software Engineering, Lincoln, Nebraska, United States, pp. 396-406, (IEEE) [Martinez 2015b]
- J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Bottom-Up Adoption of Software Product Lines - A Generic and Extensible Approach”, 19th International Software Product Line Conference (SPLC), Nashville, TN, United States, pp. 101-110, (ACM) [Martinez 2015c]
- J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Estimating and Predicting Human Perception on Computer-Generated Artwork Variants”, Genetic and Evolutionary Computation Conference - GECCO, Companion Material Proceedings, Madrid, Spain, pp. 1431-1432, (ACM) [Martinez 2015d]
- L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau”, ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France [Millet 2015]
- E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Parallel Explicit Model Checking for Generalized Büchi Automata”, 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 613-627, (Springer) [Renault 2015]
- Y. Thierry Mieg : “Symbolic Model-Checking using ITS-tools”, Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 231-237, (Springer Berlin Heidelberg) [Thierry Mieg 2015]