Behzad Bordbar

According to our database1, Behzad Bordbar authored at least 91 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.
IEEE Trans. Cloud Comput., 2018

Automated conflict detection between medical care pathways.
J. Softw. Evol. Process., 2018

2017
A Better Understanding of Machine Learning Malware Misclassifcation.
Proceedings of the Information Systems Security and Privacy, 2017

Towards an Understanding of the Misclassification Rates of Machine Learning-based Malware Detection Systems.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

2016
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

An Off-line Analytical Approach to Identify Suitable Management Policies for Autonomic Cloud Architecture.
Proceedings of the CLOSER 2016, 2016

DRESS: a rule engine on spark for event stream processing.
Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, 2016

Weaving True-Concurrent Aspects Using Constraint Solvers.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Introspecting for RSA Key Material to Assist Intrusion Detection.
IEEE Cloud Comput., 2015

Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

A Logical Approach for Behavioural Composition of Scenario-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2015

Efficient Retrieval of Key Material for Inspecting Potentially Malicious Traffic in the Cloud.
Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

Opening the Black-Box of Model Transformation.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

CloudMPL: A Domain Specific Language for Describing Management Policies for an Autonomic Cloud Infrastructure.
Proceedings of the CLOSER 2015, 2015

2014
Matching and Merging Scenarios Automatically with Alloy.
Proceedings of the Model-Driven Engineering and Software Development, 2014

Automated Composition of Sequence Diagrams via Alloy.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Measuring Energy Consumption for Web Service Product Configuration.
Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

OCL usability: a major challenge in adopting UML.
Proceedings of the 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2014

Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-Nets.
Proceedings of the 2014 International Conference on Cloud and Autonomic Computing, 2014

Forensic Virtual Machines: Dynamic Defence in the Cloud via Introspection.
Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

A Simplified Method of Measurement of Energy Consumption in Cloud and Virtualized Environment.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

2013
A Framework for the Analysis of Process Mining Algorithms.
IEEE Trans. Syst. Man Cybern. Syst., 2013

SBVR vs OCL: A Comparative Analysis of Standards
CoRR, 2013

Spatio-temporal Role Based Access Control for Physical Access Control Systems.
Proceedings of the Fourth International Conference on Emerging Security Technologies, 2013

A principled approach to mining from noisy logs using Heuristics Miner.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2013

An Architectural Framework for Enforcing Energy Management Policies in Cloud.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
A modelling approach to Service oriented Architecture for on-line diagnosis.
Serv. Oriented Comput. Appl., 2012

Translating natural language constraints to OCL.
J. King Saud Univ. Comput. Inf. Sci., 2012

NL2 Alloy: A Tool to Generate Alloy from NL Constraints.
J. Digit. Inf. Manag., 2012

Verification of Spatio-Temporal Role Based Access Control using Timed Automata.
Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy.
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

On formalizing of inconsistency and semi-consistency in spatio-temporal access control.
Proceedings of the Seventh International Conference on Digital Information Management, 2012

On a chain of transformations for generating alloy from NL constraints.
Proceedings of the Seventh International Conference on Digital Information Management, 2012

Addressing Semantic Ambiguities in Natural Language Constraints.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Semantic Analysis of English Specification of OCL.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Process Mining in Non-Stationary Environments.
Proceedings of the 20th European Symposium on Artificial Neural Networks, 2012

A Framework for Detecting Malware in Cloud by Identifying Symptoms.
Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, 2012

Resolving Syntactic Ambiguities in Natural Language Specification of Constraints.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2012

File Management in a Mobile DHT-based P2P Environment.
Proceedings of the IEEE 26th International Conference on Advanced Information Networking and Applications, 2012

2011
Model interoperability via Model Driven Development.
J. Comput. Syst. Sci., 2011

Pattern Tool Support to Guide Interface Design.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

A Principled Approach to the Analysis of Process Mining Algorithms.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2011, 2011

Real-Time Detection of Process Change using Process Mining.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.
Proceedings of the Second International Conference on Networking and Computing, 2011

SBVR2UML: A Challenging Transformation.
Proceedings of the 2011 Frontiers of Information Technology, 2011

SBVR Business Rules Generation from Natural Language Specification.
Proceedings of the AI for Business Agility, 2011

2010
Verification and Trade-Off Analysis of Security Properties in UML System Models.
IEEE Trans. Software Eng., 2010

On challenges of model transformation from UML to Alloy.
Softw. Syst. Model., 2010

OCL Constraints Generation from Natural Language Specification.
Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

A DSL-Based Approach to Software Development and Deployment on Cloud.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
On automated generation of Diagnosers in Fault tolerant Service oriented Architectures.
J. Digit. Inf. Manag., 2009

An aspect-oriented methodology for designing secure applications.
Inf. Softw. Technol., 2009

A methodology for domain-specific business process modelling and implementation.
Int. J. Bus. Process. Integr. Manag., 2009

Ensuring spatio-temporal access control for real-world applications.
Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

From UML to Alloy and Back Again.
Proceedings of the Models in Software Engineering, 2009

Aspect-Oriented Quality of Service for Web Services: A Model-Driven Approach.
Proceedings of the IEEE International Conference on Web Services, 2009

Model Transformation using Adaptive Systems.
Proceedings of the ICSOFT 2009, 2009

A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

A Model Driven Approach to the Analysis of Timeliness Properties.
Proceedings of the Model Driven Architecture, 2009

Trusted P2P Group Interaction.
Proceedings of the 2nd International Conference on Computer Science and its Applications, 2009

2008
Stateless data concealment for distributed systems.
J. Comput. Syst. Sci., 2008

On-Line Monitoring of Large Petri Net Models Under Partial Observation.
Discret. Event Dyn. Syst., 2008

Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Maths Vs (Meta)Modelling - Are We Reinventing the Wheel?
Proceedings of the ICSOFT 2008, 2008

Evaluating the Use of AOP and MDA in Web Service Development.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

A model driven approach to the design and implementing of fault tolerant Service oriented Architectures.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007
UML2Alloy: A Challenging Model Transformation.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Compiling UML State Diagrams into VHDL: An Experiment in Using Model Driven Development.
Proceedings of the Forum on specification and Design Languages, 2007

Model Transformation from OWL-S to BPEL Via SiTra.
Proceedings of the Model Driven Architecture, 2007

A Formal Model for Integrating Multiple Views.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
SiTra: Simple Transformations in Java.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

A Pattern-Based Approach to Business Process Modeling and Implementation in Web Services.
Proceedings of the Service-Oriented Computing, 2006

A Distributed Scheme for Secure Data Access.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
Integrated Model-Based Software Development, Data Access, and Data Migration.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

MDA and Analysis of Web Applications.
Proceedings of the Trends in Enterprise Application Architecture, VLDB Workshop, 2005

An Evaluation Mechanism for QoS Management in Wireless Systems.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

A Web Services Approach to Learning Path Composition.
Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

UML2ALLOY: A tool for lightweight modelling of discrete event systems.
Proceedings of the AC 2005, 2005

A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services.
Proceedings of the Model Driven Architecture, 2005

An Architecture for Automated QoS Resolution in Wireless Systems.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

On Behavioural Model Transformation in Web Services.
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004

2003
Verification of Timeliness QoS Properties in Multimedia Systems.
Proceedings of the Formal Methods and Software Engineering, 2003

2002
Using UML to specify QoS constraints in ODP.
Comput. Networks, 2002

A UML Approach to the Design of Open Distributed Systems.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
On Querying UML Data Models with OCL.
Proceedings of the «UML» 2001, 2001

2000
Hybrid sliding mode control for a set of interconnected nonlinear components.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1998
Controlled timed Petri nets: equivalence relations, model reduction.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998


  Loading...