6 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Conservatoire National des Arts et MétiersFR7 papers
- Centre d'études et de recherche en informatique et communicationsFR6 papers
- Centre de Recherche en InformatiqueFR2 papers
- École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR2 papers
- Institut Élie Cartan de LorraineFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Brain Mapping FoundationUS1 paper
- Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
- Center for Advanced Systems UnderstandingDE1 paper
- Centre Inria de SaclayFR1 paper
- Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR1 paper
- École Nationale Supérieure des Mines de ParisFR1 paper
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 1 cited
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
Thi-Kim-Zung Pham, Catherine Dubois, Nicole Levy
Software Product Line Engineering (SPLE) is a software engineering paradigm that focuses on reuse and variability. Although feature-oriented programming (FOP) can implement softwar…
cs.LO2015★ 1 cited
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction
David Delahaye, Mélanie Jacquel
We propose an automated deduction method which allows us to produce proofs close to the human intuition and practice. This method is based on tableaux, which generate more natural…