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	6	10	8	5	6	0	35
Book chapters	0	1	1	1	2	0	5
Conference papers	23	18	23	15	16	2	97
Habilitations	1	1	1	0	1	0	4
Theses	2	3	0	0	3	0	8

LIP6

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]
B. Barbot, B. Bérard, Y. Duplouy, S. Haddad : “Statistical Model-Checking for Autonomous Vehicle Safety Validation”, Conférence 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”, École d'été Temps Réel 2017, Paris, France [Bérard 2017d]
D. Boufedji, Z. Guessoum, A. Brandão, T. Ziadi, A. Mokhtari : “Towards a MAS Product Line Engineering Approach”, 5^th International Workshop on Engineering Multi-Agent Systems (EMAS 2017), vol. 10738, Lecture Notes in Artificial Intelligence, Sao Paulo, Brazil, pp. 161-179, (Springer) [Boufedji 2017]
S. Casare, T. Ziadi, A. Brandão, 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 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”, 15^th International Conference on Software Engineering and Formal Methods (SEFM 2017), LNCS, Trento, Italy, pp. 1-16 [Georget 2017a]
L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Suivi de flux d'information correct sous Linux”, 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”, 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, 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]
J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Bottom-Up Technologies for Reuse: Automated Extractive Adoption of Software Product Lines”, 39^th International Conference on Software Engineering (ISCE 2017), Buenos Aires, Argentina, pp. 67-70 [Martinez 2017b]
J. Martinez, Wesley K. G. Assunção, T. Ziadi : “ESPLA: A catalog of Extractive SPL Adoption case studies”, International Systems and Software Product Line Conference, Séville, Spain [Martinez 2017c]
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, (Elsevier) [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, Russia, 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]