Juliana Küster Filipe Bowles

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 17

Top Topics

Resolving Conflicts

Sequence Diagrams

Formal Verification

Finding Optimal

Top Venues

Publications

Marco B. Caminati, Juliana Küster Filipe Bowles
Representation Theorems Obtained by Miningacross Web Sources for Hints. CoRR (2023)
Marco B. Caminati, Juliana Küster Filipe Bowles
Representation Theorems Obtained by Mining across Web Sources for Hints. ICICT (2023)
Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov
On Defining Rules for Cancer Data Fabrication. RuleML+RR (2020)
Thais Webber, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Juliana Küster Filipe Bowles
Designing a Patient-Centric System for Secure Exchanges of Medical Data. ICCSA (6) (2020)
Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles
Argumentation-Based Explanations of Multimorbidity Treatment Plans. PRIMA (2020)
Juliana Küster Filipe Bowles, Marco B. Caminati
A Formally Verified SMT Approach to True Concurrency. CILC (2020)
Juliana Küster Filipe Bowles, Marco B. Caminati
Correct composition in the presence of behavioural conflicts and dephasing. Sci. Comput. Program. 185 (2020)
Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles
Dialogue Games for Explaining Medication Choices. RuleML+RR (2020)
Juliana Küster Filipe Bowles, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Thais Webber, Euan Blackledge
Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics. EFMI-STC (2020)
Vladimir Janjic, Michael Vinov, Thomas Given-Wilson, Axel Legay, Euan Blackledge, R. Arredouani, George Stylianou, W. Huang, Juliana Küster Filipe Bowles, Andreas Francois Vermeulen, Agastya Silvina, Marios Belk, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData (2019)
Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles
Formal reasoning over class models using TOMM. J. Object Technol. 18 (2) (2019)
Juliana Küster Filipe Bowles, Marco B. Caminati
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. ICFEM (2017)
Fahrurrozi Rahman, Juliana Küster Filipe Bowles
Formal Verification of CNL Health Recommendations. IFM (2017)
Andrii Kovalov, Juliana Küster Filipe Bowles
Avoiding Medication Conflicts for Patients with Multimorbidities. IFM (2016)
Juliana Küster Filipe Bowles, Marco B. Caminati
Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods. APSEC (2016)
Juliana Küster Filipe Bowles, Agastya Silvina
Model checking cancer automata. BHI (2016)
Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD (2016)
Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
A Logical Approach for Behavioural Composition of Scenario-Based Models. ICFEM (2015)
Juliana Küster Filipe Bowles, Leïla Kloul
A Strongly Consistent Transformation from UML Interactions to PEPA Nets. ICCSA (5) (2014)
Juliana Küster Filipe Bowles, Petrucio Viana
On Distributed Stochastic Logics for Mobile Systems. WoLLIC (2014)
Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles
Automated Composition of Sequence Diagrams via Alloy. MODELSWARD (2014)
Juliana Küster Filipe Bowles, Leïla Kloul
Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW (2010)
Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles
Preface. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
Preface. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Juliana Küster Filipe Bowles, Sotiris Moschoyiannis
When Things Go Wrong: Interrupting Conversations. FASE (2008)
Juliana Küster Filipe Bowles, Behzad Bordbar
A Formal Model for Integrating Multiple Views. ACSD (2007)
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
Preface. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)