Guillermina Cledou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Can We Communicate? Using Dynamic Logic to Verify Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2022 | ECOOP | API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, Jos Proena |
| 2021 | FM | Featured Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2020 | Coordination | ARx: Reactive Programming for Synchronous Connectors. | Jos Proena, Guillermina Cledou |
| 2019 | Coordination | Coordination of Tasks on a Real-Time OS. | Guillermina Cledou, Jos Proena, Bernhard H. C. Sputh, Eric Verhulst |
| 2017 | ICSE | Modeling Families of Public Licensing Services: A Case Study. | Guillermina Cledou, Lus Soares Barbosa |