Juliana Küster Filipe Bowles
Lecturer, School of Computer Science,
University of St Andrews
Member of the Systems Engineering
and Computational Logic groups.
Postal Address: School of Computer Science, Jack Cole Building, North Haugh,
St Andrews KY16 9SX Scotland
Tel: +44/0 1334 461622
Fax: +44/0 1334 463278
Email: jkfb at (with or without 'cs.') st-andrews.ac.uk
Teaching:
In the Martinmas Semester 2008/09:
CS2001 Foundations of Computing
CS4051 Professional and Social Aspects of Computing
CS5031 Advanced Software Engineering
Research interests:
- Object-oriented modelling languages (e.g., UML, OCL)
- Critical system's design and verification
- Dependability issues in design
- Component-based software development
- Concurrency and distribution
- Modal logics of knowledge and belief
- Semantic models
- (Distributed) temporal logic
- Applications of category theory
Current Projects:
A Performance Engineering Technique for Mobile Distributed Systems (PETMoDS) with Leïla Kloul, University of Versailles, France. International Joint Project funded by The Royal Society and CNRS.
Past Projects:
UML2.0, concurrent automata and MDTL:
A framework for distributed component-based systems
funded Sotiris Moschoyiannis.
Publications:
For a list of publications click here. Some papers
are available in PDF/PostScript. This list is not regularly
updated.
Upcoming Events:
- FESCA - Formal Foundations of Embedded Software and Component-based Software
Architectures
6th International Workshop, Satellite Event
of ETAPS 2009
Past Workshops and Conferences:
- Models of Open TRAnsactions in Digital Ecosystems (MOTRADE 2008), Track on the 2nd IEEE International Conference on Digital Ecosystems and Technologies (IEEE-DEST 2008), 26-29 February 2008, Phitsanulok, Thailand
- FESCA
- Formal Foundations of Embedded Software and Component-based Software
Architectures
5th International Workshop, Satellite Event
of ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary
- FESCA
- Formal Foundations of Embedded Software and Component-based Software
Architectures
4th International Workshop, Satellite Event
of ETAPS
2007, March 24 - April 1, 2007, Braga, Portugal
- FESCA
- Formal Foundations of Embedded Software and Component-based Software
Architectures
3rd International Workshop, Satellite Event
of ETAPS
2006, 25 March - 2 April 2006, Viena, Austria
Proceedings
ENTCS, Volume 176, Issue 2
- Women in Computing Research: the
Midlands Hopper, 9th December, University of Birmingham CANCELLED
- QoSA'05 -
1st International
Conference on Quality of Software Architectures, September 20-22,
2005, Erfurt, Germany
- FESCA
- Formal Foundations of Embedded Software and Component-based Software
Architectures
Proceedings
ENTCS, Volume 141, Issue 3
2nd International Workshop, Satellite Event
of ETAPS
2005, 2-10 April 2005, Edinburgh, Scotland
- SE Track of
the 20th ACM
Symposium
on Applied Computing 2005, Santa Fe, New Mexico
- FESCA
- Formal Foundations of Embedded Software and Component-based Software
Architectures
Proceedings
ENTCS, Volume 108
1st International Workshop, Satellite Event
of ETAPS 2004, 27 March 27 - 4 April 2004, Barcelona, Catalunya