Behzad Bordbar

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 8

Top Topics

Malware Detection

Constraint Solvers

Top Venues

ICISSP (Revised Selected Papers)

IEEE Cloud Comput.

Publications

Philip Weber, João Bosco Ferreira Filho, Behzad Bordbar, Mark Lee, Ian Litchfield, Ruth Backman
Automated conflict detection between medical care pathways. J. Softw. Evol. Process. 30 (7) (2018)
Imran Khan, Zahid Anwar, Behzad Bordbar, Eike Ritter, Habib-ur Rehman
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds. IEEE Trans. Cloud Comput. 6 (4) (2018)
Nada Alruhaily, Tom Chothia, Behzad Bordbar
A Better Understanding of Machine Learning Malware Misclassifcation. ICISSP (Revised Selected Papers) (2017)
Nada Alruhaily, Behzad Bordbar, Tom Chothia
Towards an Understanding of the Misclassification Rates of Machine Learning-based Malware Detection Systems. ICISSP (2017)
Yi Chen, Behzad Bordbar
DRESS: a rule engine on spark for event stream processing. BDCAT (2016)
Ahmed Al-Ajeli, Behzad Bordbar
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems. WODES (2016)
Marwah M. Alansari, Behzad Bordbar
An Off-line Analytical Approach to Identify Suitable Management Policies for Autonomic Cloud Architecture. CLOSER (2) (2016)
Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD (2016)
Marwah M. Alansari, André Almeida, Nelly Bencomo, Behzad Bordbar
CloudMPL: A Domain Specific Language for Describing Management Policies for an Autonomic Cloud Infrastructure. CLOSER (2015)
John T. Saxon, Behzad Bordbar, Keith Harrison
Introspecting for RSA Key Material to Assist Intrusion Detection. IEEE Cloud Comput. 2 (5) (2015)
Nada Alruhaily, Behzad Bordbar, Tom Chothia
Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection. TrustCom/BigDataSE/ISPA (1) (2015)
John T. Saxon, Behzad Bordbar, Keith Harrison
Efficient Retrieval of Key Material for Inspecting Potentially Malicious Traffic in the Cloud. IC2E (2015)
John T. Saxon, Behzad Bordbar, David H. Akehurst
Opening the Black-Box of Model Transformation. ECMFA (2015)
Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
A Logical Approach for Behavioural Composition of Scenario-Based Models. ICFEM (2015)
Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen
Matching and Merging Scenarios Automatically with Alloy. MODELSWARD (Revised Selected Papers) (2014)
Adrian L. Shaw, Behzad Bordbar, John T. Saxon, Keith Harrison, Chris I. Dalton
Forensic Virtual Machines: Dynamic Defence in the Cloud via Introspection. IC2E (2014)
I. Made Murwantara, Behzad Bordbar
A Simplified Method of Measurement of Energy Consumption in Cloud and Virtualized Environment. BDCloud (2014)
Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee
OCL usability: a major challenge in adopting UML. RAISE (2014)
Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles
Automated Composition of Sequence Diagrams via Alloy. MODELSWARD (2014)
Marwah M. Alansari, Behzad Bordbar
Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-Nets. ICCAC (2014)
Behzad Bordbar, Ahmed Al-Ajeli, Mohammed Ibrahim Alodib
On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems. ICTAI (2014)
I. Made Murwantara, Behzad Bordbar, Leandro L. Minku
Measuring Energy Consumption for Web Service Product Configuration. iiWAS (2014)
Phil Weber, Behzad Bordbar, Peter Tiño
A Framework for the Analysis of Process Mining Algorithms. IEEE Trans. Syst. Man Cybern. Syst. 43 (2) (2013)
Phil Weber, Behzad Bordbar, Peter Tiño
A principled approach to mining from noisy logs using Heuristics Miner. CIDM (2013)
Emsaieb Geepalla, Behzad Bordbar, Xiaofeng Du
Spatio-temporal Role Based Access Control for Physical Access Control Systems. EST (2013)
Marwah M. Alansari, Behzad Bordbar
An Architectural Framework for Enforcing Energy Management Policies in Cloud. IEEE CLOUD (2013)
Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee
SBVR vs OCL: A Comparative Analysis of Standards CoRR (2013)
Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar
Resolving Syntactic Ambiguities in Natural Language Specification of Constraints. CICLing (1) (2012)
Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee, Kyriakos Anastasakis
NL2 Alloy: A Tool to Generate Alloy from NL Constraints. J. Digit. Inf. Manag. 10 (6) (2012)
Emsaieb Geepalla, Behzad Bordbar, Joel Last
Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. MEDI (2012)
Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar, Ahsan Ali Chaudhri
Addressing Semantic Ambiguities in Natural Language Constraints. FLAIRS Conference (2012)
Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar
Translating natural language constraints to OCL. J. King Saud Univ. Comput. Inf. Sci. 24 (2) (2012)
Imran Sarwar Bajwa, Behzad Bordbar, Kyriakos Anastasakis, Mark G. Lee
On a chain of transformations for generating alloy from NL constraints. ICDIM (2012)
Keith Harrison, Behzad Bordbar, Syed T. T. Ali, Chris I. Dalton, Andrew P. Norman
A Framework for Detecting Malware in Cloud by Identifying Symptoms. EDOC (2012)
Mohammed Ibrahim Alodib, Behzad Bordbar
A modelling approach to Service oriented Architecture for on-line diagnosis. Serv. Oriented Comput. Appl. 6 (4) (2012)
Phil Weber, Peter Tiño, Behzad Bordbar
Process Mining in Non-Stationary Environments. ESANN (2012)
Emsaieb Geepalla, Behzad Bordbar
On formalizing of inconsistency and semi-consistency in spatio-temporal access control. ICDIM (2012)
Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar
Semantic Analysis of English Specification of OCL. FLAIRS Conference (2012)
Khalid Ashraf, Rachid Anane, Behzad Bordbar
File Management in a Mobile DHT-based P2P Environment. AINA (2012)
Emsaieb Geepalla, Behzad Bordbar, Kozo Okano
Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA (2012)
Kozo Okano, Behzad Bordbar, Takeshi Nagaoka
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. ICNC (2011)
Hina Afreen, Imran Sarwar Bajwa, Behzad Bordbar
SBVR2UML: A Challenging Transformation. FIT (2011)
Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar
SBVR Business Rules Generation from Natural Language Specification. AAAI Spring Symposium: AI for Business Agility (2011)
Russell Beale, Behzad Bordbar
Pattern Tool Support to Guide Interface Design. INTERACT (2) (2011)
Phil Weber, Behzad Bordbar, Peter Tiño
Real-Time Detection of Process Change using Process Mining. ICCSW (2011)
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane
Model interoperability via Model Driven Development. J. Comput. Syst. Sci. 77 (2) (2011)
Phil Weber, Behzad Bordbar, Peter Tiño
A Principled Approach to the Analysis of Process Mining Algorithms. IDEAL (2011)
Krzysztof Sledziewski, Behzad Bordbar, Rachid Anane
A DSL-Based Approach to Software Development and Deployment on Cloud. AINA (2010)
Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee
OCL Constraints Generation from Natural Language Specification. EDOC (2010)
Geri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee
Verification and Trade-Off Analysis of Security Properties in UML System Models. IEEE Trans. Software Eng. 36 (3) (2010)
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9 (1) (2010)
Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed
On automated generation of Diagnosers in Fault tolerant Service oriented Architectures. J. Digit. Inf. Manag. 7 (6) (2009)
Mohammed Ibrahim Alodib, Behzad Bordbar
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures. ECOWS (2009)
Gareth Howells, Behzad Bordbar, David H. Akehurst
Model Transformation using Adaptive Systems. ICSOFT (1) (2009)
Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar
Ensuring spatio-temporal access control for real-world applications. SACMAT (2009)
Rachid Anane, Steven Marrocco, Behzad Bordbar
Trusted P2P Group Interaction. CSA (2009)
Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar
From UML to Alloy and back again. MoDeVVa@MoDELS (2009)
Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb
An aspect-oriented methodology for designing secure applications. Inf. Softw. Technol. 51 (5) (2009)
Steen Brahe, Behzad Bordbar
A methodology for domain-specific business process modelling and implementation. Int. J. Bus. Process. Integr. Manag. 4 (1) (2009)
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane
A Model Driven Approach to the Analysis of Timeliness Properties. ECMDA-FA (2009)
Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar
From UML to Alloy and Back Again. MoDELS (Workshops) (2009)
Guadalupe Ortiz, Behzad Bordbar
Aspect-Oriented Quality of Service for Web Services: A Model-Driven Approach. ICWS (2009)
Rachid Anane, Sukhvir Dhillon, Behzad Bordbar
Stateless data concealment for distributed systems. J. Comput. Syst. Sci. 74 (2) (2008)
Mohammed Ibrahim Alodib, Behzad Bordbar
A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study. EDOCW (2008)
Guadalupe Ortiz, Behzad Bordbar, Juan Hernández Núñez
Evaluating the Use of AOP and MDA in Web Service Development. ICIW (2008)
George Jiroveanu, René K. Boel, Behzad Bordbar
On-Line Monitoring of Large Petri Net Models Under Partial Observation. Discret. Event Dyn. Syst. 18 (3) (2008)
Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. ICDIM (2008)
Klaus D. McDonald-Maier, David H. Akehurst, Behzad Bordbar, W. Gareth J. Howells
Maths Vs (Meta)Modelling - Are We Reinventing the Wheel? ICSOFT (SE/MUSE/GSDCA) (2008)
Guadalupe Ortiz, Behzad Bordbar
Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach. ICWS (2008)
Mohamed Ariff Ameedeen, Behzad Bordbar
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. EDOC (2008)
Juliana Küster Filipe Bowles, Behzad Bordbar
A Formal Model for Integrating Multiple Views. ACSD (2007)
David H. Akehurst, W. Gareth J. Howells, Klaus D. McDonald-Maier, Behzad Bordbar
Compiling UML State Diagrams into VHDL: An Experiment in Using Model Driven Development. FDL (2007)
Behzad Bordbar, Gareth Howells, Michael Evans, Athanasios Staikopoulos
Model Transformation from OWL-S to BPEL Via SiTra. ECMDA-FA (2007)
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
UML2Alloy: A Challenging Model Transformation. MoDELS (2007)
David H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier
SiTra: Simple Transformations in Java. MoDELS (2006)
Rachid Anane, Sukhvir Dhillon, Behzad Bordbar
A Distributed Scheme for Secure Data Access. AINA (2) (2006)
Steen Brahe, Behzad Bordbar
A Pattern-Based Approach to Business Process Modeling and Implementation in Web Services. ICSOC Workshops (2006)
Rachid Anane, Behzad Bordbar, Fanyu Deng, Robert J. Hendley
A Web Services Approach to Learning Path Composition. ICALT (2005)
Behzad Bordbar, Kyriakos Anastasakis
UML2ALLOY: A tool for lightweight modelling of discrete event systems. IADIS AC (2005)
Athanasios Staikopoulos, Behzad Bordbar
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services. ECMDA-FA (2005)
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, Gerald Weber
Integrated Model-Based Software Development, Data Access, and Data Migration. MoDELS (2005)
Behzad Bordbar, Kyriakos Anastasakis
MDA and Analysis of Web Applications. TEAA (2005)
Behzad Bordbar, Rachid Anane, Kozo Okano
An Evaluation Mechanism for QoS Management in Wireless Systems. ICPADS (2) (2005)
Behzad Bordbar, Rachid Anane
An Architecture for Automated QoS Resolution in Wireless Systems. AINA (2005)
Behzad Bordbar, Kozo Okano
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. FATES (2004)
Behzad Bordbar, Athanasios Staikopoulos
On Behavioural Model Transformation in Web Services. ER (Workshops) (2004)
Behzad Bordbar, Kozo Okano
Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM (2003)
Behzad Bordbar, John Derrick, A. Gill Waters
A UML Approach to the Design of Open Distributed Systems. ICFEM (2002)
Behzad Bordbar, John Derrick, A. Gill Waters
Using UML to specify QoS constraints in ODP. Comput. Networks 40 (2) (2002)
David H. Akehurst, Behzad Bordbar
On Querying UML Data Models with OCL. UML (2001)
Luisa Giacomini, Behzad Bordbar, David J. Holding
Hybrid sliding mode control for a set of interconnected nonlinear components. CDC (2000)
René K. Boel, Behzad Bordbar, Geert Stremersch
Controlled timed Petri nets: equivalence relations, model reduction. SMC (1998)