Analyzing commonalities and variabilities among products of a product line is an essential activity for product line asset development. A feature-oriented approach to commonality a...
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
Roberto Lublinerman, Christian Szegedy, Stavros Tr...