Weighted Variable Automata over Infinite Alphabets. - Maria Pittou; George Rahonis (CIAA, 2014)

Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. - Maria Pittou; Stavros Tripakis (FACS, 2016)

Multi-view consistency for infinitary regular languages. - Maria Pittou; Stavros Tripakis (SAMOS, 2016)

Weighted Recognizability over Infinite Alphabets. - Maria Pittou; George Rahonis (Acta Cybern., 2017)

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. - Maria Pittou; Panagiotis Manolios; Jan Reineke 001; Stavros Tripakis (Sci. Comput. Program., 2018)

Architecture specification of parametric component-based systems. - Maria Pittou; George Rahonis (CoRR, 2019)

Weighted parametric systems: Modelling and architecture. - Maria Pittou; George Rahonis (CoRR, 2019)

Architecture Modelling of Parametric Component-Based Systems. - Maria Pittou; George Rahonis (COORDINATION, 2020)

Architectures in parametric component-based systems: Qualitative and quantitative modelling. - Maria Pittou; George Rahonis (Log. Methods Comput. Sci., 2021)

A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures. - Christina Chrysovalanti Fountoukidou; Maria Pittou (CAI, 2022)

Modelling Uncertainty in Architectures of Parametric Component-Based Systems. - Maria Pittou; George Rahonis (Int. J. Found. Comput. Sci., 2023)

An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems. - Maria Pittou; George Rahonis (Theor. Comput. Sci., 2025)