Andreia Mordido
AuthID: R-00M-0C7
1
TITLE: Deadlock-free Context-free Session Types
AUTHORS: Andreia Mordido; Jorge A Pérez;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.20356
AUTHORS: Andreia Mordido; Jorge A Pérez;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.20356
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Towards a SQL Injection Vulnerability Detector Based on Session Types
AUTHORS: António Silvestre; Ibéria Medeiros; Andreia Mordido;
PUBLISHED: 2024, SOURCE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024.
AUTHORS: António Silvestre; Ibéria Medeiros; Andreia Mordido;
PUBLISHED: 2024, SOURCE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024.
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP3
TITLE: System Fωμ with Context-free Session Types
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXED IN: 
WOS
WOS