51 citations
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- University of LuxembourgLU3 papers
- Centre Inria de l'Université de LilleFR2 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR2 papers
- Interdisciplinary Centre for Security, Reliability and TrustLU2 papers
- Aix-Marseille UniversitéFR1 paper
- Laboratoire d'Informatique Fondamentale de LilleFR1 paper
- Lu'an First People's HospitalCN1 paper
- Precise (India)IN1 paper
- Université de LilleFR1 paper
- University of SaskatchewanCA1 paper
7 papers
The Statistical Mechanics of Indistinguishable Energy States and the Glass Transition
Shimul Akhanjee
The statistical mechanics of particles that populate indistinguishable energy substates is explored. In particular, the mathematical treatment of microstates differs from conventio…
Investigating Solid-Fluid Phase Coexistence in DC Plasma Bilayer Crystals: The Role of Particle Pairing and Mode Coupling
Siddhartha Mangamuri, Lénaïc Couëdel, Surabhi Jaiswal
This article presents a detailed investigation of solid-fluid phase coexistence in a bilayer dusty plasma crystal subjected to varying confinement ring bias voltages in a DC glow d…
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
Fouquet Francois, Grégory Nain, Brice Morin +4
The creation of Domain Specific Languages(DSL) counts as one of the main goals in the field of Model-Driven Software Engineering (MDSE). The main purpose of these DSLs is to facili…
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Christopher Henard, Mike Papadakis, Gilles Perrouin +3
Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered…
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Alexandre Bartel, Jacques Klein, Martin Monperrus +1
A common security architecture, called the permission-based security model (used e.g. in Android and Blackberry), entails intrinsic risks. For instance, applications can be granted…
Model Driven Mutation Applied to Adaptative Systems Testing
Alexandre Bartel, Benoit Baudry, Freddy Munoz +3
Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems…