Research Interests

My research interests lie in the area of Software and Systems Engineering aiming at developing methods of creating better quality Software and Systems via modelling techniques and automated software engineering. In collaboration with colleagues from academia and industry, I am currently working on:
  • Design and development of large fault tolerant Service oriented Architectures
  • Analysis of software and systems models which are captured in OMG and W3C standards
  • Automated code generation from Domain Specific Modelling Languages (DSML) via Model Driven Architecture (MDA)
  • Process mining
  • Application of formal methods to Software Engineering

For further details of my research activities, view my research page. If you are interested to perform research, especially at PhD level, in any of these areas, email me.

Conference and events

Program Committee member of

Former and current PhD students

  • Thanos Staikopolous (graduated 2008)
  • Kyriakos Anastasakis (graduated 2009)
  • Seyyed Shah
  • Mohamed Ariff Ameedeen
  • Mohammed Alodib
  • Emsaieb Geepall
  • Philip Weber

Teaching.

Click on this link for my Teaching page including link to course details, Slides, Handouts,...

Software

  • Simple Transformer (SiTra): An MDD environment written in Java created in collaboration with University of Kent. SiTra allows specification of transformations in Java and embodies a powerful engine for the execution of transformations. SiTra has been applied to a number of case studies including transformation of state machine to VHDL and OWLs to BPEL. read more
  • UML2Alloy: a tool for automated transformation of models created in UML class diagrams and OCL to Alloy models. The Alloy model can be automatically analysed, hence the approach bridges the gap between design and analysis by allowing analysis of UML models via Alloy (with the help of SAT-solvers). UML2Alloy has been applied to analysis of Web applications, manufacturing systems and security in e-commerce systems.read more
  • Time Action Lock Checker (TALC): A tool for detecting deadlocks and time-action locks in Timed Automate models via using Rational Presburger Arithmetic (RPA). TALC is created in collaboration with University of Osaka, Japan, and embodies an implementation of the fastest available RPA algorithm. read more
  • Dblue : a transparent, fault-tolerant JDBC drive for connection via Bluetooth, which facilitates development of m-commerce applications such as various types of e-wallets.