5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.LO2021
Fuzzy propositional configuration logics
Paulina Paraponiari
We introduce and investigate a weighted propositional configuration logic over De Morgan algebras. This logic is able to describe software architectures with quantitative features…
cs.LO2020★ 5 cited
Weighted PCL over product valuation monoids
Vagia Karyoti, Paulina Paraponiari
We introduce a weighted propositional configuration logic over a product valuation monoid. Our logic is intended to serve as a specification language for software architectures wit…
cs.LO2017
Weighted propositional configuration logics: A specification language for architectures with quantitative features
Paulina Paraponiari, George Rahonis
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software archit…