Following are my research (conferences and Journals) publications:
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Cloud
I. Khan, Z. Anwar, B. Bordbar, E. Ritter, and H. Rehman, accepted for publication in IEEE Transactions On
Cloud Computing, 2016.
Fourier-Motzkin Method for Failure Diagnosis in Petri Net Models of Discrete Event Systems
A. Al-Ajeli and B. Bordbar, WODES 2016
Weaving True-Concurrent Aspects using Constraint Solvers
J. Bowles, B. Bordbar, and M. Alwanain, accepted for publication in ACSD 2016.
An Off-line Analytical Approach To Identify Suitable Management Policies For Autonomic Cloud Architecture
M. M. Alansari and B. Bordbar, accepted for publication in CLOSER 2016.
Matching and Merging Scenarios Automatically with Alloy
J. Bowles, M. Alwanain, B. Bordbar and Y. Chen, Model-Driven Engineering and Software Development
Volume 506 of the series Communications in Computer and Information Science, pages 100-116, 2016.
Efficient Retrieval of Key Material for Inspecting Potentially
Malicious Traffic in the Cloud
J. Saxon, B. Bordbar and K. Harrison, accepted for publication in
CloudMPL: A Domain Specific Language For Describing Management Policies For An Autonomic Cloud Infrastructure M. M. Alansari, A. Almeida, N. Bencomo and B. Bordbar, accepted for publication in CLOSER 2015.
Opening the Black-Box of Model Transformation J. Saxon, B. Bordbar, D. Akehurst, accepted for publication in ECMFA 2015.
Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection N. Alruhaily, B. Bordbar, and T. Chothia, accepted for publication in IEEE TrustCom2015
A logical approach for behavioural composition of scenario-based models J. K. F. Bowles, B. Bordbar and M. Alwanain Proceeding of the 17th International Conference on Formal Engineering Methods, 9407, pp.252-269, 2015.
Introspecting for RSA Key Material to Assist Intrusion Detection
J. Saxon, B. Bordbar and K. Harrison, IEEE Journal on Cloud Computing, Special Issue on Cloud Security,
Pages 30-38, 2015.
Forensic Virtual Machines: Dynamic defence in the Cloud via
Introspection, A. L. Shaw, B. Bordbar, J. Saxon, K. Harrison,
C. I. Dalton, Proceedings of IEEE International Conference on Cloud
Pages 303-310, 2014.
Automated Composition of Sequence Diagrams via Alloy, M. Alwanain, B.Bordbar, J. Bowles, Modelwards 2014
usability: a major challenge in adopting UML,
I. S. Bajwa, B. Bordbar, and M. Lee, In Proceedings of the 3rd
International Workshop on Realizing Artificial Intelligence
in Software Engineering (RAISE 2014). ACM, New York, NY, USA, 32-37
Modelling and Analysis of Migration Policies for Autonomic
Management of Energy Consumption in Cloud via Petri-Nets
M. M. Alansari and B. Bordbar, accepted for publication in The
International Conference on Cloud and Autonomic Computing (CAC 2014)
Diagnosis of Violations of Constraints in Petri Net Models of
Discrete Event Systems
, B. Bordbar, A. Al-Ajeli and M. Alodib, accepted for
publication in IEEE International Conference on Tools with
Artificial Intelligence (ICTAI)
Simplified Method of Measurement of Energy Consumption in Cloud
and Virtualized Environment
, I. M. Murwantara and B. Bordbar
accepted for publication in SustainCom (2014)
Measuring Energy Consumption for Web Service Product Configuration
, I. M. Murwantara, B. Bordbar and L. L. Minku
accepted for publication in IIWAS (2014)
A Model Driven Analysis of the 802.11 CSMA/CA Protocol through
M. A. Ameedeen and B. Bordbar accepted for publication ijsssti
Automated Prevention of Failure in Complex and Large Systems: Fighting Fire with Fire.B. Bordbar and P. Weber International Journal of informatics Society (IJIS), Vol 5., 2013.
Principled Approach to Mining From Noisy Logs Using Heuristics
P. Weber, B. Bordbar and P. Tino. Computational Intelligence and
Mining (CIDM), IEEE Symposium on Digital pp 120 - 126, 2013
An Architectural Framework For Enforcing Energy Manamgement Policies in Cloud, M. Alansari and B. Bordbar, IEEE Sixth International Conference Cloud Computing (CLOUD), Page(s): 717 - 724, 2013
AC2Uppaal: A Tool for automatic Generation of Timed Automata forAnalysis of Cyber-Physical Systems. E. Geepalla, B. Bordbar, K. Okano and Seyedhamed Seyedali. Proceedings of the World Congress on Internet Security (WorldCIS-2013). IEEE, 2013.
Spatio-Temporal Role Based Access Control for Physical Access Control Systems. E. Geepalla, B. Bordbar, and X. Du. Proceedings of the Fourth IEEE International Conference on Emerging Security Technologies (EST-2013), pages 39-42, 2013.
A modelling Approach to Service oriented Architecture for On-line Diagnosis, M. Alodib and B. Bordbar, Journal of Service Oriented Computing and Applications, vol. 6, pages 303-319, 2012
A Framework for the Analysis of Process Mining Algorithms, Ph. Weber, B. Bordbar and P. Tino, IEEE Transactions on Systems, Man and Cybernetics, vol. 43 (2), pages 303 - 317, 2012.
Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy, E. Geepalla, B. Bordbar and J. Last. Proceeding of 2nd International Conference on Model & Data Engineering (MEDI’2012). Lecture Notes in Computer Science, vol. 7602, pages 67-78, 2012
framework for detecting malware in Cloud by identifying
K. Harrison, B. Bordbar, S.T.T. Ali, C. Dalton and A. Norman. Proceeding of the 16th IEEE International EDOC pages 164-172 , 2012. (nominated for the best paper award)
Complex Business Process Models, Ph. Weber, P. Taylor, B.
Majeed, B. Bordbar. Proceeding of the IEEE International
Conference on Industrial Engineering and Engineering Management,
File Management in a Mobile DHT-based P2P Environment, K. Ashraf, R. Anane and B. Bordbar, Proceeding of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA12), pages 415-422, 2012.
Resolving Syntactic Ambiguities in NL Specification of Constraints Using UML Class Model, I. Bajwa, M. Lee and B. Bordbar, in Computational Linguistics and Intelligent Text Processing. Lecture Notes in Computer Science, vol. 7181, pages 178-187, 2012.
On A Chain of Transformations for Generating Alloy from NL Constraints, I. Bajwa, B. Bordbar, K. Anastasakis and M. Lee. Seventh IEEE International Conference on Information Management (ICDIM), pages 93-98 2012.
An Automated Approach to Detect Inconsistency and Semi-consistency Spatio- Temporal Role Based Access Control Speci cation. E. Geepalla and B. Bordbar. Journal of Data Processing, Vol 2., September 2012.
On formalizing of Inconsistency and Semi-consistency in Spatio-Temporal Access Control E. Geepalla and B. Bordbar. Accepted for publication in the Seventh IEEE International Conference on Information Management (ICDIM), 2012.
Verification of Spatio-Temporal Role Based Access Control using Timed Automata. E. Geepalla, B. Bordbar K. Okano. Accepted for publication in IEEE International Workshop on Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-NESEA 2012)
Model Interoperability via Model Driven Development, M. A. Ameedeen, B. Bordbar and R. Anane, Journal of Computer and System Sciences, Vol. 77, Issue 2, Pages 332-347, 2011.
A Principled Approach to the Analysis of Process Mining Algorithms Ph. Weber, B. Bordbar and P. Tino, 12th International Conference in Intelligent Data Engineering and Automated Learning, 474-481, 2011
Quality of Service and
Extra-Functional Properties for Web Services: A
Model-Driven Approach, G. O. Guadalupe and B. Bordbar,
chapter 3 of Service Life Cycle Tools and Technologies:
Methods, Trends and Advances, 35-64, 2011
SBVR vs OCL: A Comparative Analysis of Standards, I. Bajwa, B. Bordbar and M. Lee, Proceeding of the 14th IEEE International Multitopic (INMIC), 261-266, 2011
Modelling: Foundation and Applications, R. France, J.M. Kuester, B. Bordbar, R. F. Paige, Lecture Notes in Computer Science, Volume 6698, 2011
SBVR Business Rules Generation from Natural Language Specification, I. S. Bajwa, M. G. Lee and B. Bordbar, Proceedings of AAAI Spring Symposium 2011 - Artificial Intelligence for Business Agility (AI4BA), pages 2-8, 2011
Applying Protocol Service for the Monitoring of Business Process, X. Du, B. Bordbar, M. Alodib, and B. Majeed, IEEE GCC Conference, 633-636, 2011.
A framework for comparing Process Mining Algorithms, Ph. Weber, B. Bordbar, P. Tino and B. Majeed, IEEE GCC Conference, 625-628, 2011.
Pattern Tool Support to Guide Interface Design, R. Beale and B. Bordbar, & Human-Computer Interaction (INTERACT 2011) Lecture Notes in Computer Science, Vol. 6947, 359-375, 2011
SBVR2UML: A Challenging Transformation, H. Afreen, I. Bajwa, B. Bordbar, Frontiers of Information Technology (FIT), pages 33 - 38, 2011
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton Pattern K. Okano, B. Bordbar and T. Nagaoka, 3rd International Workshop on Parallel and Distributed Algorithms and Applications, 235-241, 2011.
Real-Time Detection of Process Change using Process Mining, P. Weber, B. Bordbar and P. Tino, 1st Imperial College Computing Student Workshop (ICCSW 2011), pp. 108-114, 2011.
Verification and Trade-off Analysis of Security Properties in UML System Models, G. Georg, K. Anastasakis, B. Bordbar, S. H. Houmb, I. Ray, M. Toahchoodee, accepted for publication in IEEE Transactions on Software Engineering, Volume 36 no. 3, Pages 338 - 356, 2010
A DSL-based Approach to Software Development and Deployment on Cloud, K Sledziewski, B Bordbar and R Anane, accepted for publication in Proceeding of 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010), Pages 441-421, 2010
Balancing Security and Performance Properties During System Architectural Design, S-H Houmb, G. Georg, D. C. Petriu, B. Bordbar, I. Ray, K. Anastasakis and R. France, To appear as a book chapter in Software Engineering for Secure Systems: Industrial and Research Perspectives, 2010
OCL Constraints Generation from Natural Language Specification I. Bajwa, B. Bordbar and M. Lee. Proceeding of IEEE 14th Enterprise Distributed Object Computing Conference (EDOC) Pages 204-213, 2010
From UML to Alloy and Back Again
S. M. A. Shah, K. Anastasakis, and B. Bordbar
Lecture Notes in Computer Science vol. 6002 , pages 158-171, 2010 (extended version of an earlier paper)
A model-based approach to Fault diagnosis in Service oriented Architectures, M. Alodib and B. Bordbar, Proceeding of the 7th IEEE European Conference on Web Services (ECOWS 09) pages 129-139, 2009
An aspect-oriented methodology for designing secure applications, G. Georg, I. Ray, K. Anastasakis, B. Bordbar, M. Toahchoodee, and S. H. Houmb, Journal of Information and Software Technology, Volume 51, Issue 5, Pages 846-864, 2009
On automated generation of Diagnosers in Fault tolerant Service oriented Architectures, M. Alodib, B. Bordbar, B. Majeed, Journal of Digital Information Management, pages 344-350, Volume 7 Issue 6, 2009
A Model Driven Approach to the Analysis of Timeliness Properties, M. A. Ameedeen, B. Bordbar and R. Anane, European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA 09), LNCS, Vol. 5562, pages 221-236, 2009
Ensuring Spatio-Temporal Access Control for Real-World Applications, M. Toahchoodee, I. Ray, K. Anastasakis, G. Georg and B. Bordbar, Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, Stresa, Italy, June 2009.
A methodology for domain-specific business process modelling and implementation, S. Brahe and B. Bordbar, Int. J. Business Process Integration and Management, Vol. 4, No. 1, Pages 5-17, 2009
Trusted P2P Group Interaction, R. Anane, S. Marrocco and B. Bordbar, 2nd International Conference on Computer Science and its Applications (CSA 09), IEEE Publication, Jeju, Korea, December 2009.
From UML to Alloy and Back, S.M.A. Shah, K.Anastasakis, B. Bordbar, 6th Workshop on Model Design, Verification and Validation (MODEVVA 09) published in ACM International Conference Proceeding Series; Vol. 413, pages 1-10, 2009 (won the best paper award)
Model Transformation Using Adaptive Systems, G. Howels, B Bordbar and D. H. Akehurst, Proceeding of the fourth International Conference on Software and Data Technologies (ICSOFT 2009) pages 133-138, 2009
On-line monitoring of large Petri Net models under partial observation, G. Jiroveanu, R. Boel and B. Bordbar, accepted for publication in Journal of Discrete Event Dynamic Systems, Volume 18, Number 3, pages 323-354, 2008
Stateless data concealment for distributed systems, R. Anane, S. Dhillon and B .Bordbar, Journal of Computer and System Sciences, Vol. 74(2), pages 243-254, 2008
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets, M. A.Ameedeen, B.Bordbar, Proceeding of 12th IEEE International conference on Enterprise Distributed Object Computing (EDOC) pages 213-221, 2008
A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study, M.Alodib and B. Bordbar, accepted for publication in 3rd International Workshop on Modeling, Design, and Analysis for Service-oriented Architectures (MDA4SOA)
On challenges of Model Transformation from UML to Alloy, K. Anastasakis, B. Bordbar, G. Georg, and I Ray, Journal of System and Software Modelling, 2008
Using traceability for reverse instance transformations with SiTra, S. Shah, K. Anastasakis, and B. Bordbar. In Design and Architectures for Signal and Image Processing (DASIP 2008). Special Session on Formal Models, Transformations and Architectures for Re liable Embedded System Design., Bruxelles, Belgium, 2008.
Maths vs (Meta)Modelling: Are We Reinventing the Wheel?, D.H. Akehurst, W.G. Howells, B. Bordbar, K.D. McDonald-Maier, Third International Conference on Software and Data Technologies (ICSOFT 2008), Porto, Portugal
Evaluating the Use of AOP and MDA in Web Service Development, Guadalupe Ortiz, Behzad Bordbar, Juan Hernández.3rd International Conference on Internet and Web Applications and Services.
spect-Oriented Quality of Service for Web Services: A Model-Driven Approach, G. Ortiz, B. Bordbar in Web Services, 2009. ICWS 2009. IEEE International Conference on, 2009, pp. 559-566.
A A model driven approach to the design and implementing of fault tolerant Service Oriented Architectures. M. Alodib B. Bordbar and B. Majeed. Proceeding of the third IEEE International Conference on Information Management (ICDIM), pages 464-469, 2008
A formal model for integrating multiple views, J. K. F. Bowles and B. Bordbar, Seventh International Conference onInternational Conference on Application of Concurrency to System Design (ACSD), pages 71-79, 2007
Model Transformation from OWL-S to BPEL via SiTra, B Bordbar, G. Howells, M. Evans and T. Staikopoulos, European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA), LNCS, Vol. 4530, pages 43-58, 2007
An Experiment in Using Model Driven Development: Compiling UML State Diagrams into VHDL, David Akehurst, Gareth Howells, Klaus McDonald-Maier, Behzad Bordbar, Forum on Specification and Design Languages (FDL 07) , 2007
UML2Alloy: A Challenging Model Transformation, K. Anastasakis, B. Bordbar, G. Georg, and I Ray, ACM/IEEE 10TH International Conference on Model Driven Engineering Languages and Systems, LNCS, Vol. 4735, pages 436-450, 2007
Analysis of Model Transformations via Alloy, K. Anastasakis, B. Bordbar and J. M. Kuster, Model-Driven Engineering, Verification and Validation (MoDeVVa'07) Associated with MoDELS’07
SiTra: Simple Transformations in Java, D.H. Akehurst, B. Boardbar, M. Evans, W.G.J. Howells, K.D. McDonald-Maier, ACM/IEEE 9TH International Conference on Model Driven Engineering Languages and Systems,LNCS, Vol. 4199, pages 351-364, 2006
A Pattern-based Approach to Business Process Modeling and Implementation in Web Services, S. Brahe and B. Bordbar, Accepted for publication in "Modeling the SOA- Business perspective and model mapping" in conjunction with ICSOC, 2006
A Timed Auotmata Approach to QoS Resolution, B. Bordbar, R. Anane and K. Okano, International Journal of Simulation, Systems, Science and Technology, Vol. 7, No 1, pages 46-54, 2006 An extended version of this
Bridging Technical Spaces With A Metamodel Refinement Approach. A BPEL To PN Case Study, A. Staikopoulos and B. Bordbar, accepted for publication in Electronic Notes in Theoretical Computer Science, 2006. An extended version of this.
A Distributed Scheme for Secure Data Access, R. Anane, S. Dhillon and B. Bordbar, Proceeding of IEEE workshop on Web and Mobile Information Systems (WAMIS 06) pages 267-271, 2006.
An Evaluation Mechanism for QoS Management in Wireless Systems, B. Bordbar, R. Anane and K.Okano, International Workshop on Performance Modelling in Wired, Wireless, Mobile Networking and Computing 2005, In Proc. of ICPADS 2005 Vol.II pp.150-154 (Jul. 2005).
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services, A. Staikopoulos and B. Bordbar, Proceeding of the First European Conference on Model Driven Architecture, Lecture notes in Computer Science, Vol 3748, pages 145-159, 2005
A Metamodel Refinement Approach for Bridging Technological Spaces, a Case Study, A. Staikopoulos and B. Bordbar, 4th Workshop in Software Model Engineering (WiSME 2005) - in conjunction with MoDELS/UML 2005
MDA and Analysis of Web Applications, B. Bordbar and K. Anastasakis, Proceeding of VLDB Workshop on Trends in Enterprise Application Architecture (TEAA 2005) , Lecture notes in Computer Science, Vol 3888, pages 44-55, 2005
Integrated Model-Based Software Development, Data Access and Data Migration. B. Bordbar, D. Draheim, M. Horn, I. Schulz, and G. Weber. Proceeding of MoDELS/UML 2005 - ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Lecture notes in Computer Science, Vol 3713, pages 382-396, 2005
UML2Alloy: A tool for lightweight modelling of Discrete Event Systems, B. Bordbar, K. Anastasakis In: Proc. IADIS International Conference in Applied Computing 2005, Algarve, Portugal, (2005) 209-216
Using modelling to put HCI design patterns to work, R. Beale and B. Bordbar in HCI International. 11th International Conference on Human-Computer Interaction Lawrence Erlbaum Associates, Inc (LEA). Las Vegas, Nevada, USA, pp. (to appear).
An Architecture for Automated QoS Resolution in Wireless Systems, B. Bordbar and R. Anane, Proceeding of the IEEE AINA 2005, International Workshop on Web and Mobile Information Systems (WAMIS), March 2005, Taipei, Taiwan, 774-779
A Web Services Approach to Learning Path Composition, R. Anane, B. Bordbar, F. Deng and R.J. Hendley. The 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005), Kaohsiung, Taiwan, July 2005.
On Behavioural Model Transformation in Web Services . B. Bordbar and A. Staikopoulos. Conceptual Modelling for Advanced Application Domain, Proceeding of the eCOMO, LNCS Volume3289, pp667-678, 2004
Modelling and Transformation of Behavioural aspects of Web Services, B. Bordbar and A. Staikopoulos. 3rd Workshop in Software Model Engineering (WiSME) inc conjunction with UML 2004
Automated Generation of Metamodels for Web service Languages. B. Bordbar and A. Staikopoulos. European Workshop on MDA, University of Kent, 2004
Testing Deadlock-freeness in Real-time Systems; A Formal Approach. B. Bordbar and K. Okano. 4th International Workshop on Formal Approaches to Testing of Software, FATES 2004, LNCS 3395, pp.95-109 (Sep. 2004).
Verification of Timeliness QoS Properties in Multimedia Systems . B. Bordbar and K. Okano, Proceeding of 5th International Conference on Formal Engineering Methods, LNCS Vol. 2885, pp 523-540, 2003
A UML approach to the design of open distributed systems. B. Bordbar, J. Derrick, and G. Waters. In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 561-572. Springer, November 2002.
Using UML to specify QoS constraints in ODP. B. Bordbar, J. Derrick, and A. G. Waters. Computer Network and ISDN systems, 40, pages 279-304, 2002
Design Support for Distributed Systems: DSE4DS. D.H. Ake hurst, B.Bordbar, J.Derrick, and A.G.Waters. In J.Finney, M.Haahr, and A.Montressor, editors, Proceedings of the 7th Cabernet Radicals Workshop, October 2002.
Automatic Normalisation via Metamodelling. D.H.Akehurst, B.Bordbar, P.J.Rodgers, and N.T.G.Dalgliesh. In ASE 2002 Workshop on Declarative Meta Programming to Support Software Development, September 2002.
On Querying UML data models with OCL. D.H.Akehurst and B.Bordbar. In <<UML>> 2001 "Modeling Languages, Concepts and Tools", October 2001.
Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. L. Giacomini, B. Bordbar, and D. J. Holding. In 39th IEEE Conference on Decision and Control, Sydney Convention & Exhibition Centre, December 2000.
Hybrid Control Systems: a Design Case Study. B. Bordbar, L. Giacomini, and D. J. Holding. In IEEE CCA/CACSD, Alaska, USA, September 2000.
UML and Petri Nets for Design and Analysis of Distributed Systems. B. Bordbar, L. Giacomini, and D. J. Holding. In IEEE CCA/CACSD, Alaska, USA, September 2000.
Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. B. Bordbar, L. Giacomini, and D. J. Holding. In R. Boel and G. Stremersch, Proceedings of the 6th International Workshop on Discrete Event Systems, Ghent, Belgium, August 2000.
Design of Distributed Manufacturing Systems using UML and Petri Nets. B. Bordbar, L. Giacomini, and D. J. Holding. In Proceedings of 6th International Federation of Automatic Control (IFAC), Workshop on Algorithms and Architectures for Real-Time Control, pages 91-96, Palma de Mallorca, Spain, May 2000.
A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. B. Bordbar, L. Giacomini, and D. J. Holding. In IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, pages 31-33, London, March 2000.
The set of idempotents in the weakly almost periodic compactification of the integers is not closed. B. Bordbar and J. S. Pym. Trans Amer Math Soc, (352):823-842, February 2000. (Featured Review in Mathematical Reviews 2000 c43007).
Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. R. K. Boel, B. Bordbar, and G. Stremersch. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pages 674-679, San Diego, California, USA, October 1998.
A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. R. K. Boel, B. Bordbar, and G. Stremersch. In Proceedings of the 4th International Workshop on Discrete Event Systems, pages 79-84, Cagliari, Italy, August 1998.
Weakly almost period functions on N with a negative base. B. Bordbar. J Lond Math Soc, (57):706-720, June 1998.
The weakly almost periodic compactification of a direct sum of finite groups. B. Bordbar and J. S. Pym. Proc Cambridge Phil Soc, (124):421-449, January 1998.