researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

behzadbordbar

Statistics

Publications: 1
Edited: 0

Aliases

B. Bordbar
Bordbar, Behzad
Bordbar
Behzad Bordbar
Bordbar, B.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Behzad Bordbar's Profile

Publications

Unidentified Publications

Publications with a 'Behzad Bordbar' as author, editor, or advisor:

Model Transformation using Adaptive SystemsGareth Howells, Behzad Bordbar, David H. Akehurst. ICSOFT 2009: 133-138
SBVR Business Rules Generation from Natural Language SpecificationImran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar. aaaiss 2011: [doi]
A Comparative Study of Metamodel Integration and Interoperability in UML and Web ServicesAthanasios Staikopoulos, Behzad Bordbar. ECMDA-FA 2005: 145-159 [doi]
A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance studyMohammed Alodib, Behzad Bordbar. edoc 2008: 293-300 [doi]
Hybrid sliding mode control for a set of interconnected nonlinear componentsLuisa Giacomini, Behzad Bordbar, David J. Holding. cdc 2000: 2180-2185 [doi]
On formalizing of inconsistency and semi-consistency in spatio-temporal access controlEmsaieb Geepalla, Behzad Bordbar. icdim 2012: 22-29 [doi]
On Behavioural Model Transformation in Web ServicesBehzad Bordbar, Athanasios Staikopoulos. er 2004: 667-678 [doi]
SBVR2UML: A Challenging TransformationHina Afreen, Imran Sarwar Bajwa, Behzad Bordbar. fit 2011: 33-38 [doi]
Using UML to specify QoS constraints in ODPBehzad Bordbar, John Derrick, A. Gill Waters. cn, 40(2):279-304, 2002. [doi]
Verification of Timeliness QoS Properties in Multimedia SystemsBehzad Bordbar, Kozo Okano. icfem 2003: 523-540 [doi]
Automated conflict detection between medical care pathwaysPhilip Weber, João Bosco Ferreira Filho, Behzad Bordbar, Mark Lee, Ian Litchfield, Ruth Backman. SMR, 30(7), 2018. [doi]
A Framework for the Analysis of Process Mining AlgorithmsPhil Weber, Behzad Bordbar, Peter Tiño. tsmc, 43(2):303-317, 2013. [doi]
Translating natural language constraints to OCLImran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar. jksucis, 24(2):117-128, 2012. [doi]
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systemsAhmed Al-Ajeli, Behzad Bordbar. wodes 2016: 165-170 [doi]
Ensuring spatio-temporal access control for real-world applicationsManachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar. SACMAT 2009: 13-22 [doi]
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 ProceedingsRobert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Volume 6698 of Lecture Notes in Computer Science, Springer, 2011. [doi]
OCL usability: a major challenge in adopting UMLImran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee. ICSE 2014: 32-37 [doi]
An Off-line Analytical Approach to Identify Suitable Management Policies for Autonomic Cloud ArchitectureMarwah M. Alansari, Behzad Bordbar. closer 2016: 232-239 [doi]
An Evaluation Mechanism for QoS Management in Wireless SystemsBehzad Bordbar, Rachid Anane, Kozo Okano. icpads 2005: 150-154 [doi]
A principled approach to mining from noisy logs using Heuristics MinerPhil Weber, Behzad Bordbar, Peter Tino. cidm 2013: 119-126 [doi]
Introspecting for RSA Key Material to Assist Intrusion DetectionJohn T. Saxon, Behzad Bordbar, Keith Harrison. cloudcomp, 2(5):30-38, 2015. [doi]
A Model Driven Approach to the Analysis of Timeliness PropertiesMohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane. ECMDA-FA 2009: 221-236 [doi]
Spatio-temporal Role Based Access Control for Physical Access Control SystemsEmsaieb Geepalla, Behzad Bordbar, Xiaofeng Du. est 2013: 39-42 [doi]
Stateless data concealment for distributed systemsRachid Anane, Sukhvir Dhillon, Behzad Bordbar. jcss, 74(2):243-254, 2008. [doi]
Controlled timed Petri nets: equivalence relations, model reductionRené K. Boel, Behzad Bordbar, Geert Stremersch. SMC 1998: 674-679 [doi]
On automated generation of Diagnosers in Fault tolerant Service oriented ArchitecturesMohammed Alodib, Behzad Bordbar, Basim Majeed. jdim, 7(6):336-342, 2009.
File Management in a Mobile DHT-based P2P EnvironmentKhalid Ashraf, Rachid Anane, Behzad Bordbar. aina 2012: 415-422 [doi]
Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-NetsMarwah M. Alansari, Behzad Bordbar. iccac 2014: 121-130 [doi]
SiTra: Simple Transformations in JavaDavid H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier. MoDELS 2006: 351-364 [doi]
Resolving Syntactic Ambiguities in Natural Language Specification of ConstraintsImran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar. cicling 2012: 178-187 [doi]
Opening the Black-Box of Model TransformationJohn T. Saxon, Behzad Bordbar, David H. Akehurst. ECMDA-FA 2015: 171-186 [doi]
Addressing Semantic Ambiguities in Natural Language ConstraintsImran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar, Ahsan Ali Chaudhri. flairs 2012: [doi]
CloudMPL: A Domain Specific Language for Describing Management Policies for an Autonomic Cloud InfrastructureMarwah M. Alansari, André Almeida, Nelly Bencomo, Behzad Bordbar. closer 2015: 451-462 [doi]
From UML to Alloy and Back AgainSeyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bordbar. MoDELS 2010: 158-171 [doi]
OCL Constraints Generation from Natural Language SpecificationImran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee. edoc 2010: 204-213 [doi]
Model Transformation from OWL-S to BPEL Via SiTraBehzad Bordbar, Gareth Howells, Michael Evans, Athanasios Staikopoulos. ECMDA-FA 2007: 43-58 [doi]
On-Line Monitoring of Large Petri Net Models Under Partial ObservationGeorge Jiroveanu, René K. Boel, Behzad Bordbar. deds, 18(3):323-354, 2008. [doi]
Model interoperability via Model Driven DevelopmentMohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane. jcss, 77(2):332-347, 2011. [doi]
Pattern Tool Support to Guide Interface DesignRussell Beale, Behzad Bordbar. INTERACT 2011: 359-375 [doi]
Matching and Merging Scenarios Automatically with AlloyJuliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen. modelsward 2015: 100-116 [doi]
A methodology for domain-specific business process modelling and implementationSteen Brahe, Behzad Bordbar. ijbpim, 4(1):5-17, 2009. [doi]
An Architectural Framework for Enforcing Energy Management Policies in CloudMarwah M. Alansari, Behzad Bordbar. IEEEcloud 2013: 717-724 [doi]
A Pattern-Based Approach to Business Process Modeling and Implementation in Web ServicesSteen Brahe, Behzad Bordbar. icsoc 2007: 166-177 [doi]
UML2ALLOY: A tool for lightweight modelling of discrete event systemsBehzad Bordbar, Kyriakos Anastasakis. iadis 2005: 209-216
A Framework for Detecting Malware in Cloud by Identifying SymptomsKeith Harrison, Behzad Bordbar, Syed T. T. Ali, Chris I. Dalton, Andrew P. Norman. edoc 2012: 164-172 [doi]
Testing Deadlock-Freeness in Real-Time Systems: A Formal ApproachBehzad Bordbar, Kozo Okano. fates 2005: 95-109 [doi]
A modelling approach to Service oriented Architecture for on-line diagnosisMohammed Alodib, Behzad Bordbar. soca, 6(4):303-319, 2012. [doi]
Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware DetectionNada Alruhaily, Behzad Bordbar, Tom Chothia. trustcom 2015: 766-773 [doi]
Evaluating the Use of AOP and MDA in Web Service DevelopmentGuadalupe Ortiz, Behzad Bordbar, Juan Hernández. aict 2008: 78-83 [doi]
A Distributed Scheme for Secure Data AccessRachid Anane, Sukhvir Dhillon, Behzad Bordbar. aina 2006: 267-271 [doi]
A UML Approach to the Design of Open Distributed SystemsBehzad Bordbar, John Derrick, A. Gill Waters. icfem 2002: 561-572 [doi]
Automated Composition of Sequence Diagrams via AlloyMohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles. modelsward 2014: 384-391 [doi]
A Simplified Method of Measurement of Energy Consumption in Cloud and Virtualized EnvironmentI. Made Murwantara, Behzad Bordbar. bdcloud 2014: 654-661 [doi]
Towards an Understanding of the Misclassification Rates of Machine Learning-based Malware Detection SystemsNada Alruhaily, Behzad Bordbar, Tom Chothia. icissp 2017: 101-112 [doi]
NL2 Alloy: A Tool to Generate Alloy from NL ConstraintsImran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee, Kyriakos Anastasakis. jdim, 10(6):365-372, 2012. [doi]
Verification of Spatio-Temporal Role Based Access Control using Timed AutomataEmsaieb Geepalla, Behzad Bordbar, Kozo Okano. nesea 2012: 1-6 [doi]
A Better Understanding of Machine Learning Malware MisclassifcationNada Alruhaily, Tom Chothia, Behzad Bordbar. icissp 2018: 35-58 [doi]
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri NetsMohamed Ariff Ameedeen, Behzad Bordbar. edoc 2008: 213-221 [doi]
Semantic Analysis of English Specification of OCLImran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar. flairs 2012: [doi]
A model driven approach to the design and implementing of fault tolerant Service oriented ArchitecturesMohammed Alodib, Behzad Bordbar, Basim Majeed. icdim 2008: 464-469 [doi]
On Querying UML Data Models with OCLDavid H. Akehurst, Behzad Bordbar. uml 2001: 91-103 [doi]
Weaving True-Concurrent Aspects Using Constraint SolversJuliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain. acsd 2016: 35-44 [doi]
Aspect-Oriented Quality of Service for Web Services: A Model-Driven ApproachGuadalupe Ortiz, Behzad Bordbar. icws 2009: 559-566 [doi]
Trusted P2P Group InteractionRachid Anane, Steven Marrocco, Behzad Bordbar. IEEEcsa 2009: 1-8 [doi]
A Web Services Approach to Learning Path CompositionRachid Anane, Behzad Bordbar, Fanyu Deng, Robert J. Hendley. icalt 2005: 98-102 [doi]
From UML to Alloy and back againSeyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar. MoDELS 2009: [doi]
Real-Time Detection of Process Change using Process MiningPhil Weber, Behzad Bordbar, Peter Tino. iccsw 2011: 108-114 [doi]
A DSL-Based Approach to Software Development and Deployment on CloudKrzysztof Sledziewski, Behzad Bordbar, Rachid Anane. aina 2010: 414-421 [doi]
A Formal Model for Integrating Multiple ViewsJuliana Küster Filipe Bowles, Behzad Bordbar. acsd 2007: 71-79 [doi]
Model-Driven Quality of Service for Web Services: An Aspect-Oriented ApproachGuadalupe Ortiz, Behzad Bordbar. icws 2008: 748-751 [doi]
Process Mining in Non-Stationary EnvironmentsPhil Weber, Peter Tiño, Behzad Bordbar. esann 2012: [doi]
Forensic Virtual Machines: Dynamic Defence in the Cloud via IntrospectionAdrian L. Shaw, Behzad Bordbar, John Saxon, Keith Harrison, Chris I. Dalton. ic2e 2014: 303-310 [doi]
On a chain of transformations for generating alloy from NL constraintsImran Sarwar Bajwa, Behzad Bordbar, Kyriakos Anastasakis, Mark G. Lee. icdim 2012: 93-98 [doi]
On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event SystemsBehzad Bordbar, Ahmed Al-Ajeli, Mohammed Alodib. ictai 2014: 673-680 [doi]
A Logical Approach for Behavioural Composition of Scenario-Based ModelsJuliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain. icfem 2015: 252-269 [doi]
Compiling UML State Diagrams into VHDL: An Experiment in Using Model Driven DevelopmentDavid H. Akehurst, W. Gareth J. Howells, Klaus D. McDonald-Maier, Behzad Bordbar. fdl 2007: 219-224 [doi]
Efficient Retrieval of Key Material for Inspecting Potentially Malicious Traffic in the CloudJohn T. Saxon, Behzad Bordbar, Keith Harrison. ic2e 2015: 155-164 [doi]
Maths Vs (Meta)Modelling - Are We Reinventing the Wheel?Klaus D. McDonald-Maier, David H. Akehurst, Behzad Bordbar, W. Gareth J. Howells. ICSOFT 2008: 313-322
An aspect-oriented methodology for designing secure applicationsGeri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb. INFSOF, 51(5):846-864, 2009. [doi]
Transformation of Spatio-Temporal Role Based Access Control Specification to AlloyEmsaieb Geepalla, Behzad Bordbar, Joel Last. medi 2012: 67-78 [doi]
An Architecture for Automated QoS Resolution in Wireless SystemsBehzad Bordbar, Rachid Anane. aina 2005: 774-779 [doi]
MDA and Analysis of Web ApplicationsBehzad Bordbar, Kyriakos Anastasakis. teaa 2006: 44-55 [doi]
UML2Alloy: A Challenging Model TransformationKyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray. MoDELS 2007: 436-450 [doi]
DRESS: a rule engine on spark for event stream processingYi Chen, Behzad Bordbar. bdc 2016: 46-51 [doi]
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed AutomatonKozo Okano, Behzad Bordbar, Takeshi Nagaoka. ic-nc 2011: 235-241 [doi]
On challenges of model transformation from UML to AlloyKyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray. SoSyM, 9(1):69-86, 2010. [doi]
A Model-Based Approach to Fault Diagnosis in Service Oriented ArchitecturesMohammed Alodib, Behzad Bordbar. ecows 2009: 129-138 [doi]
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service CloudsImran Khan, Zahid Anwar, Behzad Bordbar, Eike Ritter, Habib-ur Rehman. tcc, 6(4):942-954, 2018. [doi]
A Principled Approach to the Analysis of Process Mining AlgorithmsPhil Weber, Behzad Bordbar, Peter Tino. ideal 2011: 474-481 [doi]
Integrated Model-Based Software Development, Data Access, and Data MigrationBehzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, Gerald Weber. uml 2005: 382-396 [doi]
Verification and Trade-Off Analysis of Security Properties in UML System ModelsGeri Georg, Kyriakos Anastasakis, Behzad Bordbar, Siv Hilde Houmb, Indrakshi Ray, Manachai Toahchoodee. TSE, 36(3):338-356, 2010. [doi]
Measuring Energy Consumption for Web Service Product ConfigurationI. Made Murwantara, Behzad Bordbar, Leandro L. Minku. iiwas 2014: 224-228 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL