Juliana Küster-Filipe Publications

Publications

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.

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. (PostScript)

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. (PostScript)

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. (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)

Back to home page