selected publications

• academic article

  • Component meets service: what does the mongrel look like?.  Innovations in Systems and Software Engineering.  2008
  • Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.  The Computer Journal.  38:301-309. 1995

• chapter

  • A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility.  Studies in computational intelligence. 95-119. 2007