Maria Pittou

According to our database, Maria Pittou authored at least 12 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems.

Maria Pittou, George Rahonis

Theor. Comput. Sci., 2025

2023

Modelling Uncertainty in Architectures of Parametric Component-Based Systems.

Maria Pittou, George Rahonis

Int. J. Found. Comput. Sci., September, 2023

2022

A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures.

Christina Chrysovalanti Fountoukidou, Maria Pittou

Proceedings of the Algebraic Informatics - 9th International Conference, 2022

2021

Architectures in parametric component-based systems: Qualitative and quantitative modelling.

Maria Pittou, George Rahonis

Log. Methods Comput. Sci., 2021

2020

Architecture Modelling of Parametric Component-Based Systems.

Maria Pittou, George Rahonis

Proceedings of the Coordination Models and Languages, 2020

2019

Weighted parametric systems: Modelling and architecture.

Maria Pittou, George Rahonis

CoRR, 2019

Architecture specification of parametric component-based systems.

Maria Pittou, George Rahonis

CoRR, 2019

2018

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.

Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis

Sci. Comput. Program., 2018

2017

Weighted Recognizability over Infinite Alphabets.

Maria Pittou, George Rahonis

Acta Cybern., 2017

2016

Multi-view consistency for infinitary regular languages.

Maria Pittou, Stavros Tripakis

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions.

Maria Pittou, Stavros Tripakis

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2014

Weighted Variable Automata over Infinite Alphabets.

Maria Pittou, George Rahonis

Proceedings of the Implementation and Application of Automata, 2014