Department of Computer Science

Andrea Zisman


Photo of Dr Andrea Zisman Dr Andrea Zisman
Room: A309
Department of Computer Science
School of Informatics
City University
London EC1V OHB
tel: +44 20 7040 8346
fax: +44 20 7040 0244

Short Biography

Andrea Zisman is a Professor in the Department of Computing, part of the School of Informatics at City University London, and a member of the Software Engineering research group in this department. Andrea holds a BSc degree in Computer Science (Catholic University of Pernambuco, Brazil, graduated Magna Cum Laude), a MSc degree in Applied Mathematics to Computer Science (University of Sao Paulo, Brazil, thesis received higher honours), and a PhD degree in Computer Science (Imperial College of Science, Technology & Medicine, London, UK).

Andrea's research interests lie in the areas of software and service engineering and automated support of distributed data. More specifically, she has been research active in the areas of service discovery, service adaptation, service composition, verification of multi-stakeholders distributed systems and service-based systems, consistency management and traceability of software artefacts, secure software engineering, and interoperability of distributed heterogeneous database systems. Her research has contributed to the development of a number of research prototypes and industrial tools.   Andrea has been principal and co-investigators in various research projects including, the EU funded projects OPTIMIS (2010-2013), GREDIA (2006-2009), SECSE (2004-2008), PEPERS (2006-2009), and the network of excellence S-CUBE (2008-2012); EPSRC funded project Handling Inconsistencies in Distributed Software Engineering Documents (EPSRC research project, 2001-2002); and industrial funded projects NEVIS (funded by CSW Group Ltd, 2004), Requirements Traceability (funded by Philips Research Labs-UK, 2001-2002), Software traceability for Product Family Systems (2002-2006), Software Traceability for Agent-Oriented Systems (2002-2006), WAICENT Information Bus (funded by United Nations - FAO, 2002), and OpenModel Project (2003).

Andrea has served on the organisation and programme committees of several international conferences and workshops, and has acted as a reviewer for various international journals. She is the Programme Co-chair for FASE 2012. She is a member of the Programme Committees for ESEC/FSE 2013, FASE 2013, SEAMS 2013, ICSE 2012, FSE 2012, SEAMS 2012, ICSOC 2012, ASE 2012, MODELS 2012, and SECURECOMM 2012; and a member of the Programme Board for RE 2012. She was the Demonstrations Co-Chair for ICSE 2011 and ICSE 2010 . She was the Poster and Research Demos Co-Chair for RE 2009, and the chair for the mentoring program for RE 2010. She was the programme committee co-chair of the 20th IEEE International Conference on Automated Software Engineering (ASE 2005). She has co-founded the International Workshop on Traceability in Emerging Forms of Requirements Engineering (TEFSE), the International Workshop on Service Oriented Software Engineering (IWSOSWE), and the International Workshop on Intelligent Technologies for Software Engineering (WITSE), and has been the Doctoral Symposium co-chair for ASE 2004, and Poster and Research Demo chair for RE 2004. She has co-edited special issues of journals in the area of software and service engineering, and has acted as a reviewer for several international journals.

Andrea has given tutorials and invited talks in several institutions and international conferences and workshops, and has also taugh commercial courses in several organisations. She is a member of the ACM, associated member of the IEE, a member of the Requirements Engineering Specialist Group of the British Computer Society, and member of XML UK.

Key Publications

  • I. da Silva and A. Zisman. A Framework for Trustworthy Services, 10th International Conference on Service Oriented Computing (ICSOC 2012), China, November 2012 (acceptance ratio: 17%).
  • R. Aschoff and A. Zisman. QoS-driven Proactive Adaptation of Service Composition, 9th International Conference on Service Oriented Computing (ICSOC 2011), Cyprus, December 2011 (acceptance ratio: 16%).
  • K. Mahbub, G. Spanoudakis, and A. Zisman. A Monitoring Approach for Runtime Service Discovery, Automated Software Engineering Journal, 18(2): 117-161, 2011.
  • G. Spanoudakis and A. Zisman. Discovering Services during Service-based System Design using UML, IEEE Transactions of Software Engineering, 36(3): 371-389, 2010.
  • I Siveroni, A. Zisman, G. Spanoudakis. A UML-based Static Verification Framework for Security, Requirements Engineering Journal, vol. 15, special issue on Security Requirements Engineering, pages 95-118, 2010.
  • W. Jirapanthong and A. Zisman. XTraQue: Traceability for Product Line Systems, Software and Systems Modeling Journal, DOI 10.1007/S10270-007-0066-8, pp 1619-1374 (online, September 2007), pp 1619-1366 (print, February 2009 Vol.8, N.1).
  • A. Zisman, J. Dooley, G. Spanoudakis. A Framework for Dynamic Service Discovery, 23rd IEEE/ACM International Automated Software Engineering Conference (ASE 2008), L'Aquila, Italy, September 2008 (acceptance ratio: 12%).
  • A. Zisman, K. Mahbub, and G. Spanoudakis. A Service Discovery Framework based on Linear Composition, 2007 IEEE International Conference on Services Computing (SCC 2007), USA, July 2007 (acceptance ratio: 20%).
  • G. Spanoudakis, K. Mahbub, and A. Zisman. A Platform for Context-Aware Run-time Service Discovery, 2007 IEEE International Conference on Web Services (ICWS 2007), USA, July 2007 (acceptance ratio: 18%).
  • A. Zisman and G. Spanoudakis. UML-based Service Discovery Framework, 4th International Conference on Service Oriented Computing, ICSOC 2006, Chicago, December 2006 (acceptance ratio: 16%).
  • G. Spanoudakis, A. Zisman and A. Kozlenkov. A Service Discovery Framework for Service Centric Systems, IEEE International Conference on Services Computing (SCC 2005), Florida, USA, July 2005 (acceptance ratio: 18.75%).
  • R.J. Hall and A. Zisman. Behavioral Models as Service Descriptions, 2nd International Conference on Service Oriented Computing, ICSOC 2004, New York, November 2004 (acceptance ratio: 20%).
  • R.J. Hall and A. Zisman. Validating Personal Requirements by Assisted Symbolic Behaviour Browsing, 19th IEEE International Conference on Automated Software Engineering Conference, ASE 2004, Austria, September 2004 (acceptance ratio: 13.44%).
  • A. Kozlenkov and A. Zisman. Discovering, Recording, and Handling Inconsistencies in Software Specifications, International Journal of Computer and Information Science, 5(2), pp 89-108, June, 2004.
  • R.J. Hall and A. Zisman. OMML: A Behavioural Model Interchange Format. 12th IEEE International Conference in Requirements Engineering (RE'2004), Japan, September 2004 (acceptance ratio: 27.4%).
  • G. Spanoudakis, A. Zisman, E. Pérez-Miñana, and P. Krause. Rule-based Generation of Requirements Traceability Relations, Journal of Systems and Software, 72(2), pp 105-127, 2004.
  • A. Kozlenkov and A. Zisman. Are their Design Specifications Consistent with our Requirements?, IEEE Joint International Requirements Engineering Conference - RE'02, Essen, September 2002.
  • For more information, you can access other pages related to my profile, research interest, publications, and teaching material.