University of Leicester


Stephan Reiff-Marganiec: Research

Research Interests

My main interests are in complex software systems (telecommunications, web services, SoA, Cloud and IoT), data processing and management and dynamic adaptations of such systems through rule based approaches. In addition to performing core research in these areas, I have a particular interest in practical applications.

Note: Details on research interests are currently being updated.

Externally Funded Research Activities

I am (joint) principle investigator on the following projects:

  • EPSRC iCASE with Airbus: High Assurance Runtime Monitoring of Industrial Control Systems/SCADA
    Grant Reference: EP/N509255/1
    Duration: February 2016 - January 2020
    The objective of the research is to develop a low-cost, easy deployable monitoring infrastructure for existing, vulnerable SCADA systems that is passive with respect to the monitored components and thus does not directly influence the behaviour of the control system.
  • KTP with Synapse Information Ltd
    Grant Reference: KTP 009972
    Duration: October 2015 - September 2017
    The aim of the KTP is to develop innovative products for integrating financial data using semantic technology capable of automatically integrating data from multiple companies to create consolidated accounts and enable complex multinational financial analysis.
  • SME Support to Growth
    Funding: European Regional Development Fund
    Duration: January 2013 - June 2015
    This project aims at supporting local (Leicester City) based businesses to enhance their export potential through collaborations with the University of Leicester.
    For further details see the project webiste
  • sKTP with Comtec Translations Ltd
    Grant Reference: sKTP 1000106
    Duration: January 2010 - May 2010
    This project is inspired by some work from the inContext project and investigates the processes and ranking models in the translations industry in order to prepare for better software support for the existing processes.
  • Ad-hoc Web Applications.
    Nuffield Grant Reference: NAL/00795/G
    Duration: May 2004 - November 2006
    This project investigates ad-hoc composition of services driven by policies that end-users can formulate. The project will establish a framework for a full-scale research initiative. It will develop a prototype language for defining policies and reasoning about their interactions.
  • DSTL as Formal Semantics for the Policy Language Appel
    Royal Society International Outgoing Short Visit 2006/R2
    Duration: October 2006
  • International Conference on Feature Interaction in Telecommunications and Software Systems
    EPSRC Grant Reference: EP/D000122/1
    Duration: May 2005 - October 2005
    The International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI) has evolved out of the Feature Interaction Workshop, which has been the primary international forum for discussion and reporting on research in the feature interaction problem in telecommunications and software systems since 1992.

I am co-investigator in the following projects:

  • British Colloquium for Theoretical Computer Science (BCTCS) 2008-20010
    Grant Reference: EPSRC EP/F057164/1
    Duration: Mar 2008 - June 2010
  • SENSORIA: Software Engineering for Service-Oriented Overlay Computers
    Grant Reference: IST-2005-16004
    Duration: September 2005 - August 2009
    For further details please see the grant website:
  • inContext: Interaction and Context Based Technologies for Collaborative Teams
    Grant Reference: IST-2006-034718
    Duration: May 2006 - October 2008
    For further details please see the grant website:
  • Leg2Net: From Legacy Systems to Services in the Net
    Grant Reference: Marie-Curie TOK-IAP 3160
    Duration: June 2004 - May 2008
    For further details please see the grant website:
  • British Colloquium for Theoretical Computer Science (BCTCS) 2005-2007
    Grant Reference: EPSRC EP/C00745X/1
    Duration: Mar 2005 - June 2007
  • British Colloquium for Theoretical Computer Science (BCTCS) 2004
    Grant Reference: EPSRC GR/S82145/01
    Duration: April 2004 - May 2004

I am holder of the following Conference Support Grants:

  • LMS Computer Science Committee Grant (BCTCS 2015)
    Funding: LMS
    Duration: Sep - Dec 2015
  • LMS Computer Science Committee Grant (BCTCS 2014)
    Funding: LMS
    Duration: Mar - July 2014
  • LMS Computer Science Committee Grant (BCTCS 2013)
    Funding: LMS
    Duration: Mar - July 2013

Current PhD Students

  • Yi Hong: 2009 - 2015
    Yi is a part-time student, working as research fellow on the Sensoria project and the "Tracing Networks" grant. His interests are in application modelling and reasoning about domain data using semantic web technologies. He is currently awaiting graduation.
  • Marco Perez Hernandez: October 2013 -
    Marco is working on software architectures for the Internet of Things, allowing for easier development and use of Smart Objects.
  • Budoor Allehyani: October 2013 -
    Budoor's work is considering techniques to ensure that overall goals of workflows are preserved in the context of runtime changes to workflow instances.
  • Bbadraddin Alturki: February 2016 -
    The deatils of Bbadraddin's work will emerge over the next few month, but the work will be in the context of Internet of Things.

Past PhD Students

  • Hong Qing Yu: 2005 - 2009 [some of this was part-time]
    Hong Qing (Harry) worked on methods for automatic service selection. His thesis is entitled "Context Aware Automatic Service Selection".
    Harry graduated with his PhD in January 2010 and is now working at KMi.
  • Stephen Gorton: 2005 - 2011 [some of this was part-time]
    Stephen was working on policies for service oriented computing. His thesis is entitled "Policy-driven Reconfiguration of Service-targeted Business Processes".
    Stephen graduated with his PhD in January 2012.
  • Noor Jehan Rajper: 2007 - 2012
    Noor is developing a formal modelling language for Virtual Organistions. Her thesis is entitled "VOML: Virtual Organization Modelling Language".
    Noor has graduated with her PhD in July 2012.
  • Zohra Adnan Khowaja: 2008 - 2012
    Zohra is investigating structured domain specialisations for Policy Languages in the area of Service Oriented Computing and their use for policy conflict detection. Her thesis is entitled "Structural Domain Modelling for Policy Language Specialization with Conflict Analysis".
    Zohra has graduated with her PhD in July 2012.
  • Manar Ali: 2006 - 2013 (part-time)
    Manar has considering long-running business transactions for service oriented computing.
    Her thesis is entitled "Maintaining Transactional Integrity in Long Running Workflow Services: A Policy-Driven Framework".
    Manar has graduated with her PhD in January 2014.
  • Kamran Pathan: 2008 - 2013
    Kamran has investigated Software Sensors as a mechanism to gather activity information through users' web service usage. His thesis is entitled "Activity Awareness in Context-aware Systems using Software Sensors".
    Kamran has graduated with his PhD in January 2014.
  • Marcel Tilly: 2009 - 2015
    Marcel is a part-time student, working for EMIC in Aachen when not studying. His interest is in Web 2.0+ technologies, combining the social element with service selection mechanisms. His thesis is entitled "Fast Data Processing in Hyper Scale Systems".
    Marcel has graduated with his PhD in January 2016.

Editorial Boards


Past Research Positions

  • Research Assistant on the HFIG project (1998-2001).
    HFIG was addressing the problems of detecting and resolving feature interactions between telecommunications services. In particular the development of a hybrid (i.e. off-line and on-line) and adaptive approach to detecting and resolving feature interactions was investigated. The work on the project ranged from formal modelling and reasoning to the development of software for managing interactions between new and legacy services. The research was conducted in partnership with Citel Technologies Ltd and Mitel Telecomms.
  • Research Fellow on the ACCENT project (2001-2003).
    ACCENT investigates the use of policies in a call control context. Policies are used in systems managament for example for access control, but they have not been used much for call control. The ACCENT project is in colaboration with Mitel Telecoms Ltd and the Universities of Ottawa and Waterloo in Canada. Details of the collaborators can be found on the COMPASS website.

Professional Bodies

  • I am a fellow of the BCS, chartered status (FBCS CITP CSci).
  • I am professional member of the ACM and a member of IEEE.

Author: Stephan Reiff-Marganiec (, T: +44 (0) 116 252 2603.
© University of Leicester 31-May-2005. Last modified: 17th November 2016, 21:21:57.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.