Juliana Küster Filipe Bowles
Juliana Küster Filipe Bowles
Senior Lecturer in Computer Science, University of St Andrews
Verified email at st-andrews.ac.uk
Cited by
Cited by
Enriching OCL using observational mu-calculus
J Bradfield, JK Filipe, P Stevens
International Conference on Fundamental Approaches to Software Engineering …, 2002
Modelling concurrent interactions
J Küster-Filipe
Theoretical Computer Science 351 (2), 203-220, 2006
Modelling concurrent interactions
J Küster-Filipe
Theoretical Computer Science 351 (2), 203-220, 2006
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
Formalizing liveness-enriched sequence diagrams using ASMs
A Cavarra, J Küster-Filipe
International Workshop on Abstract State Machines, 62-77, 2004
General discussion
FM Fowkes, DNL McGown, GD Parfitt, LA Romo, A Breeuwsma, ...
Discussions of the Faraday Society 42, 243-247, 1966
A logic-based formalization for component specification
JK Filipe
Journal of Object Technology 1 (3), 231-248, 2002
Combining sequence diagrams and OCL for liveness
A Cavarra, J Küster-Filipe
Electronic Notes in Theoretical Computer Science 115, 19-38, 2005
Fundamentals of a module logic for distributed object systems
JK Filipe
Formal transformation from sequence diagrams to coloured petri nets
J Bowles, D Meedeniya
2010 Asia Pacific Software Engineering Conference, 216-225, 2010
Decomposing interactions
JKF Bowles
International Conference on Algebraic Methodology and Software Technology …, 2006
A formal model for integrating multiple views
JKF Bowles, B Bordbar
Seventh International Conference on Application of Concurrency to System …, 2007
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
Surgical removal of a squamous cell carcinoma of the equine eye
A Koch, RR Cowles
Veterinary medicine, small animal clinician, 1971
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
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
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
Object-oriented design frameworks: Formal specification and some implementation issues
I Crnkovic, JK Filipe, M Larsson, KK Lau
Databases and information Systems, 237-251, 2001
Foundations of a module concept for distributed object systems.
JK Filipe
Braunschweig University of Technology, Germany, 2000
Guaranteeing temporal validity with a real-time logic of knowledge
S Anderson, JK Filipe
23rd International Conference on Distributed Computing Systems Workshops …, 2003
The system can't perform the operation now. Try again later.
Articles 1–20