3 citations · 5 across the 5 of their papers we have counts for
6 papers
Dynamic reconfiguration of component-based systems described by propositional configuration logic
George Rahonis, Melpomeni Soula
We investigate dynamic reconfigurable component-based systems whose architectures are described by formulas of Propositional Configuration Logics. We present several examples of re…
Modelling architectures of parametric weighted component-based systems
Maria Pittou, George Rahonis
The design of complex software systems usually lies in multiple coordinating components with an unknown number of instances. For such systems a main challenge is modelling efficien…
Architectures in parametric component-based systems: Qualitative and quantitative modelling
Maria Pittou, George Rahonis
One of the key aspects in component-based design is specifying the software architecture that characterizes the topology and the permissible interactions of the components of a sys…
MK-fuzzy Automata and MSO Logics
Manfred Droste, Temur Kutsia, George Rahonis +1
We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, prac…
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…
Weighted Linear Dynamic Logic
Manfred Droste, George Rahonis
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characte…