1 citations · 1 across the 3 of their papers we have counts for
3 papers
Compositional Verification of Evolving Software Product Lines
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna +1
This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finit…
Periodic scheduling of marked graphs using balanced binary words
Jean-Vivien Millo, Robert De Simone
This report presents an algorithm to statically schedule live and strongly connected Marked Graphs (MG). The proposed algorithm computes the best execution where the execution rate…
Formalizing Traceability and Derivability in Software Product Lines
Shankara Narayanan Krishna, Ganesh Narwane, Ramesh S. +2
In the literature, the definition of product in a Software Product Line (SPL) is based upon the notion of consistency of the constraints, imposed by variability and traceability re…