Most cited papers from All4tec (France)
What are the most cited papers from All4tec (France)?
The most cited paper from All4tec (France) is "Statistical prioritization for software product line testing: an experience report" (Xavier Devroey, Gilles Perrouin, Maxime Cordy et al., 2015), with 40 citations. Next come "A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs" (29) and "Generating Transition Probabilities for Automatic Model-Based Test Generation" (16).
Showing 20 of 20 papers. Every paper is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Statistical prioritization for software product line testing: an experience report Xavier Devroey, Gilles Perrouin, Maxime Cordy et al. · Software & Systems Modeling | 23 Jul 2015 | 40 |
| 2 | A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs Raluca Marinescu, Cristina Seceleanu, Hèléne Le Guen et al. · Advances in computers | 2015 | 29 |
| 3 | Generating Transition Probabilities for Automatic Model-Based Test Generation Abderrahmane Feliachi, Hèléne Le Guen | Apr 2010 | 16 |
| 4 | Facing ADAS validation complexity with usage oriented testing Laurent Raffaelli, Frederique Vallée, Guy Fayolle et al. · arXiv (Cornell University) | 22 Feb 2016 | 15 |
| 5 | Formal Safety and Security Assessment of an Avionic Architecture with Alloy Julien Brunel, Laurent Rioux, Stéphane Paul et al. · Electronic Proceedings in Theoretical Computer Science | 3 May 2014 | 14 |
| 6 | Model-Based System, Safety and Security Co-Engineering Method and Toolchain for Medical Devices Design Marc Sango, Jean Godot, Antonio González et al. | 15 Apr 2019 | 13 |
| 7 | A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures Julien Brunel, David Chemouil, Laurent Rioux et al. · HAL (Le Centre pour la Communication Scientifique Directe) | 30 Sep 2014 | 12 |
| 8 | MBSE and MBSA with Capella and Safety Architect Tools Marc Sango, Frederique Vallée, Anne-Catherine Vié et al. | 8 Dec 2016 | 10 |
| 9 | Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study Hamza Samih, Hèléne Le Guen, Ralf Bogusch et al. | Aug 2014 | 10 |
| 10 | An Approach to Derive Usage Models Variants for Model-Based Testing Hamza Samih, Hèléne Le Guen, Ralf Bogusch et al. · Lecture notes in computer science | 2014 | 7 |
| 11 | Safety and Security Interference Analysis in the Design Stage Jabier Martinez, Jean Godot, Alejandra Ruíz et al. · Lecture notes in computer science | 2020 | 6 |
| 12 | Convergence of the Latest Standards Addressing Safety and Security for Information Technology Adrien Derock, Patrick Hébrard, Frederique Vallée · HAL (Le Centre pour la Communication Scientifique Directe) | 19 May 2010 | 4 |
| 13 | MPLM -- MaTeLo Product Line Manager Hamza Samih, Ralf Bogusch · HAL (Le Centre pour la Communication Scientifique Directe) | 15 Sep 2014 | 4 |
| 14 | REMERGON EFFICACY IN MAJOR DEPRESSIVE EPISODE: A RANDOMIZED, DOUBLE-BLIND, CLOMIPRAMINE-CONTROLLED STUDY IN 174 FRENCH HOSPITALIZED PATIENTS. P. Ruimy, Josée Delisle, H Richou et al. · Clinical Neuropharmacology | 1992 | 4 |
| 15 | Generation of Context-Based Usage Scenario Test from UML Sequence Diagrams Hussein Mhanna, Patrick Leserf, Sébastien Saudrais | Oct 2018 | 2 |
| 16 | Report on the Railway Use-Case of the Crystal Project: Objectives and Progress Alexandre Ginisty, Frederique Vallée, Elie Soubiran et al. · Lecture notes in computer science | 2014 | 2 |
| 17 | Distributed and Efficient Resource Balancing Among Many Suppliers and Consumers Kamal Chaturvedi, Jia Yuan Yu, Shrisha Rao | Oct 2018 | 1 |
| 18 | Moritz Schlick et le problème du parallélisme psychophysique Christian L. Bonnet · Éditions de la Sorbonne eBooks | 2022 | 0 |
| 19 | CONSISTENT SAFETY ANALYSES IN MODEL-BASED SYSTEM ENGINEERING: CONCEPTS AND TOOLS Jonathan Dumont, Franck Sadmi, Frederique Vallée · HAL (Le Centre pour la Communication Scientifique Directe) | Feb 2012 | 0 |
| 20 | ADAS Reliability and Safety Laurent Raffaelli, Guy Fayolle, Frederique Vallée · HAL (Le Centre pour la Communication Scientifique Directe) | 11 Oct 2016 | 0 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.