EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1S. Abiteboul, P. Bourhis, V. Vianu.

    Explanations and Transparency in Collaborative Workflows, in: PODS 2018 - 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Houston, Texas, United States, June 2018.

    https://hal.inria.fr/hal-01744978
  • 2Y. Al-Dhuraibi, F. Paraiso, N. Djarallah, P. Merle.

    Elasticity in Cloud Computing: State of the Art and Research Challenges, in: IEEE Transactions on Services Computing (TSC), March 2018, vol. 11, no 2, pp. 430-447. [ DOI : 10.1109/TSC.2017.2711009 ]

    https://hal.inria.fr/hal-01529654
  • 3M. Colmant, M. Kurpicz, P. Felber, L. Huertas, R. Rouvoy, A. Sobe.

    Process-level Power Estimation in VM-based Systems, in: European Conference on Computer Systems (EuroSys), Bordeaux, France, T. Harris, M. Herlihy (editors), EuroSys'15: Proceedings of the Tenth European Conference on Computer Systems, ACM, April 2015, 14 p. [ DOI : 10.1145/2741948.2741971 ]

    https://hal.inria.fr/hal-01130030
  • 4T. Durieux, Y. Hamadi, M. Monperrus.

    Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy, in: Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), Memphis, United States, October 2018, https://arxiv.org/abs/1803.08725.

    https://hal.inria.fr/hal-01746141
  • 5S. Habchi, X. Blanc, R. Rouvoy.

    On Adopting Linters to Deal with Performance Concerns in Android Apps, in: ASE18 - Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, Montpellier, France, ACM Press, September 2018, vol. 11. [ DOI : 10.1145/3238147.3238197 ]

    https://hal.inria.fr/hal-01829135
  • 6C. Quinton, D. Romero, L. Duchien.

    SALOON: a platform for selecting and configuring cloud environments, in: Software: Practice and Experience, January 2016, vol. 46, pp. 55-78. [ DOI : 10.1002/spe.2311 ]

    https://hal.inria.fr/hal-01103560
  • 7E. Stachtiari, A. Mavridou, P. Katsaros, S. Bliudze, J. Sifakis.

    Early validation of system requirements and design through correctness-by-construction, in: Journal of Systems and Software, 2018, vol. 145, pp. 52-78. [ DOI : 10.1016/j.jss.2018.07.053 ]

    https://hal.archives-ouvertes.fr/hal-01873999
  • 8S. Urli, Z. Yu, L. Seinturier, M. Monperrus.

    How to Design a Program Repair Bot? Insights from the Repairnator Project, in: 40th International Conference on Software Engineering, Track Software Engineering in Practice, Gothenburg, Sweden, May 2018, pp. 95-104, update for oadoi on Nov 02 2018. [ DOI : 10.1145/3183519.3183540 ]

    https://hal.inria.fr/hal-01691496
  • 9A. Vastel, P. Laperdrix, W. Rudametkin, R. Rouvoy.

    FP-STALKER: Tracking Browser Fingerprint Evolutions, in: IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy, San Francisco, United States, B. Parno, C. Kruegel (editors), Proceedings of the 39th IEEE Symposium on Security and Privacy (S&P), IEEE, May 2018, pp. 728-741. [ DOI : 10.1109/SP.2018.00008 ]

    https://hal.inria.fr/hal-01652021
  • 10J. Xuan, M. Martinez, F. Demarco, M. Clément, S. Lamelas, T. Durieux, D. Le Berre, M. Monperrus.

    Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs, in: IEEE Transactions on Software Engineering, 2016. [ DOI : 10.1109/TSE.2016.2560811 ]

    https://hal.archives-ouvertes.fr/hal-01285008
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 13Y. Al-Dhuraibi, F. Paraiso, N. Djarallah, P. Merle.

    Elasticity in Cloud Computing: State of the Art and Research Challenges, in: IEEE Transactions on Services Computing (TSC), March 2018, vol. 11, no 2, pp. 430-447. [ DOI : 10.1109/TSC.2017.2711009 ]

    https://hal.inria.fr/hal-01529654
  • 14M. Colmant, R. Rouvoy, M. Kurpicz, A. Sobe, P. Felber, L. Seinturier.

    The Next 700 CPU Power Models, in: Journal of Systems and Software, July 2018.

    https://hal.inria.fr/hal-01827132
  • 15B. Danglot, P. Preux, B. Baudry, M. Monperrus.

    Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation, in: Empirical Software Engineering, August 2018, vol. 23, no 4, pp. 2086–2119, https://arxiv.org/abs/1611.09187. [ DOI : 10.1007/s10664-017-9571-8 ]

    https://hal.archives-ouvertes.fr/hal-01378523
  • 16B. Danglot, O. L. Vera-Pérez, B. Baudry, M. Monperrus.

    Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects, in: Empirical Software Engineering, 2018, pp. 1-35.

    https://hal.inria.fr/hal-01923575
  • 17H. Guesmi, B. Ben Hedia, S. Bliudze, S. Bensalem, B. Lenabec.

    TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm, in: Innovations in Systems and Software Engineering, June 2018, vol. 14, no 2, pp. 117 - 142. [ DOI : 10.1007/s11334-018-0312-y ]

    https://hal.inria.fr/hal-01823749
  • 18M. Mohiuddin, W. Saab, S. Bliudze, J.-Y. Le Boudec.

    Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems, in: IEEE Transactions on Industrial Informatics, July 2018, vol. 14, no 7, pp. 3065 - 3075. [ DOI : 10.1109/TII.2017.2772219 ]

    https://hal.archives-ouvertes.fr/hal-01846124
  • 19E. Stachtiari, A. Mavridou, P. Katsaros, S. Bliudze, J. Sifakis.

    Early validation of system requirements and design through correctness-by-construction, in: Journal of Systems and Software, 2018, vol. 145, pp. 52-78. [ DOI : 10.1016/j.jss.2018.07.053 ]

    https://hal.archives-ouvertes.fr/hal-01873999
  • 20O. L. Vera-Pérez, B. Danglot, M. Monperrus, B. Baudry.

    A Comprehensive Study of Pseudo-tested Methods, in: Empirical Software Engineering, 2018, pp. 1-33. [ DOI : 10.1007/s10664-018-9653-2 ]

    https://hal.inria.fr/hal-01867423
  • 21Z. Yu, M. Martinez, B. Danglot, T. Durieux, M. Monperrus.

    Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System, in: Empirical Software Engineering, 2018. [ DOI : 10.1007/s10664-018-9619-4 ]

    https://hal.inria.fr/hal-01774223

International Conferences with Proceedings

  • 22S. Abiteboul, P. Bourhis, V. Vianu.

    Explanations and Transparency in Collaborative Workflows, in: PODS 2018 - 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Houston, Texas, United States, June 2018.

    https://hal.inria.fr/hal-01744978
  • 23Y. Al-Dhuraibi, F. Zalila, N. B. Djarallah, P. Merle.

    Coordinating Vertical Elasticity of both Containers and Virtual Machines, in: 8th International Conference on Cloud Computing and Services Science - CLOSER 2018, Funchal, Madeira, Portugal, March 2018.

    https://hal.archives-ouvertes.fr/hal-01683041
  • 24S. Challita, F. Zalila, C. Gourdin, P. Merle.

    A Precise Model for Google Cloud Platform, in: 6th IEEE International Conference on Cloud Engineering (IC2E), Orlando, Florida, United States, http://conferences.computer.org/IC2E/2018/, April 2018, pp. 177-183.

    https://hal.inria.fr/hal-01689659
  • 25S. Challita, F. Zalila, P. Merle.

    Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language, in: CLOUD 2018 - 11th IEEE International Conference on Cloud Computing, San Francisco, United States, July 2018.

    https://hal.inria.fr/hal-01790629
  • 27T. Durieux, Y. Hamadi, Z. Yu, B. Baudry, M. Monperrus.

    Exhaustive Exploration of the Failure-oblivious Computing Search Space, in: ICST 2018 - 11th IEEE Conference on Software Testing, Validation and Verification, Västerås, Sweden, April 2018, https://arxiv.org/abs/1710.09722 - arXiv admin note: substantial text overlap with arXiv:1603.07631. [ DOI : 10.1109/ICST.2018.00023 ]

    https://hal.inria.fr/hal-01624988
  • 28G. Fieni, R. Rouvoy, L. Seinturier.

    Towards Sustainable Software Infrastructures for Data-Intensive Systems, in: EuroDW 2018 - 12th EuroSys Doctoral Workshop, Porto, Portugal, April 2018.

    https://hal.inria.fr/hal-01784225
  • 29S. Habchi, X. Blanc, R. Rouvoy.

    On Adopting Linters to Deal with Performance Concerns in Android Apps, in: ASE18 - Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, Montpellier, France, ACM Press, September 2018, vol. 11. [ DOI : 10.1145/3238147.3238197 ]

    https://hal.inria.fr/hal-01829135
  • 30F. Korte, S. Challita, Z. Faiez, P. Merle, J. Grabowski.

    Model-Driven Configuration Management of Cloud Applications with OCCI, in: 8th International Conference on Cloud Computing and Services Science (CLOSER), Funchal, Madeira, Portugal, March 2018, pp. 100-111.

    https://hal.inria.fr/hal-01678945
  • 31M. Naseri, N. P. Borges Jr., A. Zeller, R. Rouvoy.

    AccessiLeaks: Investigating Privacy Leaks Exposed by the Android Accessibility Service, in: PETS 2019 - The 19th Privacy Enhancing Technologies Symposium, Stockholm, Sweden, July 2019.

    https://hal.inria.fr/hal-01929049
  • 32W. Saab, M. Mohiuddin, S. Bliudze, J.-Y. Le Boudec.

    Ordering Events Based on Intentionality in Cyber-Physical Systems, in: ICCPS 2018 - 9th ACM/IEEE International Conference on Cyber-Physical Systems, Porto, Portugal, IEEE, April 2018. [ DOI : 10.1109/ICCPS.2018.00019 ]

    https://hal.archives-ouvertes.fr/hal-01889067
  • 33V. Sobreira, T. Durieux, F. Madeiral, M. Monperrus, M. A. Maia.

    Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J, in: SANER 2018 - 25th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering, Campobasso, Italy, March 2018, https://arxiv.org/abs/1801.06393. [ DOI : 10.1109/SANER.2018.8330203 ]

    https://hal.inria.fr/hal-01689684
  • 34S. Urli, Z. Yu, L. Seinturier, M. Monperrus.

    How to Design a Program Repair Bot? Insights from the Repairnator Project, in: 40th International Conference on Software Engineering, Track Software Engineering in Practice, Gothenburg, Sweden, May 2018, pp. 95-104, update for oadoi on Nov 02 2018. [ DOI : 10.1145/3183519.3183540 ]

    https://hal.inria.fr/hal-01691496
  • 35A. Vastel, P. Laperdrix, W. Rudametkin, R. Rouvoy.

    FP-Scanner: The Privacy Implications of Browser Fingerprint Inconsistencies, in: Proceedings of the 27th USENIX Security Symposium, Baltimore, United States, August 2018.

    https://hal.inria.fr/hal-01820197
  • 36A. Vastel, P. Laperdrix, W. Rudametkin, R. Rouvoy.

    FP-STALKER: Tracking Browser Fingerprint Evolutions, in: IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy, San Francisco, United States, B. Parno, C. Kruegel (editors), Proceedings of the 39th IEEE Symposium on Security and Privacy (S&P), IEEE, May 2018, pp. 728-741. [ DOI : 10.1109/SP.2018.00008 ]

    https://hal.inria.fr/hal-01652021
  • 37A. Vastel, W. Rudametkin, R. Rouvoy.

    FP-TESTER: Automated Testing of Browser Fingerprint Resilience, in: IWPE 2018 - 4th International Workshop on Privacy Engineering, London, United Kingdom, Proceedings of the 4th International Workshop on Privacy Engineering (IWPE'18), April 2018, pp. 1-5.

    https://hal.inria.fr/hal-01717158

National Conferences with Proceedings

    Conferences without Proceedings

    Internal Reports

    • 40C. Barillot, I. Fijalkow, I. Queinnec, F. Theoleyre, H. Touzet, M. Beaudouin-Lafon, M.-P. Cani, F. Chaumette, G. Conreur, V. Cortier, C. Gavoille, G. Gogniat, J. Gossa, A. Herzig, J. Krivine, P. Lamarre, F. Lamnabhi-Lagarrigue, A.-C. Letournel, L. Seinturier, I. Tellier, S. Torres, C. Truchet, A. Tsoukias, M. Verleysen.

      Prospective Report of the scientific council of the Information Sciences and their interactions Institute of CNRS, CNRS, December 2018, pp. 1-87.

      https://hal.archives-ouvertes.fr/hal-01956087
    • 41X. Qin, S. Bliudze, E. Madelaine, M. Zhang.

      Using SMT engine to generate Symbolic Automata -Extended version, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France ; inria, June 2018, no RR-9177.

      https://hal.inria.fr/hal-01823507
    • 42L. Seinturier.

      Adlet: A Java-based Architecture Description Language, Inria Lille - Nord Europe, December 2018, no RR-9242.

      https://hal.inria.fr/hal-01964792

    Other Publications

    • 43A. Amarilli, P. Bourhis, M. Monet, P. Senellart.

      Evaluating Datalog via Tree Automata and Cycluits, October 2018, https://arxiv.org/abs/1808.04663 - 53 pages, 61 references. Journal version of "Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)" at arXiv:1612.04203. To appear in Theory of Computing Systems.

      https://hal.inria.fr/hal-01891814
    References in notes
    • 44L. Capra, W. Emmerich, C. Mascolo.

      A micro-economic approach to conflict resolution in mobile computing, in: SIGSOFT FSE, 2002, pp. 31-40.
    • 45M. Colmant.

      Multi-Dimensional Analysis of Software Power Consumptions in Multi-Core Architectures, Université Lille 1 - Sciences et Technologies, November 2016.

      https://tel.archives-ouvertes.fr/tel-01403559
    • 46B. Cornu.

      Automatic Analysis and Repair of Exception Bugs for Java Programs, Université de Lille, November 2015.

      https://tel.archives-ouvertes.fr/tel-01250092
    • 47V. Dallmeier, A. Zeller, B. Meyer.

      Generating Fixes from Object Behavior Anomalies, in: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, Washington, DC, USA, ASE '09, IEEE Computer Society, 2009, pp. 550–554.

      http://dx.doi.org/10.1109/ASE.2009.15
    • 48P. Eckersley.

      How Unique is Your Web Browser?, in: Proceedings of the 10th International Conference on Privacy Enhancing Technologies, Berlin, Heidelberg, PETS'10, Springer-Verlag, 2010, pp. 1–18.

      http://dl.acm.org/citation.cfm?id=1881151.1881152
    • 49F. Fouquet, E. Daubert, N. Plouzeau, O. Barais, J. Bourcier, J.-M. Jézéquel.

      Dissemination of Reconfiguration Policies on Mesh Networks, in: Proceedings of 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), Stockholm, Sweden, K. M. Göschka, S. Haridi (editors), Lecture Notes in Computer Science, Springer, June 2012, vol. 7272, pp. 16-30.
    • 50M. Goldmann, G. Kreitz.

      Measurements on the spotify peer-assisted music-on-demand streaming system, in: Peer-to-Peer Computing, T. Asami, T. Higashino (editors), IEEE, 2011, pp. 206-211.
    • 51M. Hall, E. Frank, G. Holmes, B. Pfahringer, P. Reutemann, I. H. Witten.

      The WEKA data mining software: an update, in: SIGKDD Explorer Newsletter, 2009, vol. 11, no 1, pp. 10–18.
    • 52M. Harman.

      Automated patching techniques: the fix is in, in: Communications of the ACM, May 2010, vol. 53, no 5, pp. 108–108.

      http://doi.acm.org/10.1145/1735223.1735248
    • 53V. Issarny, N. Georgantas, S. Hachem, A. Zarras, P. Vassiliadis, M. Autili, M. A. Gerosa, A. Ben Hamida.

      Service-Oriented Middleware for the Future Internet: State of the Art and Research Directions, in: Journal of Internet Services and Applications, May 2011, vol. 2, no 1, pp. 23-45.

      http://dx.doi.org/10.1007/s13174-011-0021-3
    • 54D. Jackson.

      Alloy: A Lightweight Object Modelling Notation, in: ACM Transactions on Software Engineering and Methodology, April 2002, vol. 11, no 2, pp. 256-290.
    • 55W. Li, S. Hu, J. Li, H.-A. Jacobsen.

      Community Clustering for Distributed Publish/Subscribe Systems, in: CLUSTER, IEEE, 2012, pp. 81-89.
    • 56M. Léger, T. Ledoux, T. Coupaye.

      Reliable Dynamic Reconfigurations in a Reflective Component Model, in: CBSE, L. Grunske, R. Reussner, F. Plasil (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6092, pp. 74-92.
    • 57M. Martinez.

      Extraction and Analysis of Knowledge for Automatic Software Repair, Université Lille 1, October 2014.

      https://hal.archives-ouvertes.fr/tel-01078911
    • 58P. Merle, J.-B. Stefani.

      A formal specification of the Fractal component model in Alloy, Inria, November 2008, no 6721, 44 p.

      http://hal.inria.fr/inria-00338987
    • 59A. Noureddine.

      Towards a Better Understanding of the Energy Consumption of Software Systems, Université des Sciences et Technologie de Lille - Lille I, March 2014.

      https://tel.archives-ouvertes.fr/tel-00961346
    • 60F. Paraiso, P. Merle, L. Seinturier.

      soCloud: A service-oriented component-based PaaS for managing portability, provisioning, elasticity, and high availability across multiple clouds, in: Springer Computing, May 2016, vol. 98, no 5, pp. 539-565. [ DOI : 10.1007/s00607-014-0421-x ]

      https://hal.inria.fr/hal-01019385
    • 61L. Provensi, F. Eliassen, R. Vitenberg, R. Rouvoy.

      Improving Context Interpretation by Using Fuzzy Policies: The Case of Adaptive Video Streaming, in: 28th ACM Symposium on Applied Computing (SAC) - 8th Track on Dependable and Adaptive Distributed Systems (DADS), Coimbra, Portugal, K. M. Göschka, R. Oliveira, P. Pietzuch, G. Russello (editors), ACM, March 2013, vol. 1, pp. 415-422, Best paper award.

      http://hal.inria.fr/hal-00799136
    • 62M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu, W. Beebee Jr.

      Enhancing server availability and security through failure-oblivious computing, in: Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation (OSDI'06), USENIX Association, 2004, pp. 21–21.
    • 63M. Salehie, L. Tahvildari.

      Self-adaptive software: Landscape and research challenges, in: ACM Transactions on Autonomous and Adaptive Systems, May 2009, vol. 4, no 2, pp. 14:1–14:42.

      http://doi.acm.org/10.1145/1516533.1516538
    • 64H. Schaffers, M. Sharpe.

      Services in the Future Internet, April 2011, FP8 Expert Group, EU Directorate-General Information Society & Media.

      http://cordis.europa.eu/fp7/ict/ssai/docs/softwareconsultationreportfeb2011.pdf
    • 65L. Schubert, K. Jeffery, B. Neidecker-Lutz.

      A Roadmap for Advanced Cloud Technologies under H2020, Dec 2012.

      http://cordis.europa.eu/fp7/ict/ssai/docs/cloud-expert-group/roadmap-dec2012-vfinal.pdf
    • 66L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni, J.-B. Stefani.

      A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures, in: Software: Practice and Experience, May 2012, vol. 42, no 5, pp. 559-583. [ DOI : 10.1002/spe.1077 ]

      http://hal.inria.fr/inria-00567442
    • 67J. Urban.

      NESSI Research Priorities for the next Framework Programme for Research and Technological Development FP8, May 2011.

      http://www.nessi-europe.eu/files/Docs/NESSI%20SRA_update_May_2011_V1-0.pdf
    • 68Y. Wei, Y. Pei, C. A. Furia, L. S. Silva, S. Buchholz, B. Meyer, A. Zeller.

      Automated fixing of programs with contracts, in: Proceedings of the 19th international symposium on Software testing and analysis, New York, NY, USA, ISSTA '10, ACM, 2010, pp. 61–72.

      http://doi.acm.org/10.1145/1831708.1831716
    • 69C. Weiss, R. Premraj, T. Zimmermann, A. Zeller.

      How long will it take to fix this bug?, in: Proceedings of the Fourth International Workshop on Mining Software Repositories, IEEE Computer Society, 2007, 1 p.
    • 70T. Xie, S. Thummalapenta, D. Lo, C. Liu.

      Data Mining for Software Engineering, in: IEEE Computer, August 2009, vol. 42, no 8, pp. 55-62.

      http://doi.ieeecomputersociety.org/10.1109/MC.2009.256
    • 71W. Xu, L. Huang, A. Fox, D. A. Patterson, M. I. Jordan.

      Detecting large-scale system problems by mining console logs, in: Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP'09), Big Sky, Montana, USA, J. N. Matthews, T. E. Anderson (editors), ACM, October 2009, pp. 117-132.
    • 72R. de Lemos, H. Giese, H. A. Muller, M. Shaw, J. Andersson, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, M. Litoiu, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofe, W. Schäfer, R. Schlichting, B. Schmerl, D. B. Smith, J. P. Sousa, G. Tamura, L. Tahvildari, N. M. Villegas, T. Vogel, D. Weyns, K. Wong, J. Wuttke.

      Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, in: Software Engineering for Self-Adaptive Systems, R. de Lemos, H. Giese, H. Müller, M. Shaw (editors), Dagstuhl Seminar Proceedings, Springer, 2013, vol. 7475, pp. 1-26.

      http://hal.inria.fr/inria-00638157


    previous Previous | up Home