Behzad BOrdbar

 

Research Interests

 

• Security

  • Automated detection of malicious behavior in Cloud

  • Modeling, Design and Analysis of secure systems

  • Spatio Temporal Access Control for Cyber-Physical Systems

• Model Driven Architecture and software tools

  • Application of MDA to SOA and e-business system

  • Domain Specific Languages for SOA and Cloud

  • Implementation of Model Transformations (SiTra) and Testing

  • UML2Alloy: Analysis of UML model via Alloy (extension to Petri nets)

• Fault detection in Telecom Services

  • Fault Diagnosis and Monitoring in SOA

• Modeling, design and control of complex systems

  • System modeling

  • Quality of Service: Modelling, Design and Analysis (Model Checking)

  • Hybrid System and Control (Agile Manufacturing Systems)
  • MSc and PhD (Functional analysis and Topology)