Juliana Küster Filipe Bowles
Juliana Küster Filipe Bowles
Senior Lecturer in Computer Science, University of St Andrews
E-mail confirmado em st-andrews.ac.uk
Título
Citado por
Citado por
Ano
Modelling concurrent interactions
J Küster-Filipe
Theoretical Computer Science 351 (2), 203-220, 2006
792006
Enriching OCL using observational mu-calculus
J Bradfield, JK Filipe, P Stevens
International Conference on Fundamental Approaches to Software Engineering …, 2002
772002
Modelling concurrent interactions
J Küster-Filipe
Theoretical Computer Science 351 (2), 203-220, 2006
702006
Formalizing liveness-enriched sequence diagrams using ASMs
A Cavarra, J Küster-Filipe
International Workshop on Abstract State Machines, 62-77, 2004
352004
The Troll Approach to Conceptual Modelling: Syntax, Semantics, and Tools
A Grau, JK Filipe, M Kowsari, S Eckstein, R Pinger, HD Ehrich
International Conference on Conceptual Modeling, 277-290, 1998
341998
Our data, our society, our health: A vision for inclusive and transparent health data science in the United Kingdom and beyond
E Ford, A Boyd, JKF Bowles, A Havard, RW Aldridge, V Curcin, M Greiver, ...
Learning health systems 3 (3), e10191, 2019
312019
Combining sequence diagrams and OCL for liveness
A Cavarra, J Küster-Filipe
Electronic Notes in Theoretical Computer Science 115, 19-38, 2005
302005
Formal transformation from sequence diagrams to coloured petri nets
J Bowles, D Meedeniya
2010 Asia Pacific Software Engineering Conference, 216-225, 2010
282010
Fundamentals of a module logic for distributed object systems
JK Filipe
282000
A logic-based formalization for component specification
JK Filipe
Journal of Object Technology 1 (3), 231-248, 2002
272002
A formal model for integrating multiple views
JKF Bowles, B Bordbar
Seventh International Conference on Application of Concurrency to System …, 2007
262007
Decomposing interactions
JKF Bowles
International Conference on Algebraic Methodology and Software Technology …, 2006
252006
General discussion
FM Fowkes, DNL McGown, GD Parfitt, LA Romo, A Breeuwsma, ...
Discussions of the Faraday Society 42, 243-247, 1966
251966
Optimizing protocol rewrite rules of CIL specifications
G Denker, JK Millen, A Grau, JK Filipe
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 52-62, 2000
232000
Surgical removal of squamous cell carcinoma of the equine eye
SA Koch, RR Cowles Jr
Veterinary medicine, small animal clinician: VM, SAC 66 (4), 327-329, 1971
221971
From interaction overview diagrams to pepa nets
L Kloul, J Küster-Filipe
Proc. of the Work. on Process Algebra and Stochastically Timed Activities 104, 2005
212005
A logical approach for behavioural composition of scenario-based models
JKF Bowles, B Bordbar, M Alwanain
International Conference on Formal Engineering Methods, 252-269, 2015
162015
Avoiding medication conflicts for patients with multimorbidities
A Kovalov, JKF Bowles
International Conference on Integrated Formal Methods, 376-390, 2016
142016
Formal specification of Catalysis frameworks
JK Filipe, KK Lau, M Omaghi, K Taguchi, H Yatsu, A Wills
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000
142000
Foundations of a module concept for distributed object systems
JK Filipe
Braunschweig University of Technology, Germany, 2000
142000
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20