Author's posts
Behavioral interpretation of resilience for systems and ambients
Who: Vincenzo De Florio, University of Antwerpen – http://win.uantwerpen.be/~vincenz/ When: Friday November 14th 2014, 11:00 AM Where: Meeting room B31, Building B (3rd floor), Inria Lille Abstract: Vincenzo will discuss resilience as the behavior resulting from the coupling of a system and its environment(s). Depending on the interactions between these two “ends” and on the …
Specification and Detection of SOA Antipatterns
Who: Francis Palma, PhD student @ UQAM (Canada) – http://scholar.google.com/citations?user=ZInmjaUAAAAJ&hl=fr When: Wednesday 29th October 2014, 10:00 AM Where: Meeting room B31, Building B (3rd floor), Inria Title: Specification and Detection of SOA Antipatterns Abstract: Service-based systems (SBSs), like any other complex systems, are subject to change. Changes can be functional (i.e., user requirements) or non-functional …
Learning to Combine Multiple Ranking Metrics for Fault Localization
Talk: Learning to Combine Multiple Ranking Metrics for Fault Localization Who: Jifeng Xuan, postdoc Inria Lille, équipe Spirals When: September 26th, 2014, 11:00 Where: Inria Lille, B11, http://goo.gl/maps/32z7m Abstract: Fault localization is an inevitable step in software debugging. Spectrum-based fault localization consists in computing a ranking metric on execution traces to identify faulty source code. …
On the Naturalness of Software: A Research Vision
What: On the Naturalness Software: A Research Vision Who: Earl Barr (University College London) When: June 20th, 2014, 15:00 – 15:45 Where: Inria Lille, Salle Plénière, http://goo.gl/maps/32z7m Abstract: Natural languages like French are rich, complex, and powerful. The highly creative and graceful use of languages like French and Tamil, by masters like Flaubert and Avvaiyar, …
On the problem statement and evaluation of automatic software repair
What: On the problem statement and evaluation of automatic software repair Who: Martin Monperrus (University of Lille & Inria) When: May 28th, 2014, 11:00 – 12:00 Where: Inria Lille, Room B21, http://goo.gl/maps/32z7m Abstract: At ICSE’2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a …
Formalizing and Mining Knowledge from Uncontrolled Textual Assets: Two case studies
What: Formalizing and Mining Knowledge from Uncontrolled Textual Assets: Two case studies Who: Nicolas Sannier (Inria Rennes) When: April 17th, 11h45 – 12h30 Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: Uncontrolled written natural language is by far the most widely used communication medium, providing very convenient, quick, …
Building dynamic applications
What: Building dynamic applications Who: Walter Rudametkin (Inria Rennes) When: April 17th, 11h – 11h45 Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: Robusta is an architectural approach to building component-based, multi-threaded, centralized (i.e. single memory space) dynamic applications. Our key insight are : a) handling dynamism is …
How to maximize the reuse of software systems
What: How to maximize the reuse of software systems Who: Huaxi Yulin Zhang When: April 17th, 10h15 – 11h Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: To achieve better software, more quickly and at lower cost, the best solution is systematic software reuse from the development to …
Modélisation et test de mécanismes de sécurité
What: Modélisation et test de mécanismes de sécurité Who: Tejeddine MOUELHI (University of Luxembourg) When: April 15th, 13h15 Where: B31 Abstract:Dans cet exposé, seront présentés des travaux autour de la modélisation et de la validation de la sécurité, plus précisément dans le domaine du contrôle d’accès et des applications webs. Dans le domaine de la …
MDS (Model Driven Security) pour des processus collaboratifs déployés dans le Cloud
Quand: lundi 13 janvier de 14h00 à 15h00 à Inria Lille salle B31 Titre : MDS (Model Driven Security) pour des processus collaboratifs déployés dans le Cloud Intervenant : Wendpanga Francis OUEDRAOGO – LIRIS INSA de Lyon Résumé : Le développement de stratégies collaboratives entre entreprises s’appuie largement sur la création de processus communs. Pour …