Juliana Küster Filipe Bowles

32 papers B 6C 5Journal 3Unranked 14

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Representation Theorems Obtained by Mining across Web Sources for Hints. ICICT Marco B. Caminati, Juliana Küster Filipe Bowles
2023	J	`jnl`	Representation Theorems Obtained by Miningacross Web Sources for Hints. CoRR Marco B. Caminati, Juliana Küster Filipe Bowles
2023	—	`conf`	Towards a Flexible Approach for Understanding and Comparing Traces. DataMod Juliana Küster Filipe Bowles
2020	—	`conf`	A Formally Verified SMT Approach to True Concurrency. CILC Juliana Küster Filipe Bowles, Marco B. Caminati
2020	B	`conf`	Argumentation-Based Explanations of Multimorbidity Treatment Plans. PRIMA Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles
2020	J	`jnl`	Correct composition in the presence of behavioural conflicts and dephasing. Sci. Comput. Program. Juliana Küster Filipe Bowles, Marco B. Caminati
2020	—	`conf`	Designing a Patient-Centric System for Secure Exchanges of Medical Data. ICCSA (6) Thais Webber, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Juliana Küster Filipe Bowles
2020	B	`conf`	Dialogue Games for Explaining Medication Choices. RuleML+RR Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Küster Filipe Bowles
2020	—	`conf`	Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics. EFMI-STC Juliana Küster Filipe Bowles, Juan Jose Mendoza Santana, Andreas Francois Vermeulen, Thais Webber, Euan Blackledge
2020	B	`conf`	On Defining Rules for Cancer Data Fabrication. RuleML+RR Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov
2019	—	`ch.`	Balancing Prescriptions with Constraint Solvers. Automated Reasoning for Systems Biology and Medicine Juliana Küster Filipe Bowles, Marco B. Caminati
2019	J	`jnl`	Formal reasoning over class models using TOMM. J. Object Technol. Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles
2019	—	`conf`	The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData 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
2017	C	`conf`	A Flexible Approach for Finding Optimal Paths with Minimal Conflicts. ICFEM Juliana Küster Filipe Bowles, Marco B. Caminati
2017	B	`conf`	Formal Verification of CNL Health Recommendations. IFM Fahrurrozi Rahman, Juliana Küster Filipe Bowles
2016	B	`conf`	Avoiding Medication Conflicts for Patients with Multimorbidities. IFM Andrii Kovalov, Juliana Küster Filipe Bowles
2016	C	`conf`	Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods. APSEC Juliana Küster Filipe Bowles, Marco B. Caminati
2016	—	`conf`	Model checking cancer automata. BHI Juliana Küster Filipe Bowles, Agastya Silvina
2016	—	`conf`	Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
2015	C	`conf`	A Logical Approach for Behavioural Composition of Scenario-Based Models. ICFEM Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
2014	—	`conf`	A Strongly Consistent Transformation from UML Interactions to PEPA Nets. ICCSA (5) Juliana Küster Filipe Bowles, Leïla Kloul
2014	C	`conf`	Automated Composition of Sequence Diagrams via Alloy. MODELSWARD Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles
2014	C	`conf`	On Distributed Stochastic Logics for Mobile Systems. WoLLIC Juliana Küster Filipe Bowles, Petrucio Viana
2010	—	`ed.`	Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008 FESCA@ETAPS Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles
2010	—	`conf`	Synthesising PEPA nets from IODs for performance analysis. WOSP/SIPEW Juliana Küster Filipe Bowles, Leïla Kloul
2008	—	`conf`	Preface. FESCA@ETAPS Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles
2008	—	`ed.`	Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007 FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2008	B	`conf`	When Things Go Wrong: Interrupting Conversations. FASE Juliana Küster Filipe Bowles, Sotiris Moschoyiannis
2007	—	`conf`	A Formal Model for Integrating Multiple Views. ACSD Juliana Küster Filipe Bowles, Behzad Bordbar
2007	—	`conf`	Preface. FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2007	—	`ed.`	Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006 FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner
2006	—	`conf`	Preface. FESCA@ETAPS Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner