Publications

• J.K.F. Bowles and S. Moschoyiannis. When things go wrong: Interrupting Conversations. In: J. Fiadeiro and P. Inverardi (Eds.) Proceedings of the 11th Conference on Fundamental Approaches to Software Engineering (FASE 2008), LNCS 4961, pp. 131-145, 2008. In press.
• J.K.F. Bowles and B. Bordbar. A formal model for integrating multiple views. Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, IEEE Computer Society Press.
• J.K.F. Bowles and S. Moschoyiannis. Concurrent Logic and Automata Combined: A Semantics for Components. In Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006) ENTCS, Volume 175, Issue 2, 21 June 2007, Pages 135-151.
• J.K.F. Bowles, I. Poernomo, and R. Reussner(editors). Preface. Proceedings of the Third International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2006) . Electronic Notes in Theoretical Computer Science, Volume 176, Issue 2, 31 May 2007, Pages 1-4, Elsevier.
• S. Moschoyiannis, J. Küster-Filipe and M. W. Shields. A Formal Approach to Constructing Well-Behaved Systems Using Components. In Zhiming Liu and He Jifeng, eds, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, Series on Component-Based Software Development, Vol 2, pp. 321-349, World Scientific, January, 2007.
• J.K.F. Bowles. Decomposing Interactions. 11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006), Kuressaare, Estonia, 5-8 July 2006, Springer, LNCS 4019, pages 189-203, 2006.
• L. Kloul and J. Küster-Filipe. Modelling Mobility with UML2.0 and PEPA Nets. Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 27-30 June 2006, Turku, Finland, IEEE Computer Society Press.
• J. Küster-Filipe and S. Anderson. On a time enriched OCL liveness template. International Journal on Software Tools for Technology Transfer (STTT) 8(2):156-166, Springer, 2006. Link to paper
• J. Küster-Filipe. Modelling Concurrent Interactions. Theoretical Computer Science, Volume 351, Issue 2, Pages 203-220 Elsevier B.V., 2006. Link to paper
• J. Küster-Filipe, I. Poernomo, R. Reussner and S. Shukla (editors) Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005), Edinburgh, Scotland, 9th April 2005. Electronic Notes in Theoretical Computer Science, Volume 141, Issue 3, Pages 1-220 (1 December 2005), Elsevier.
• L. Kloul and J. Küster-Filipe. From Interaction Overview Diagrams to PEPA nets. In Proceedings of the 4th Workshop on Process Algebras and Timed Activities (PASTA'05), Edinburgh, September 2005.
• G. Baxter, J. Küster-Filipe, A. Miguel and K. Tan. The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit. In F. Redmill and T. Anderson (Editors), Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium. (pp. 195-210). London, UK: Springer.
• J. Küster-Filipe, I. Poernomo, R. Reussner and S. Shukla (editors) Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2004), Barcelona, Catalonia, 3rd April 2004. Electronic Notes in Theoretical Computer Science, Volume 108, Pages 1-112 (13 December 2004), Elsevier.
• J. Küster-Filipe. Modelling Concurrent Interactions. In C. Rattray, S. Maharaj and C. Shankland (Editors) Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST 2004), July 12-16, 2004, Stirling, Scotland, pages 304-318. Springer, LNCS 3116, 2004.
• A. Cavarra and J. Küster-Filipe. Combining Sequence Diagrams and OCL for Liveness. In Proceedings of ETAPS 2004 Satellite Workshop on Semantic Foundations of Engineering Design Languages  (SFEDL), Barcelona, Catalunya, 3rd April 2004. Electronic Notes in Theoretical Computer Science, Volume 115, Pages 19-38 (18 January 2005), Elsevier.
• A. Cavarra and J. Küster-Filipe. Formalizing Liveness Enriched Sequence Diagrams using ASMs. In W. Zimmermann and B. Thalheim (Editors) Abstract State Machines 2004. Advances in Theory and Practice: Proceedings of the 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. pages 62-77. Springer, LNCS 3052, 2004.
  
• J. Küster-Filipe. Giving Life to Agent Interactions. In M. Ryan, J.-J. Meyer and H.-D. Ehrich, editors, Objects, Agents and Features: Structuring mechanisms for contemporary software. pages 98-116. Springer, LNCS 2975, 2004.
  
• J. Küster-Filipe and S. Anderson: Using OCL for expressing temporal validity constraints. In Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS 2003), held in conjunction with the Sixth International Conference on the Unified Modeling Language, UML 2003, October 20 - 24, 2003, San Francisco, California, USA. (Paper in pdf)
• S. Moschoyiannis, M. W. Shields and J. Küster-Filipe: Formalising well-behaved components. In Hung Dang Van and Zhiming Liu (editors) Proceedings of the Workshop on Formal Aspects of Component Software FACS’03 Satellite Workshop of the FM 2003 Pisa, Italy - September 8-9, 2003. UNU/IIST Report No. 284, pages 121-142. (Paper in pdf)
• J. Küster-Filipe, M.Felici and S. Anderson: Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems. In Bagnara, S., Rizzo, A., Pozzi, S., Rizzo, F. and Save, L., editors, Proceedings of the 8th International Conference on Human Aspects of Advanced Manufactoring: Agility and Hybrid Automation, 27-30 May 2003, Rome, Italy, pages 321-328. (Paper in pdf)
  
• S. Anderson and J. Küster Filipe: Guaranteeing temporal validity with a real-time logic of knowledge. In Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems Workshops - First International Workshop on Data Distribution for Real-Time Systems (DDRTS 2003). Providence, Rhode Island, USA, 19-22 May 2003, pages 178-183, IEEE Computer Society Press.
• J. Küster Filipe: A logic-based formalization for component specification. In Journal of Object Technology, vol. 1, no. 3, special issue: TOOLS USA 2002 proceedings, pages 231-248. (To get paper)
• J. Bradfield, J. Küster Filipe, and P. Stevens: Enriching OCL using observational mu-calculus. In Kutsche, R.-D. and Weber, H., editors, Proceedings of Fundamental Approaches to Software Engineering (FASE 2002), April 8-12, 2002, Grenoble, France, pages 203-217. Springer-Verlag, LNCS 2306, 2002. (Paper in pdf)
• J. Küster Filipe: A logic-based formalization for component specification. In Reussner, R., Poernomo I. and Grundy J., editors, Proceedings of the Fourth Australasian Workshop on Software and Systems Architectures, February 17/18, 2002, Sydney, Australia. Selected best paper of the workshop. Also appears in a special issue of the Journal of Object Technology (see above).
• M. Felici and J. Küster Filipe: Limits in Modelling Evolving Computer-based Systems. Proceedings of the ACM Symposium on Applied Computing, SAC 2002, March 10-14 2002, Madrid, Spain. pages 706-710. (PostScript)
• I. Crnkovic, J. Küster Filipe, M. Larsson and K.-K. Lau: Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues. In J. Barzdins and A. Caplinskas, editors, Databases and Information Systems, pages 237-251. Kluwer Academic Publishers, 2001. (PostScript)
• J. Küster Filipe, K.-K. Lau, M. Ornaghi, K. Taguchi, A. Wills and H. Yatsu: Formal Specification of Catalysis Frameworks. In Dong, J.S., He, J. and Purvis, M., editors, Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, pages 180-187. IEEE Computer Society, 2000. (Paper in pdf)
• J. Küster Filipe: Foundations of a Module Concept for Distributed Object Systems. PhD Thesis, Technical University of Braunschweig, Germany, September 2000.
• Denker, G., Millen, J., Grau, A., and Küster Filipe, J. Optimizing Protocol Rewrite Rules of CIL Specifications. In Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, pages 52-62. IEEE Computer Society, 2000. (Paper in pdf)
• Crnkovic, I., Küster Filipe, J., Larsson, M., and Lau, K.-K. Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues. In Caplinskas, A., editor, Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000, pages 63-77. Vilnius Gediminas Technical University, Lithuanian Computer Society, 2000. (PostScript)
• Küster Filipe, J., Lau, K.-K., Ornaghi, M., and Yatsu, H. On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic. In Bossi, A., editor, Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers, pages 43-62. Springer-Verlag, LNCS 1817, 2000. (PostScript)
• Küster Filipe J. Fundamentals of a Module Logic for Distributed Object Systems. Journal of Functional and Logic Programming, 2000(3), March 2000. (Paper in pdf and PostScript)
• Küster Filipe, J., Lau, K.-K., Ornaghi, M., and Yatsu, H. Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic. In Brogi, A. and Hill, P., editors, Electronic Proceedings of the 2nd International Workshop on Component-based Software Development in Computational Logic(COCL'99), Paris, France, September 27, 1999.(PostScript)
• Küster Filipe, J., Lau, K.-K., Ornaghi, M., and Yatsu, H. On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic (Extended Abstract). In Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September,pages 65-73, Universit� C� Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, 1999. (PostScript)
• Grau, A., Küster Filipe, J., Kowsari, M., Eckstein, S., Pinger, R., and Ehrich, H.-D. The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools. In Ling, T.W., Ram, S. and Lee, M.L., editors, Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, November 16-19 , 1998, pages 277-290, Springer, LNCS 1507. (PostScript)
• Küster Filipe, J. Using a Modular Distributed Temporal Logic for In-the-large Object Specification. In Brogi, A. and Hill, P., editors, Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, 1998, pages 43 - 57. (PostScript)
• Küster Filipe, J. On a Distributed Temporal Logic for Modular Object Systems. Technical Report 98-06, Technical University Braunschweig, 1998. (PostScript)
• Küster Filipe, J. Modelling Parameterisation in Concurrent Object Systems. Logic Journal of the IGPL, 5(6):877-879, November 1997. In Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC)'97, Fortaleza, Cear�, Brazil, August 20-22.
• Küster Filipe, J. A Categorical Hiding Mechanism for Concurrent Object Systems. Technical Report 97-06, Technical University Braunschweig, 1997. (PostScript)
• Küster Filipe, J. Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition. Technical Report 97-05, Technical University Braunschweig, 1997. (PostScript)
• Denker, G. and Küster Filipe, J.:Towards a Model for Asynchronously Communicating Objects.. In Haav, H.-M.,and Thalheim,B., editors, Proc. 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, pages 182-193. Institute of Cybernetics, 1996.(PostScript)