Behzad Bordbar

Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee: SBVR vs OCL: A Comparative Analysis of Standards. CoRR abs/1304.7346 (2013)

Mohammed Alodib, Behzad Bordbar: A modelling approach to Service oriented Architecture for on-line diagnosis. Service Oriented Computing and Applications 6(4): 303-319 (2012)

Khalid Ashraf, Rachid Anane, Behzad Bordbar: File Management in a Mobile DHT-based P2P Environment. AINA 2012: 415-422

Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar: Resolving Syntactic Ambiguities in Natural Language Specification of Constraints. CICLing (1) 2012: 178-187

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: 164-172

Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar: Semantic Analysis of English Specification of OCL. FLAIRS Conference 2012

Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar, Ahsan Ali Chaudhri: Addressing Semantic Ambiguities in Natural Language Constraints. FLAIRS Conference 2012

Emsaieb Geepalla, Behzad Bordbar: On formalizing of inconsistency and semi-consistency in spatio-temporal access control. ICDIM 2012: 22-29

Imran Sarwar Bajwa, Behzad Bordbar, Kyriakos Anastasakis, Mark G. Lee: On a chain of transformations for generating alloy from NL constraints. ICDIM 2012: 93-98

Emsaieb Geepalla, Behzad Bordbar, Joel Last: Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. MEDI 2012: 67-78

Emsaieb Geepalla, Behzad Bordbar, Kozo Okano: Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA 2012: 1-6

Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane: Model interoperability via Model Driven Development. J. Comput. Syst. Sci. 77(2): 332-347 (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

Hina Afreen, Imran Sarwar Bajwa, Behzad Bordbar: SBVR2UML: A Challenging Transformation. FIT 2011: 33-38

Kozo Okano, Behzad Bordbar, Takeshi Nagaoka: Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. ICNC 2011: 235-241

Phil Weber, Behzad Bordbar, Peter Tino: Real-Time Detection of Process Change using Process Mining. ICCSW 2011: 108-114

Phil Weber, Behzad Bordbar, Peter Tino: A Principled Approach to the Analysis of Process Mining Algorithms. IDEAL 2011: 474-481

Russell Beale, Behzad Bordbar: Pattern Tool Support to Guide Interface Design. INTERACT (2) 2011: 359-375

Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige (Eds.): Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698, Springer 2011, isbn 978-3-642-21469-1

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray: On challenges of model transformation from UML to Alloy. Software and System Modeling 9(1): 69-86 (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): 338-356 (2010)

Krzysztof Sledziewski, Behzad Bordbar, Rachid Anane: A DSL-Based Approach to Software Development and Deployment on Cloud. AINA 2010: 414-421

Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee: OCL Constraints Generation from Natural Language Specification. EDOC 2010: 204-213

Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb: An aspect-oriented methodology for designing secure applications. Information & Software Technology 51(5): 846-864 (2009)

Mohammed Alodib, Behzad Bordbar, Basim Majeed: On automated generation of Diagnosers in Fault tolerant Service oriented Architectures. JDIM 7(6): 336-342 (2009)

Rachid Anane, Steven Marrocco, Behzad Bordbar: Trusted P2P Group Interaction. CSA 2009: 1-8

Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane: A Model Driven Approach to the Analysis of Timeliness Properties. ECMDA-FA 2009: 221-236

Mohammed Alodib, Behzad Bordbar: A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures. ECOWS 2009: 129-138

Gareth Howells, Behzad Bordbar, David H. Akehurst: Model Transformation using Adaptive Systems. ICSOFT (1) 2009: 133-138

Guadalupe Ortiz, Behzad Bordbar: Aspect-Oriented Quality of Service for Web Services: A Model-Driven Approach. ICWS 2009: 559-566

Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bordbar: From UML to Alloy and Back Again. MoDELS Workshops 2009: 158-171

Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar: Ensuring spatio-temporal access control for real-world applications. SACMAT 2009: 13-22

George Jiroveanu, René K. Boel, Behzad Bordbar: On-Line Monitoring of Large Petri Net Models Under Partial Observation. Discrete Event Dynamic Systems 18(3): 323-354 (2008)

Rachid Anane, Sukhvir Dhillon, Behzad Bordbar: Stateless data concealment for distributed systems. J. Comput. Syst. Sci. 74(2): 243-254 (2008)

Mohamed Ariff Ameedeen, Behzad Bordbar: A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. EDOC 2008: 213-221

Mohammed Alodib, Behzad Bordbar: A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study. EDOCW 2008: 293-300

Mohammed Alodib, Behzad Bordbar, Basim Majeed: A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. ICDIM 2008: 464-469

Guadalupe Ortiz, Behzad Bordbar, Juan Hernández: Evaluating the Use of AOP and MDA in Web Service Development. ICIW 2008: 78-83

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: 313-322

Guadalupe Ortiz, Behzad Bordbar: Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach. ICWS 2008: 748-751

Juliana Küster Filipe Bowles, Behzad Bordbar: A Formal Model for Integrating Multiple Views. ACSD 2007: 71-79

Behzad Bordbar, Gareth Howells, Michael Evans, Athanasios Staikopoulos: Model Transformation from OWL-S to BPEL Via SiTra. ECMDA-FA 2007: 43-58

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: 219-224

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray: UML2Alloy: A Challenging Model Transformation. MoDELS 2007: 436-450

Rachid Anane, Sukhvir Dhillon, Behzad Bordbar: A Distributed Scheme for Secure Data Access. AINA (2) 2006: 267-271

Steen Brahe, Behzad Bordbar: A Pattern-Based Approach to Business Process Modeling and Implementation in Web Services. ICSOC Workshops 2006: 166-177

David H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier: SiTra: Simple Transformations in Java. MoDELS 2006: 351-364

Behzad Bordbar, Rachid Anane: An Architecture for Automated QoS Resolution in Wireless Systems. AINA 2005: 774-779

Athanasios Staikopoulos, Behzad Bordbar: A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services. ECMDA-FA 2005: 145-159

Behzad Bordbar, Kyriakos Anastasakis: UML2ALLOY: A tool for lightweight modelling of discrete event systems. IADIS AC 2005: 209-216

Rachid Anane, Behzad Bordbar, Fanyu Deng, Robert J. Hendley: A Web Services Approach to Learning Path Composition. ICALT 2005: 98-102

Behzad Bordbar, Rachid Anane, Kozo Okano: An Evaluation Mechanism for QoS Management in Wireless Systems. ICPADS (2) 2005: 150-154

Behzad Bordbar, Kyriakos Anastasakis: MDA and Analysis of Web Applications. TEAA 2005: 44-55

Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, Gerald Weber: Integrated Model-Based Software Development, Data Access, and Data Migration. MoDELS 2005: 382-396

Behzad Bordbar, Athanasios Staikopoulos: On Behavioural Model Transformation in Web Services. ER (Workshops) 2004: 667-678

Behzad Bordbar, Kozo Okano: Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. FATES 2004: 95-109

Behzad Bordbar, Kozo Okano: Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM 2003: 523-540

Behzad Bordbar, John Derrick, A. Gill Waters: Using UML to specify QoS constraints in ODP. Computer Networks 40(2): 279-304 (2002)

Behzad Bordbar, John Derrick, A. Gill Waters: A UML Approach to the Design of Open Distributed Systems. ICFEM 2002: 561-572

David H. Akehurst, Behzad Bordbar: On Querying UML Data Models with OCL. UML 2001: 91-103