| 2020 | ICCSA | Designing a Patient-Centric System for Secure Exchanges of Medical Data. | Thais Webber, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Juliana Kster Filipe Bowles |
| 2020 | PRIMA | Argumentation-Based Explanations of Multimorbidity Treatment Plans. | Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Kster Filipe Bowles |
| 2017 | ICFEM | A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. | Juliana Kster Filipe Bowles, Marco B. Caminati |
| 2017 | IFM | Formal Verification of CNL Health Recommendations. | Fahrurrozi Rahman, Juliana Kster Filipe Bowles |
| 2016 | APSEC | Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods. | Juliana Kster Filipe Bowles, Marco B. Caminati |
| 2016 | IFM | Avoiding Medication Conflicts for Patients with Multimorbidities. | Andrii Kovalov, Juliana Kster Filipe Bowles |
| 2015 | ICFEM | A Logical Approach for Behavioural Composition of Scenario-Based Models. | Juliana Kster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain |
| 2014 | ICCSA | A Strongly Consistent Transformation from UML Interactions to PEPA Nets. | Juliana Kster Filipe Bowles, Lela Kloul |
| 2014 | MODELSWARD | Automated Composition of Sequence Diagrams via Alloy. | Mohammed Alwanain, Behzad Bordbar, Juliana Kster Filipe Bowles |
| 2014 | WoLLIC | On Distributed Stochastic Logics for Mobile Systems. | Juliana Kster Filipe Bowles, Petrucio Viana |
| 2008 | FASE | When Things Go Wrong: Interrupting Conversations. | Juliana Kster Filipe Bowles, Sotiris Moschoyiannis |