Behzad Bordbar

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