| 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 | 1 | 1 |
| Journal articles | 2 | 2 | 4 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 8 | 9 | 17 |
| Habilitations | 0 | 0 | 0 |
| Thesis | 2 | 1 | 3 |
- B. Barbot, B. Bérard, Y. Duplouy, S. Haddad : “Statistical Model-Checking for Autonomous Vehicle Safety Validation”, Conference SIA Simulation Numérique, Montigny-le-Bretonneux, France [Barbot 2017]
- B. Bérard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Nets”, Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, vol. 10258, Lecture Notes in Computer Science, Zaragoza, Spain, pp. 200-220, (Springer) [Bérard 2017b]
- B. Bérard, S. Haddad, E. Lefaucheux : “Probabilistic Disclosure: Maximisation vs. Minimisation”, FSTTCS 2017, Kanpur, India, pp. 13:1-13:14 [Bérard 2017c]
- B. Bérard, Y. Duplouy, S. Haddad : “Une sémantique formelle pour les modèles Simulink”, Actes de l'École d'été Temps Réel 2017, Paris, France [Bérard 2017d]
- S. Casare, T. Ziadi, A. Brandao, Z. Guessoum : “Meduse: an Approach for Tailoring Software Development Process”, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, United Arab Emirates, pp. 197-200 [Casare 2017]
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory”, Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), LNCS, Trento, Italy, pp. 1-16, (Springer International Publishing) [Georget 2017a]
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Suivi de flux d'information correct sous Linux”, Actes des 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Montpellier, France, pp. 19-26 [Georget 2017b]
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux”, 5th International FME Workshop on Formal Methods in Software Engineering, Buenos Aires, Argentina, pp. 10-16, (IEEE Press) [Georget 2017c]
- F. Golra, F. Dagnat, R. Bendraou, A. Beugnard : “Continuous Process Compliance Using Model Driven Engineering”, Proceedings MEDI 2017 : 7th International Conference on Model and Data Engineering, vol. 10563, Lecture Notes in Computer Science, Barcelone, Spain, pp. 42-56, (Springer International Publishing) [Golra 2017]
- L. Hillah, F. Kordon : “Petri Nets Repository: a tool to benchmark and debug Petri Net tools”, 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, vol. 10258, Lecture Notes in Computer Science, Zaragoza, Spain, pp. 125-135, (Springer) [Hillah 2017b]
- L. Hillah, R. Assad, A. Bertolino, L. Maesano, J. Iyoda : “Automated Deployment and Management of Self-* Applications on Hybrid Clouds”, Cloudscape Brazil and Workshop on Cloud Networks 2017, São Paulo, Brazil [Hillah 2017c]
- L. Hillah, R. Assad, A. Bertolino, M. Delamaro, F. De Rosa, V. Garcia, F. Lonetti, A.‑P. Maesano, L. Maesano, E. Marchetti, B. Miranda, A. Vincenzi, J. Iyoda : “Towards automated deployment of self-adaptive applications on hybrid clouds”, 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Trento, Italy [Hillah 2017d]
- J.‑M. Ilié, Ah. Chaouche : “Toward an Efficient Ambient Guidance for Transport Applications”, 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017), Leuven, Belgium, (Procedia Computer Science) [Ilié 2017]
- A. Krishna, P. Poizat, G. Salaün : “VBPMN: Automated Verification of BPMN Processes”, 13th International Conference on integrated Formal Methods (iFM 2017), Turin, Italy [Krishna 2017]
- L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “PaInleSS: a Framework for Parallel SAT Solving”, The 20th International Conference on Theory and Applications of Satisfiability Testing, vol. 10491, Lecture Notes in Computer Science, Melbourne, Australia, pp. 233-250, (Springer) [Le Frioux 2017]
- J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Bottom-Up Technologies for Reuse: Automated Extractive Adoption of Software Product Lines”, Proceedings of the 39th International Conference on Software Engineering Companion, Buenos Aires, Argentina, pp. 67-70 [Martinez 2017c]
- J. Martinez, Wesley K. G. Assunção, T. Ziadi : “ESPLA: A catalog of Extractive SPL Adoption case studies”, Proceedings of the International Systems and Software Product Line Conference, SPLC 2017, Séville, Spain [Martinez 2017d]
- O. Melekhova, J. Malenfant : “A Token-Based Scheme for Coordinating Decisions in Large-Scale Autonomic Systems”, IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2017), 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Poznan, Poland, (IEEE Computer Society) [Melekhova 2017]
- T. Menouer, S. Baarir : “Parallel Learning Portfolio-based solvers”, International Conference On Computational Science, vol. 108, Elsevier Procedia Computer Science, Zürich, Switzerland, pp. 335-344 [Menouer 2017a]
- T. Menouer, S. Baarir : “Parallel Satisfiability Solver Based on Hybrid Partitioning Method”, 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, St. Petersburg, Russian Federation, pp. 54-60 [Menouer 2017b]
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring”, Formal Methods in Computer Aided Design, Vienna, Austria, pp. 212-219, (IEEE) [Sangnier 2017b]
- L. Wouters, S. Creff, E. EFFA BELLA, A. Koudri : “Towards Semantic-Aware Collaborations in Systems Engineering”, 24th Asia-Pacific Software Engineering Conference (APSEC), Nanjing, China [Wouters 2017]