default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBehzad Bordbar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[j16]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)- [j15]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): 942-954 (2018) - 2017
- [c75]Nada Alruhaily, Tom Chothia, Behzad Bordbar:
A Better Understanding of Machine Learning Malware Misclassifcation. ICISSP (Revised Selected Papers) 2017: 35-58 - [c74]Nada Alruhaily, Behzad Bordbar, Tom Chothia:
Towards an Understanding of the Misclassification Rates of Machine Learning-based Malware Detection Systems. ICISSP 2017: 101-112 - 2016
- [c73]Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
Weaving True-Concurrent Aspects Using Constraint Solvers. ACSD 2016: 35-44 - [c72]Yi Chen, Behzad Bordbar:
DRESS: a rule engine on spark for event stream processing. BDCAT 2016: 46-51 - [c71]Marwah M. Alansari, Behzad Bordbar:
An Off-line Analytical Approach to Identify Suitable Management Policies for Autonomic Cloud Architecture. CLOSER (2) 2016: 232-239 - [c70]Ahmed Al-Ajeli, Behzad Bordbar:
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems. WODES 2016: 165-170 - 2015
- [j14]John T. Saxon, Behzad Bordbar, Keith Harrison:
Introspecting for RSA Key Material to Assist Intrusion Detection. IEEE Cloud Comput. 2(5): 30-38 (2015) - [c69]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: 451-462 - [c68]John T. Saxon, Behzad Bordbar, David H. Akehurst:
Opening the Black-Box of Model Transformation. ECMFA 2015: 171-186 - [c67]John T. Saxon, Behzad Bordbar, Keith Harrison:
Efficient Retrieval of Key Material for Inspecting Potentially Malicious Traffic in the Cloud. IC2E 2015: 155-164 - [c66]Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain:
A Logical Approach for Behavioural Composition of Scenario-Based Models. ICFEM 2015: 252-269 - [c65]Nada Alruhaily, Behzad Bordbar, Tom Chothia:
Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection. TrustCom/BigDataSE/ISPA (1) 2015: 766-773 - 2014
- [c64]I. Made Murwantara, Behzad Bordbar:
A Simplified Method of Measurement of Energy Consumption in Cloud and Virtualized Environment. BDCloud 2014: 654-661 - [c63]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: 303-310 - [c62]Marwah M. Alansari, Behzad Bordbar:
Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-Nets. ICCAC 2014: 121-130 - [c61]Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee:
OCL usability: a major challenge in adopting UML. RAISE 2014: 32-37 - [c60]Behzad Bordbar, Ahmed Al-Ajeli, Mohammed Ibrahim Alodib:
On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems. ICTAI 2014: 673-680 - [c59]I. Made Murwantara, Behzad Bordbar, Leandro L. Minku:
Measuring Energy Consumption for Web Service Product Configuration. iiWAS 2014: 224-228 - [c58]Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen:
Matching and Merging Scenarios Automatically with Alloy. MODELSWARD (Revised Selected Papers) 2014: 100-116 - [c57]Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles:
Automated Composition of Sequence Diagrams via Alloy. MODELSWARD 2014: 384-391 - 2013
- [j13]Phil Weber, Behzad Bordbar, Peter Tiño:
A Framework for the Analysis of Process Mining Algorithms. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 303-317 (2013) - [c56]Marwah M. Alansari, Behzad Bordbar:
An Architectural Framework for Enforcing Energy Management Policies in Cloud. IEEE CLOUD 2013: 717-724 - [c55]Phil Weber, Behzad Bordbar, Peter Tiño:
A principled approach to mining from noisy logs using Heuristics Miner. CIDM 2013: 119-126 - [c54]Emsaieb Geepalla, Behzad Bordbar, Xiaofeng Du:
Spatio-temporal Role Based Access Control for Physical Access Control Systems. EST 2013: 39-42 - [i1]Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee:
SBVR vs OCL: A Comparative Analysis of Standards. CoRR abs/1304.7346 (2013) - 2012
- [j12]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): 365-372 (2012) - [j11]Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar:
Translating natural language constraints to OCL. J. King Saud Univ. Comput. Inf. Sci. 24(2): 117-128 (2012) - [j10]Mohammed Ibrahim Alodib, Behzad Bordbar:
A modelling approach to Service oriented Architecture for on-line diagnosis. Serv. Oriented Comput. Appl. 6(4): 303-319 (2012) - [c53]Khalid Ashraf, Rachid Anane, Behzad Bordbar:
File Management in a Mobile DHT-based P2P Environment. AINA 2012: 415-422 - [c52]Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar:
Resolving Syntactic Ambiguities in Natural Language Specification of Constraints. CICLing (1) 2012: 178-187 - [c51]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 - [c50]Phil Weber, Peter Tiño, Behzad Bordbar:
Process Mining in Non-Stationary Environments. ESANN 2012 - [c49]Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar:
Semantic Analysis of English Specification of OCL. FLAIRS 2012 - [c48]Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar, Ahsan Ali Chaudhri:
Addressing Semantic Ambiguities in Natural Language Constraints. FLAIRS 2012 - [c47]Emsaieb Geepalla, Behzad Bordbar:
On formalizing of inconsistency and semi-consistency in spatio-temporal access control. ICDIM 2012: 22-29 - [c46]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 - [c45]Emsaieb Geepalla, Behzad Bordbar, Joel Last:
Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. MEDI 2012: 67-78 - [c44]Emsaieb Geepalla, Behzad Bordbar, Kozo Okano:
Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA 2012: 1-6 - 2011
- [j9]Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane:
Model interoperability via Model Driven Development. J. Comput. Syst. Sci. 77(2): 332-347 (2011) - [c43]Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar:
SBVR Business Rules Generation from Natural Language Specification. AAAI Spring Symposium: AI for Business Agility 2011 - [c42]Hina Afreen, Imran Sarwar Bajwa, Behzad Bordbar:
SBVR2UML: A Challenging Transformation. FIT 2011: 33-38 - [c41]Kozo Okano, Behzad Bordbar, Takeshi Nagaoka:
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. ICNC 2011: 235-241 - [c40]Phil Weber, Behzad Bordbar, Peter Tiño:
Real-Time Detection of Process Change using Process Mining. ICCSW 2011: 108-114 - [c39]Phil Weber, Behzad Bordbar, Peter Tiño:
A Principled Approach to the Analysis of Process Mining Algorithms. IDEAL 2011: 474-481 - [c38]Russell Beale, Behzad Bordbar:
Pattern Tool Support to Guide Interface Design. INTERACT (2) 2011: 359-375 - [e1]Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige:
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 [contents] - 2010
- [j8]Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray:
On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1): 69-86 (2010) - [j7]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) - [c37]Krzysztof Sledziewski, Behzad Bordbar, Rachid Anane:
A DSL-Based Approach to Software Development and Deployment on Cloud. AINA 2010: 414-421 - [c36]Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee:
OCL Constraints Generation from Natural Language Specification. EDOC 2010: 204-213
2000 – 2009
- 2009
- [j6]Steen Brahe, Behzad Bordbar:
A methodology for domain-specific business process modelling and implementation. Int. J. Bus. Process. Integr. Manag. 4(1): 5-17 (2009) - [j5]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): 846-864 (2009) - [j4]Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed:
On automated generation of Diagnosers in Fault tolerant Service oriented Architectures. J. Digit. Inf. Manag. 7(6): 336-342 (2009) - [c35]Rachid Anane, Steven Marrocco, Behzad Bordbar:
Trusted P2P Group Interaction. CSA 2009: 1-8 - [c34]Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane:
A Model Driven Approach to the Analysis of Timeliness Properties. ECMDA-FA 2009: 221-236 - [c33]Mohammed Ibrahim Alodib, Behzad Bordbar:
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures. ECOWS 2009: 129-138 - [c32]Gareth Howells, Behzad Bordbar, David H. Akehurst:
Model Transformation using Adaptive Systems. ICSOFT (1) 2009: 133-138 - [c31]Guadalupe Ortiz, Behzad Bordbar:
Aspect-Oriented Quality of Service for Web Services: A Model-Driven Approach. ICWS 2009: 559-566 - [c30]Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar:
From UML to Alloy and back again. MoDeVVa@MoDELS 2009: 4:1-4:10 - [c29]Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar:
From UML to Alloy and Back Again. MoDELS (Workshops) 2009: 158-171 - [c28]Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar:
Ensuring spatio-temporal access control for real-world applications. SACMAT 2009: 13-22 - 2008
- [j3]George Jiroveanu, René K. Boel, Behzad Bordbar:
On-Line Monitoring of Large Petri Net Models Under Partial Observation. Discret. Event Dyn. Syst. 18(3): 323-354 (2008) - [j2]Rachid Anane, Sukhvir Dhillon, Behzad Bordbar:
Stateless data concealment for distributed systems. J. Comput. Syst. Sci. 74(2): 243-254 (2008) - [c27]Mohamed Ariff Ameedeen, Behzad Bordbar:
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. EDOC 2008: 213-221 - [c26]Mohammed Ibrahim Alodib, Behzad Bordbar:
A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study. EDOCW 2008: 293-300 - [c25]Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed:
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. ICDIM 2008: 464-469 - [c24]Guadalupe Ortiz, Behzad Bordbar, Juan Hernández Núñez:
Evaluating the Use of AOP and MDA in Web Service Development. ICIW 2008: 78-83 - [c23]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 - [c22]Guadalupe Ortiz, Behzad Bordbar:
Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach. ICWS 2008: 748-751 - 2007
- [c21]Juliana Küster Filipe Bowles, Behzad Bordbar:
A Formal Model for Integrating Multiple Views. ACSD 2007: 71-79 - [c20]Behzad Bordbar, Gareth Howells, Michael Evans, Athanasios Staikopoulos:
Model Transformation from OWL-S to BPEL Via SiTra. ECMDA-FA 2007: 43-58 - [c19]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 - [c18]Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray:
UML2Alloy: A Challenging Model Transformation. MoDELS 2007: 436-450 - 2006
- [c17]Rachid Anane, Sukhvir Dhillon, Behzad Bordbar:
A Distributed Scheme for Secure Data Access. AINA (2) 2006: 267-271 - [c16]Steen Brahe, Behzad Bordbar:
A Pattern-Based Approach to Business Process Modeling and Implementation in Web Services. ICSOC Workshops 2006: 166-177 - [c15]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 - 2005
- [c14]Behzad Bordbar, Rachid Anane:
An Architecture for Automated QoS Resolution in Wireless Systems. AINA 2005: 774-779 - [c13]Athanasios Staikopoulos, Behzad Bordbar:
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services. ECMDA-FA 2005: 145-159 - [c12]Behzad Bordbar, Kyriakos Anastasakis:
UML2ALLOY: A tool for lightweight modelling of discrete event systems. IADIS AC 2005: 209-216 - [c11]Rachid Anane, Behzad Bordbar, Fanyu Deng, Robert J. Hendley:
A Web Services Approach to Learning Path Composition. ICALT 2005: 98-102 - [c10]Behzad Bordbar, Rachid Anane, Kozo Okano:
An Evaluation Mechanism for QoS Management in Wireless Systems. ICPADS (2) 2005: 150-154 - [c9]Behzad Bordbar, Kyriakos Anastasakis:
MDA and Analysis of Web Applications. TEAA 2005: 44-55 - [c8]Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, Gerald Weber:
Integrated Model-Based Software Development, Data Access, and Data Migration. MoDELS 2005: 382-396 - 2004
- [c7]Behzad Bordbar, Athanasios Staikopoulos:
On Behavioural Model Transformation in Web Services. ER (Workshops) 2004: 667-678 - [c6]Behzad Bordbar, Kozo Okano:
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. FATES 2004: 95-109 - 2003
- [c5]Behzad Bordbar, Kozo Okano:
Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM 2003: 523-540 - 2002
- [j1]Behzad Bordbar, John Derrick, A. Gill Waters:
Using UML to specify QoS constraints in ODP. Comput. Networks 40(2): 279-304 (2002) - [c4]Behzad Bordbar, John Derrick, A. Gill Waters:
A UML Approach to the Design of Open Distributed Systems. ICFEM 2002: 561-572 - 2001
- [c3]David H. Akehurst, Behzad Bordbar:
On Querying UML Data Models with OCL. UML 2001: 91-103 - 2000
- [c2]Luisa Giacomini, Behzad Bordbar, David J. Holding:
Hybrid sliding mode control for a set of interconnected nonlinear components. CDC 2000: 2180-2185
1990 – 1999
- 1998
- [c1]René K. Boel, Behzad Bordbar, Geert Stremersch:
Controlled timed Petri nets: equivalence relations, model reduction. SMC 1998: 674-679
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
