66 citations · 122 across the 12 of their papers we have counts for
13 papers
CRiDiT: Instantiating a run-time testbed for trust calibration in AI-infused systems
Yuntian Ding, Nicolas Herbaut, Camille Salinesi
The integration of AI into larger technical infrastructures has made the alignment of human trust with system trustworthiness, known as trust calibration, a critical engineering co…
Using Integer Constraint Solving in Reuse Based Requirements Engineering
Camille Salinesi, Raul Mazo, Daniel Diaz +1
Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very di…
Deriving Product Line Requirements: the RED-PL Guidance Approach
Olfa Djebbi, Camille Salinesi, Daniel Diaz
Product lines (PL) modeling have proven to be an effective approach to reuse in software development.Several variability approaches were developed to plan requirements reuse, but o…
Using Software Product Lines to Create Blockchain Products: Application to Supply Chain Traceability
Nicolas Six, Nicolas Herbaut, Roberto Erick Lopez-Herrejon +1
In recent years, blockchain has been growing rapidly from a niche technology to a promising solution for many sectors, due to its unique properties that empower the design of innov…
Harmonica: A Framework for Semi-automated Design and Implementation of Blockchain Applications
Nicolas Six, Nicolas Herbaut, Camille Salinesi
Designing blockchain-based applications is a tedious task. Compared to traditional software engineering, software architects cannot rely on previous experiences or proven practices…
Blockchain software patterns for the design of decentralized applications: A systematic literature review
Nicolas Six, Nicolas Herbaut, Camille Salinesi
A software pattern is a reusable solution to address a commonly occurring problem within a given context when designing software. Using patterns is a common practice for software a…