PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Tiziana Margaria

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. User-level synthesis

    2015

    In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, …

  2. Formal Methods Boost Experimental Performance for Explainable AI

    2021 · IT Professional

    IN “Towards Explainability in Machine Learning: The Formal Methods Way,”1 we illustrated last year how Explainable AI can profit by formal methods in terms of its explainability. In fact, Explainable AI is a new branch …