Guillermina Cledou

According to our database, Guillermina Cledou authored at least 19 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Can we Communicate? Using Dynamic Logic to Verify Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Dataset, November, 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Dagstuhl Artifacts Ser., 2022

Branching Pomsets for Choreographies.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Hubs for VirtuosoNext: Online verification of real-time coordinators.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Sci. Comput. Program., 2021

Featured Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

ARx: Reactive Programming for Synchronous Connectors.

José Proença, Guillermina Cledou

Proceedings of the Coordination Models and Languages, 2020

2019

Coordination of Tasks on a Real-Time OS.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Proceedings of the Coordination Models and Languages, 2019

2018

A virtual factory for smart city service integration

Guillermina Cledou

PhD thesis, 2018

A taxonomy for planning and designing smart mobility services.

Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa

Gov. Inf. Q., 2018

A Net-Based Formal Framework for Causal Loop Diagrams.

Guillermina Cledou, Shin Nakajima

Proceedings of the Complex Systems Design & Management Asia, 2018

2017

A Refinement Relation for Families of Timed Automata.

Guillermina Cledou, José Proença, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Modeling Families of Public Licensing Services: A Case Study.

Guillermina Cledou, Luís Soares Barbosa

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Composing Families of Timed Automata.

Guillermina Cledou, José Proença, Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

An Ontology for Licensing Public Transport Services.

Maria Guillermina Cledou, Luís Soares Barbosa

Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016

2014

Understanding students' mobility habits towards the implementation of an adaptive ubiquitous platform.

João Casal, Maria Guillermina Cledou

Proceedings of the ISDOC 2014, 2014

A virtual factory for smart city service integration.

Maria Guillermina Cledou

Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, 2014

2013

WeLEaD: collaborative toolkit for learning, engaging and deciding.

Maria Guillermina Cledou, Sara Fernandes, Elsa Estevez

Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, 2013