Maria Pittou
Orcid: 0000-0002-4208-5386
According to our database1,
Maria Pittou
authored at least 11 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Int. J. Found. Comput. Sci., September, 2023
2022
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures.
Proceedings of the Algebraic Informatics - 9th International Conference, 2022
2021
Architectures in parametric component-based systems: Qualitative and quantitative modelling.
Log. Methods Comput. Sci., 2021
2020
Proceedings of the Coordination Models and Languages, 2020
2019
2018
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.
Sci. Comput. Program., 2018
2017
2016
Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
2014
Proceedings of the Implementation and Application of Automata, 2014