Guillermina Cledou

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 14

Top Topics

Top Venues

Publications

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