Juliana Küster Filipe Bowles

According to our database, Juliana Küster Filipe Bowles authored at least 81 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Security and Usability of a Personalized User Authentication Paradigm: Insights from a Longitudinal Study with Three Healthcare Organizations.

Argyris Constantinides, Marios Belk, Christos Fidas, Roy Beumers, David Vidal, Wanting Huang, Juliana Bowles, Thais Webber, Agastya Silvina, Andreas Pitsillides

ACM Trans. Comput. Heal., January, 2023

Representation Theorems Obtained by Miningacross Web Sources for Hints.

Marco B. Caminati, Juliana Küster Filipe Bowles

CoRR, 2023

An Ontology-based Approach for Detecting and Classifying Inappropriate Prescribing.

Guilherme Redeker, Juliana Bowles

Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023

The Need for a Non-Invasive Technology for Endometriosis Detection and Care.

Ariane Hine, Juliana Bowles, Thais Webber

Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023

A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.

Jordina Francès de Mas, Juliana Bowles

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

Using Technology to Enhance Community Health and Territorial Resources Access.

Diana S. Portela, Thais Webber, Juliana Bowles

Proceedings of the Healthcare Transformation with Informatics and Artificial Intelligence, 2023

Representation Theorems Obtained by Mining across Web Sources for Hints.

Marco B. Caminati, Juliana Küster Filipe Bowles

Proceedings of the 6th International Conference on Information and Computer Technologies, 2023

2022

APPS 2022: Fourth International Workshop on Adaptive and Personalized Privacy and Security.

Argyris Constantinides, Marios Belk, Christos Fidas, Juliana Bowles, Andreas Pitsillides

Proceedings of the UMAP '22: 30th ACM Conference on User Modeling, Adaptation and Personalization, Barcelona, Spain, July 4, 2022

Evaluating a Smart Healthcare System Design Through Participatory Approach.

Thais Webber, Juliana Bowles, Argyris Constantinides, Marios Belk, Emma Morley

Proceedings of the Advances in Informatics, Management and Technology in Healthcare, 2022

2021

APPS 2021: Third International Workshop on Adaptive and Personalized Privacy and Security.

Argyris Constantinides, Marios Belk, Christos Fidas, Juliana Bowles, Andreas Pitsillides

Proceedings of the Adjunct Publication of the 29th ACM Conference on User Modeling, 2021

On the Benefits and Security Risks of a User-Centric Data Sharing Platform for Healthcare Provision.

Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber

Proceedings of the Adjunct Publication of the 29th ACM Conference on User Modeling, 2021

Conflict-Free Access Rules for Sharing Smart Patient Health Records.

Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

A Blockchain-Based Healthcare Platform for Secure Personalised Data Sharing.

Juliana Bowles, Thais Webber, Euan Blackledge, Andreas Francois Vermeulen

Proceedings of the Public Health and Informatics, 2021

Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision.

Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber

Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

A Secure User-Centred Healthcare System: Design and Verification.

Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber

Proceedings of the From Data to Models and Back, 2021

Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform.

Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles

Proceedings of the From Data to Models and Back, 2021

2020

Correct composition in the presence of behavioural conflicts and dephasing.

Juliana Küster Filipe Bowles, Marco B. Caminati

Sci. Comput. Program., 2020

Interacting with Next-Generation Smart Patient-Centric Healthcare Systems.

Juliana Bowles, Juan Jose Mendoza Santana, Thais Webber

Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

APPS 2020: Second International Workshop on Adaptive and Personalized Privacy and Security.

Marios Belk, Christos Fidas, Juliana Bowles, Elias Athanasopoulos, Andreas Pitsillides

Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization, 2020

Adaptive and Personalized Privacy and Security (APPS 2020): Workshop Chairs' Welcome.

Marios Belk, Christos Fidas, Juliana Bowles, Elias Athanasopoulos, Andreas Pitsillides

Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

Dialogue Games for Explaining Medication Choices.

Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

On Defining Rules for Cancer Data Fabrication.

Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Argumentation-Based Explanations of Multimorbidity Treatment Plans.

Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

Tackling Polypharmacy: A Multi-Source Decision Support System.

Guilherme Redeker, Juliana Bowles

Proceedings of the Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28, 2020

Designing a Patient-Centric System for Secure Exchanges of Medical Data.

Thais Webber, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Juliana Küster Filipe Bowles

Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics.

Juliana Küster Filipe Bowles, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Thais Webber, Euan Blackledge

Proceedings of the Integrated Citizen Centered Digital Health and Social Care - Citizens as Data Producers and Service co-Creators, 2020

A Formally Verified SMT Approach to True Concurrency.

Juliana Küster Filipe Bowles, Marco B. Caminati

Proceedings of the 35th Italian Conference on Computational Logic, 2020

A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways.

Agastya Silvina, Guilherme Redeker, Thais Webber, Juliana Bowles

Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

Semantic Annotations in Clinical Guidelines.

Fahrurrozi Rahman, Juliana Bowles

Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision.

Juliana Bowles, Ricardo M. Czekster, Guilherme Redeker, Thais Webber

Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

DataMod2020: 9th International Symposium "From Data to Models and Back".

Juliana Bowles, Giovanna Broccia, Mirco Nanni

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

2019

Balancing Prescriptions with Constraint Solvers.

Juliana Küster Filipe Bowles, Marco B. Caminati

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

A framework for automated conflict detection and resolution in medical guidelines.

Juliana Bowles, Marco B. Caminati, Suhyun Cha, Juan Mendoza

Sci. Comput. Program., 2019

Formal reasoning over class models using TOMM.

Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles

J. Object Technol., 2019

Security And Privacy Of Medical Data: Challenges For Next-Generation Patient-Centric Healthcare Systems.

Vladimir Janjic, Juliana Bowles, Marios Belk, Andreas Pitsillides

Proceedings of the Adjunct Publication of the 27th Conference on User Modeling, 2019

An Integrated Approach to a Combinatorial Optimisation Problem.

Juliana Bowles, Marco B. Caminati

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems.

Vladimir Janjic, Michael Vinov, Thomas Given-Wilson, Axel Legay, Euan Blackledge, R. Arredouani, George Stylianou, Wanting Huang, Juliana Küster Filipe Bowles, Andreas Francois Vermeulen, Agastya Silvina, Marios Belk, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer.

Agastya Silvina, Juliana Bowles, Peter S. Hall

Proceedings of the Artificial Intelligence in Medicine, 2019

2018

Annotated BPMN Models for Optimised Healthcare Resource Planning.

Juliana Bowles, Ricardo M. Czekster, Thais Webber

Proceedings of the Software Technologies: Applications and Foundations, 2018

2017

An integrated framework for verifying multiple care pathways.

Juliana Bowles, Marco B. Caminati, Suhyun Cha

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

A Verified Algorithm Enumerating Event Structures.

Juliana Bowles, Marco B. Caminati

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal Verification of CNL Health Recommendations.

Fahrurrozi Rahman, Juliana Küster Filipe Bowles

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.

Juliana Küster Filipe Bowles, Marco B. Caminati

Proceedings of the Formal Methods and Software Engineering, 2017

Correct Composition of Dephased Behavioural Models.

Juliana Bowles, Marco B. Caminati

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Avoiding Medication Conflicts for Patients with Multimorbidities.

Andrii Kovalov, Juliana Küster Filipe Bowles

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model checking cancer automata.

Juliana Küster Filipe Bowles, Agastya Silvina

Proceedings of the 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2016

Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.

Juliana Küster Filipe Bowles, Marco B. Caminati

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Weaving True-Concurrent Aspects Using Constraint Solvers.

Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Transformation and composition of software design models for Model Driven Development.

Dulani Meedeniya, Indika Perera, Juliana Bowles

Proceedings of the 10th IEEE International Conference on Industrial and Information Systems, 2015

A Logical Approach for Behavioural Composition of Scenario-Based Models.

Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

Proceedings of the Formal Methods and Software Engineering, 2015

2014

On Distributed Stochastic Logics for Mobile Systems.

Juliana Küster Filipe Bowles, Petrucio Viana

Proceedings of the Logic, Language, Information, and Computation, 2014

Matching and Merging Scenarios Automatically with Alloy.

Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen

Proceedings of the Model-Driven Engineering and Software Development, 2014

Automated Composition of Sequence Diagrams via Alloy.

Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Strongly Consistent Transformation from UML Interactions to PEPA Nets.

Juliana Küster Filipe Bowles, Leïla Kloul

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2012

Strongly consistent transformation of partial scenarios.

Juliana Bowles, Dulani Apeksha Meedeniya

ACM SIGSOFT Softw. Eng. Notes, 2012

Parametric Transformations for Flexible Analysis.

Juliana Bowles, Dulani Apeksha Meedeniya

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010

Synthesising PEPA nets from IODs for performance analysis.

Juliana Küster Filipe Bowles, Leïla Kloul

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Formal Transformation from Sequence Diagrams to Coloured Petri Nets.

Juliana Bowles, Dulani Apeksha Meedeniya

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2008

When Things Go Wrong: Interrupting Conversations.

Juliana Küster Filipe Bowles, Sotiris Moschoyiannis

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Preface.

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

A Formal Model for Integrating Multiple Views.

Juliana Küster Filipe Bowles, Behzad Bordbar

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Modelling concurrent interactions.

Juliana Küster Filipe

Theor. Comput. Sci., 2006

On a time enriched OCL liveness template.

Juliana Küster Filipe, Stuart Anderson

Int. J. Softw. Tools Technol. Transf., 2006

Concurrent Logic and Automata Combined: A Semantics for Components.

Juliana Küster Filipe, Sotiris Moschoyiannis

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Decomposing Interactions.

Juliana Küster Filipe

Proceedings of the Algebraic Methodology and Software Technology, 2006

Modelling Mobility with UML2.0 and PEPA Nets.

Leïla Kloul, Juliana Küster Filipe

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit.

Gordon D. Baxter, Juliana Küster Filipe, Angela Miguel, Kenneth Tan

Proceedings of the Constituents of Modern System-safety Thinking, 2005

2004

Preface.

Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Combining Sequence Diagrams and OCL for Liveness.

Alessandra Cavarra, Juliana Küster Filipe

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.

Alessandra Cavarra, Juliana Küster Filipe

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.

Stuart Anderson, Juliana Küster Filipe

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Giving Life to Agent Interactions.

Juliana Küster Filipe

Proceedings of the Objects, 2003

2002

A logic-based formalization for component specification.

Juliana Küster Filipe

J. Object Technol., 2002

Limits in modelling evolving computer-based systems.

Massimo Felici, Juliana Küster Filipe

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Enriching OCL Using Observational Mu-Calculus.

Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2000

Foundations of a module concept for distributed object systems.

Juliana Küster Filipe

PhD thesis, 2000

Fundamentals of Module Logic for Distributed Object Systems.

Juliana Küster Filipe

J. Funct. Log. Program., 2000

Optimizing Protocol Rewrite Rules of CIL Specifications.

Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Formal specification of Catalysis frameworks.

Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.

Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1998

The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.

Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich

Proceedings of the Conceptual Modeling, 1998