Maria Guillermina Cledou


AuthID: R-00F-KAZ

Publicações Confirmadas: 19



1
TÍTULO: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
INDEXADO EM: WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
2
TÍTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
3
TÍTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
4
TÍTULO: Branching Pomsets for Choreographies
AUTORES: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose; Cledou, Guillermina ;
PUBLICAÇÃO: 2022, FONTE: 15th Interaction and Concurrency Experience in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 365, NÚMERO: 365
INDEXADO EM: Scopus WOS
5
TÍTULO: Branching Pomsets for Choreographies
AUTORES: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2022, FONTE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
6
TÍTULO: Featured Team Automata
AUTORES: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2021, FONTE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
INDEXADO EM: DBLP CrossRef: 5
NO MEU: ORCID | DBLP
7
TÍTULO: Hubs for VirtuosoNext: Online verification of real-time coordinators  Full Text
AUTORES: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
8
TÍTULO: ARx: Reactive Programming for Synchronous Connectors
AUTORES: José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2020, FONTE: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12134
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
9
TÍTULO: A Net-Based Formal Framework for Causal Loop Diagrams
AUTORES: Guillermina Cledou ; Shin Nakajima;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
10
TÍTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 1 de 2. Total de resultados: 19.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service