Maria Pittou

13 papers C 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems.
Theor. Comput. Sci.
Maria Pittou, George Rahonis
2023 J jnl
Modelling Uncertainty in Architectures of Parametric Component-Based Systems.
Int. J. Found. Comput. Sci.
Maria Pittou, George Rahonis
2022 — conf
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures.
CAI
Christina Chrysovalanti Fountoukidou, Maria Pittou
2022 J jnl
A formal algebraic approach for the quantitative modeling of connectors in architectures.
CoRR
Christina Chrysovalanti Fountoukidou, Maria Pittou
2021 J jnl
Architectures in parametric component-based systems: Qualitative and quantitative modelling.
Log. Methods Comput. Sci.
Maria Pittou, George Rahonis
2020 C conf
Architecture Modelling of Parametric Component-Based Systems.
COORDINATION
Maria Pittou, George Rahonis
2019 J jnl
Architecture specification of parametric component-based systems.
CoRR
Maria Pittou, George Rahonis
2019 J jnl
Weighted parametric systems: Modelling and architecture.
CoRR
Maria Pittou, George Rahonis
2018 J jnl
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.
Sci. Comput. Program.
Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis
2017 J jnl
Weighted Recognizability over Infinite Alphabets.
Acta Cybern.
Maria Pittou, George Rahonis
2016 — conf
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions.
FACS
Maria Pittou, Stavros Tripakis
2016 — conf
Multi-view consistency for infinitary regular languages.
SAMOS
Maria Pittou, Stavros Tripakis
2014 C conf
Weighted Variable Automata over Infinite Alphabets.
CIAA
Maria Pittou, George Rahonis