117 citations
- Université de RennesFR10 papers
- KTH Royal Institute of TechnologySE8 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR7 papers
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Centre Inria de l'Université de RennesFR5 papers
- SPIRALS: Self-adaptation for distributed services and large software systemsFR5 papers
- Centre Inria de l'Université de LilleFR4 papers
- Université de LilleFR4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Institut National des Sciences Appliquées de RennesFR3 papers
- Delft University of TechnologyNL2 papers
- Institut Universitaire de FranceFR2 papers
Showing 2014 · cs.SEShow all
2 papers · 2 filters
cs.SE2014★ 61 cited
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
Benoit Baudry, Martin Monperrus
Early experiments with software diversity in the mid 1970's investigated N-version programming and recovery blocks to increase the reliability of embedded systems. Four decades lat…
cs.SE2014★ 7 cited
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale +1
Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These ac…