MoVe - Conference papers

Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications MoVe	2015	2016	2017	2018	2019	2020	Total
Books	0	1	0	0	0	0	1
Edited books	2	2	3	2	3	0	12
Journal articles	9	12	11	5	7	4	48
Book chapters	0	2	1	1	3	0	7
Conference papers	30	18	28	19	18	8	121
Habilitations	1	2	1	0	1	0	5
Thesis	2	3	0	0	3	0	8

LIP6

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 - 38^th 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 : “An Automated Approach to Manage MAS-Product Line Methods”, 5^th International Workshop on Engineering Multi-Agent Systems (EMAS 2017), Sao Paulo, Brazil [Casare 2017a]
S. Casare, T. Ziadi, A. Brandao, Z. Guessoum : “Meduse: an Approach for Tailoring Software Development Process”, 2016 21^st International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, United Arab Emirates, pp. 197-200 [Casare 2017b]
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 15^th 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”, 5^th 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 : 7^th 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”, 38^th 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”, 15^th 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”, 14^th 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”, 13^th 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 20^th 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 39^th 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 26^th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2017), 2017 IEEE 26^th 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”, 25^th 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”, 24^th Asia-Pacific Software Engineering Conference (APSEC), Nanjing, China [Wouters 2017]