Maria Guillermina Cledou


AuthID: R-00F-KAZ

Confirmed Publications: 18



1
TITLE: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
INDEXED IN: WOS DBLP CrossRef: 6
IN MY: ORCID
2
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: ECOOP, VOLUME: 222
INDEXED IN: Scopus DBLP
IN MY: ORCID
3
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP
IN MY: ORCID
4
TITLE: Branching Pomsets for Choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Cledou, Guillermina ;
PUBLISHED: 2022, SOURCE: 15th Interaction and Concurrency Experience in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 365
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
5
TITLE: Featured Team Automata
AUTHORS: ter Beek, MH; Cledou, G ; Hennicker, R; Proenca, J ;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
6
TITLE: Hubs for VirtuosoNext: Online verification of real-time coordinators  Full Text
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
7
TITLE: ARx: Reactive Programming for Synchronous Connectors  Full Text
AUTHORS: José Proença ; Guillermina Cledou ;
PUBLISHED: 2020, SOURCE: COORDINATION, VOLUME: 12134 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
8
TITLE: A Net-Based Formal Framework for Causal Loop Diagrams
AUTHORS: Cledou, G ; Nakajima, S;
PUBLISHED: 2019, SOURCE: 3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia) in COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018, VOLUME: 878
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
9
TITLE: Coordination of Tasks on a Real-Time OS
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2019, SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
10
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Cledou, G ; Estevez, E; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef: 82
IN MY: ORCID
Page 1 of 2. Total results: 18.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service