Seguir
Guillermina Cledou
Guillermina Cledou
HASLab INESC TEC and Universidade do Minho
Email confirmado em inesctec.pt
Título
Citado por
Citado por
Ano
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
912018
Composing families of timed automata
G Cledou, J Proença, L Soares Barbosa
Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017
162017
API generation for multiparty session types, revisited and revised using Scala 3
G Cledou, L Edixhoven, SS Jongmans, J Proença
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
52022
Portugal: Leapfrogging digital transformation
E Estevez, P Fillottrani, S Linares Lejarraga, MG Cledou
CAF, 2021
42021
Modeling families of public licensing services: A case study
G Cledou, LS Barbosa
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017
42017
Featured team automata
MH ter Beek, G Cledou, R Hennicker, J Proença
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
32021
A refinement relation for families of timed automata
G Cledou, J Proença, LS Barbosa
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
32017
An ontology for licensing public transport services
G Cledou, LS Barbosa
Proceedings of the 9th International Conference on Theory and Practice of …, 2016
32016
Branching pomsets for choreographies
L Edixhoven, SS Jongmans, J Proença, G Cledou
arXiv preprint arXiv:2208.04632, 2022
22022
Hubs for VirtuosoNext: Online verification of real-time coordinators
G Cledou, J Proença, BHC Sputh, E Verhulst
Science of Computer Programming 203, 102566, 2021
22021
Coordination of tasks on a Real-Time OS
G Cledou, J Proença, BHC Sputh, E Verhulst
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
22019
Knowledge Societies Policy Handbook
R Baguma, JÁ Carvalho, G Cledou, E Estevez, S Finquelievich, ...
UNESCO and UNU-EGOV, 2016
22016
A virtual factory for smart city service integration
G Cledou
Proceedings of the 8th International Conference on Theory and Practice of …, 2014
22014
Branching pomsets for choreographies (technical report)
L Edixhoven, SS Jongmans, G Cledou, J Proença
Open Universiteit Nederland, 2022
12022
Api generation for multiparty session types, revisited and revised using scala 3 (full version)
G Cledou, LJ Edixhoven, SS Jongmans, J Proença
Open Universiteit Nederland, 2022
12022
Portugal: El salto a la transformación digital
E Estevez, P Fillottrani, S Linares Lejarraga, MG Cledou
CAF, 2021
12021
Verification of Real-Time Coordination in VirtuosoNext (extended version)
G Cledou, J Proença, BHC Sputh, E Verhulst
12020
WeLEaD: Collaborative toolkit for learning, engaging and deciding
MG Cledou, S Fernandes, E Estevez
Proceedings of the 7th International Conference on Theory and Practice of …, 2013
12013
A proof-of-concept prototype for ifta
G Cledou
Technical report, HASLab INESCTEC and University of Minho, 0
1
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
G Cledou, L Edixhoven, SS Jongmans, J Proença
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022
2022
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20