Guillermina Cledou

15 papers A 1B 2C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2023 B conf
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
FM
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2022 J jnl
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).
Dagstuhl Artifacts Ser.
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022 A conf
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.
ECOOP
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022 — conf
Branching Pomsets for Choreographies.
ICE
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
2021 B conf
Featured Team Automata.
FM
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021 J jnl
Featured Team Automata.
CoRR
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021 J jnl
Hubs for VirtuosoNext: Online verification of real-time coordinators.
Sci. Comput. Program.
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2020 C conf
ARx: Reactive Programming for Synchronous Connectors.
COORDINATION
José Proença, Guillermina Cledou
2019 C conf
Coordination of Tasks on a Real-Time OS.
COORDINATION
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2018 — conf
A Net-Based Formal Framework for Causal Loop Diagrams.
CSDM Asia
Guillermina Cledou, Shin Nakajima
2018 J jnl
A taxonomy for planning and designing smart mobility services.
Gov. Inf. Q.
Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa
2018 — —
A virtual factory for smart city service integration
Guillermina Cledou
2017 — conf
A Refinement Relation for Families of Timed Automata.
SBMF
Guillermina Cledou, José Proença, Luís Soares Barbosa
2017 — conf
Composing Families of Timed Automata.
FSEN
Guillermina Cledou, José Proença, Luís Soares Barbosa
2017 — conf
Modeling Families of Public Licensing Services: A Case Study.
FormaliSE@ICSE
Guillermina Cledou, Luís Soares Barbosa