| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Khalid Ashraf, Rachid Anane, Behzad Bordbar |
File Management in a Mobile DHT-based P2P Environment.  |
AINA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
Resolving Syntactic Ambiguities in Natural Language Specification of Constraints. |
CICLing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane |
Model interoperability via Model Driven Development. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hina Afreen, Imran Sarwar Bajwa, Behzad Bordbar |
SBVR2UML: A Challenging Transformation. |
FIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Beale, Behzad Bordbar |
Pattern Tool Support to Guide Interface Design. |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
SBVR Business Rules Generation from Natural Language Specification. |
AAAI Spring Symposium: AI for Business Agility |
2011 |
DBLP BibTeX RDF |
|
| 1 | Phil Weber, Behzad Bordbar, Peter Tino |
A Principled Approach to the Analysis of Process Mining Algorithms. |
IDEAL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kozo Okano, Behzad Bordbar, Takeshi Nagaoka |
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. |
ICNC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray |
On challenges of model transformation from UML to Alloy. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
Aspect-oriented modeling (AOM), security analysis, Bayesian belief network (BBN), trade-off analysis |
| 1 | Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee |
OCL Constraints Generation from Natural Language Specification. |
EDOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Sledziewski, Behzad Bordbar, Rachid Anane |
A DSL-Based Approach to Software Development and Deployment on Cloud. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
Google App Engine, Service oriented Architecture, Cloud Computing, Domain Specific Languages |
| 1 | Mohammed Alodib, Behzad Bordbar, Basim Majeed |
On automated generation of Diagnosers in Fault tolerant Service oriented Architectures. |
JDIM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb |
An aspect-oriented methodology for designing secure applications. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Howells, Behzad Bordbar, David H. Akehurst |
Model Transformation using Adaptive Systems. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mohammed Alodib, Behzad Bordbar |
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures. |
ECOWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane |
A Model Driven Approach to the Analysis of Timeliness Properties. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Anane, Steven Marrocco, Behzad Bordbar |
Trusted P2P Group Interaction. |
CSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bordbar |
From UML to Alloy and Back Again. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar |
Ensuring spatio-temporal access control for real-world applications. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
spatio-temporal rbac, alloy, uml |
| 1 | Guadalupe Ortiz, Behzad Bordbar |
Aspect-Oriented Quality of Service for Web Services: A Model-Driven Approach. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Anane, Sukhvir Dhillon, Behzad Bordbar |
Stateless data concealment for distributed systems. |
J. Comput. Syst. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | George Jiroveanu, René K. Boel, Behzad Bordbar |
On-Line Monitoring of Large Petri Net Models Under Partial Observation. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Monitoring, Diagnosis, DES |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Guadalupe Ortiz, Behzad Bordbar, Juan Hernández |
Evaluating the Use of AOP and MDA in Web Service Development. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Techniques, Extra-Functional Property, Web Services, Model-driven Development |
| 1 | Mohamed Ariff Ameedeen, Behzad Bordbar |
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. |
EDOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Alodib, Behzad Bordbar |
A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study. |
EDOCW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Alodib, Behzad Bordbar, Basim Majeed |
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guadalupe Ortiz, Behzad Bordbar |
Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Behzad Bordbar |
A Formal Model for Integrating Multiple Views. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Gareth Howells, Michael Evans, Athanasios Staikopoulos |
Model Transformation from OWL-S to BPEL Via SiTra. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray |
UML2Alloy: A Challenging Model Transformation. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steen Brahe, Behzad Bordbar |
A Pattern-Based Approach to Business Process Modeling and Implementation in Web Services. |
ICSOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Anane, Sukhvir Dhillon, Behzad Bordbar |
A Distributed Scheme for Secure Data Access. |
AINA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier |
SiTra: Simple Transformations in Java. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, Gerald Weber |
Integrated Model-Based Software Development, Data Access, and Data Migration. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Kyriakos Anastasakis |
UML2ALLOY: A tool for lightweight modelling of discrete event systems. |
IADIS AC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Athanasios Staikopoulos, Behzad Bordbar |
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Kyriakos Anastasakis |
MDA and Analysis of Web Applications. |
TEAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Rachid Anane, Kozo Okano |
An Evaluation Mechanism for QoS Management in Wireless Systems. |
ICPADS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Rachid Anane |
An Architecture for Automated QoS Resolution in Wireless Systems. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Anane, Behzad Bordbar, Fanyu Deng, Robert J. Hendley |
A Web Services Approach to Learning Path Composition. |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Athanasios Staikopoulos |
On Behavioural Model Transformation in Web Services. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Kozo Okano |
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, Kozo Okano |
Verification of Timeliness QoS Properties in Multimedia Systems. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, John Derrick, A. Gill Waters |
Using UML to specify QoS constraints in ODP. |
Computer Networks |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Bordbar, John Derrick, A. Gill Waters |
A UML Approach to the Design of Open Distributed Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Akehurst, Behzad Bordbar |
On Querying UML Data Models with OCL. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")