VLDB 2026 Research / reviewers in the wild / expert
Jannik Laval
dblp:70/5
· DBLP profile ↗
17ranked-venue papers
6as first author
5since 2021 · last 2025
0000-0002-7155-5762ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 13 · 5 first-author · 4 since 2021Artificial intelligence and machine learning · 2 · 1 first-authorSystems, architecture and hardware · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2 · 1 since 2021Human-computer interaction and ubiquitous computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Hierarchical System of Digital Twins: A Holistic Architecture for Swarm System AnalysisabstractInternational audience Mouhamadou F. Ball, Jannik Laval, Loïc Lagadec |
MODELSWARD | 2 |
| 2025 | Digital Twin System of Systems: A Layered Architecture ProposalabstractInternational audience Meriem Smati, Vincent Cheutet, Christophe Danjou, Jannik Laval |
MODELSWARD | 4 |
| 2023 | Data interoperability assessment, case of messaging-based data exchangesabstractAbstract Data interoperability implies data exchanges among intra and inter enterprises collaborating with information systems (IS). The multiplicity of these exchanges and the increasing number of data exchanged generates complexity and brings out the needs for control to avoid dysfunctions with a negative impact on the overall performance of the systems. Indeed, actually, interoperability has become a necessary performance lever that thus requires particular attention. Being at a low level in the enterprise interoperability concerns, data interoperability is mainly automated, which leads us to question: Is it possible to evaluate data interoperability performance and security based on inspection and analysis of ongoing data exchanges? We therefore endeavored to answer this question by establishing monitoring and analysis systems. In this paper, we present a research work which addresses services provided by a messaging‐based communication system. In order to collect information on Information System interactions allowing one to assess their level of data interoperability, we propose a messaging metamodel that aggregates the collected information. It provides a single point of control and enables one to determine indicators of potential interoperability problems. The approach is validated on two case studies. An industrial case study of interactions among existing systems is presented to showcase the feasibility and interest of the approach. It is proposed on top of RabbitMQ and allows our partner to identify some issues in the studied information system. The second case study shows that the approach can integrate other protocols, by reading MQTT messages. The approach is implemented using Moose, a software analysis platform. Jannik Laval, Nawel Amokrane, Boubou Thiam Niang, Mustapha Derras, Néjib Moalla |
J. Softw. Evol. Process. | 1 |
| 2022 | Automatic Generation of Interoperability Connectors using Software Product Lines EngineeringabstractInternational audience Boubou Thiam Niang, Giacomo Kahn, Nawel Amokrane, Yacine Ouzrout, Hamza Sahli, Mustapha Derras, Jannik Laval |
ICSOFT | 7 |
| 2022 | A Faulty IoT Network: Simulating Sensors and Perturbations
Kenza Riahi, Giacomo Kahn, Baudouin Dafflon, Jannik Laval |
WorldCIST (3) | 4 |
| 2020 | Semantic Software Capability Profile Based on Enterprise Architecture for Software Reuse
Abdelhadi Belfadel, Jannik Laval, Chantal Cherifi, Néjib Moalla |
ICSR | 2 |
| 2020 | Advances in Smalltalk technologies
Loïc Lagadec, Anne Etien, Jannik Laval |
Sci. Comput. Program. | 3 |
| 2019 | APACHES: Human-Centered and Project-Based Methods in Higher Education
Mathieu Vermeulen, Abir-Beatrice Karami, Anthony Fleury, François Bouchet, Nadine Mandran, Jannik Laval, Jean-Marc Labat |
EC-TEL | 6 |
| 2018 | Advances in Dynamic Languages
Anne Etien, Jannik Laval |
Sci. Comput. Program. | 2 |
| 2015 | Metrics for performance benchmarking of multi-robot explorationabstractPerformance benchmarking has become an important topic within robotics. It is indeed, a critical way to compare different solutions under different conditions. In this paper, we focus on performance benchmarking of multi-robot systems which explore and map unknown terrains. We present a collection of metrics to objectively compare different algorithms that can be applied to collaborative multi-robot exploration. We also identify parameters that impact robotic fleet performances. By varying the parameters, we can identify strengths and limits of an algorithm. This work is also a first concrete step to address the general problem of objectively comparing different multi-robot coordination algorithms. We illustrate these contributions with realistic simulations of the frontier-based exploration strategy. The simulations were implemented in ROS, which enables to uncouple the control software from the drivers of the robot body. We can therefore use the same code on both simulation and real robots. Zhi Yan 0001, Luc Fabresse, Jannik Laval, Noury Bouraqadi |
IROS | 3 |
| 2015 | Advances in Dynamic Languages
Jannik Laval, Andy Kellens |
Sci. Comput. Program. | 1 |
| 2014 | Resolving cyclic dependencies between packages with enriched dependency structural matrixabstractSUMMARY Dependency structural matrix (DSM) is an approach originally developed for process optimization. It has been successfully applied to identify software dependencies among packages and subsystems. A number of algorithms have been proposed to compute the matrix so that it highlights patterns and problematic dependencies between subsystems. However, existing DSM implementations often miss important information to fully support reengineering effort. For example, they do not clearly qualify and quantify problematic relationships, information that is crucial to support remediation tasks. We propose enriched DSM (eDSM), which provides small‐multiple views and micro–macro‐readings by adding fine‐grained information in each cell of the matrix. Each cell is enriched with contextual information about (i) the type of dependencies (inheritance, class reference, etc.), (ii) the proportion of referencing entities, and (iii) the proportion of referenced entities. We distinguish independent cycles and stress potentially simple fixes for cycles by using coloring information. This work is language independent and has been implemented on top of the Moose software analysis platform. In this paper, we expand our previous work. We improved the cell content information view on the basis of user feedback and performed multiple validations: two different case studies on Moose and Seaside software; one user study for validating eDSM as a usable approach for developers. Solutions to problems identified with eDSM have been performed and retrofitted in analyzed software. Copyright © 2012 John Wiley & Sons, Ltd. Jannik Laval, Stéphane Ducasse |
Softw. Pract. Exp. | 1 |
| 2013 | A methodology for testing mobile autonomous robotsabstractMobile autonomous robots are progressively entering the mass market. Thus, manufacturers have to perform quality assurance tests on series of robots. Therefore, tests should be repeatable and as much automated as possible. Tests are also performed for purpose of repairing robots. This calls for reusing tests already defined for quality assurance. In this paper we introduce a methodology to support the definition of repeatable, reusable, semi-automated tests. Our methodology describes the process of conducting tests in a way that maximizes safety for human operators, while avoiding to damage tested robots. Jannik Laval, Luc Fabresse, Noury Bouraqadi |
IROS | 1 |
| 2013 | oZone: Layer identification in the presence of cyclic dependencies
Jannik Laval, Nicolas Anquetil, Muhammad Usman Bhatti, Stéphane Ducasse |
Sci. Comput. Program. | 1 |
| 2013 | Software quality metrics aggregation in industryabstractSUMMARY With the growing need for quality assessment of entire software systems in the industry, new issues are emerging. First, because most software quality metrics are defined at the level of individual software components, there is a need for aggregation methods to summarize the results at the system level. Second, because a software evaluation requires the use of different metrics, with possibly widely varying output ranges, there is a need to combine these results into a unified quality assessment. In this paper we derive, from our experience on real industrial cases and from the scientific literature, requirements for an aggregation method. We then present a solution through the Squale model for metric aggregation, a model specifically designed to address the needs of practitioners. We empirically validate the adequacy of Squale through experiments on Eclipse. Additionally, we compare the Squale model to both traditional aggregation techniques (e.g., the arithmetic mean), and to econometric inequality indices (e.g., the Gini or the Theil indices), recently applied to aggregation of software metrics. Copyright © 2012 John Wiley & Sons, Ltd. Karine Mordal-Manet, Nicolas Anquetil, Jannik Laval, Alexander Serebrenik, Bogdan Vasilescu, Stéphane Ducasse |
J. Softw. Evol. Process. | 3 |
| 2011 | Supporting simultaneous versions for software evolution assessment
Jannik Laval, Simon Denier, Stéphane Ducasse, Jean-Rémy Falleri |
Sci. Comput. Program. | 1 |
| 2009 | The squale model - A practice-based industrial quality modelabstractISO 9126 promotes a three-level model of quality (factors, criteria, and metrics) which allows one to assess quality at the top level of factors and criteria. However, it is difficult to use this model as a tool to increase software quality. In the Squale model, we add practices as an intermediate level between metrics and criteria. Practices abstract away from raw information (metrics, tool reports, audits) and provide technical guidelines to be respected. Moreover, practice marks are adjusted using formulae to suit company development habits or exigences: for example bad marks are stressed to point to places which need more attention. The Squale model has been developed and validated over the last couple of years in an industrial setting with Air France-KLM and PSA Peugeot-Citroen. Karine Mordal-Manet, Francoise Balmas, Simon Denier, Stéphane Ducasse, Harald Wertz, Jannik Laval, Fabrice Bellingard, Philippe Vaillergues |
ICSM | 6 |