Behrooz Nobakht

According to our database1, Behrooz Nobakht authored at least 13 papers between 2009 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
A design pattern for optimizations in data intensive applications using ABS and JAVA 8.
Concurrency and Computation: Practice and Experience, 2016

Declarative Elasticity in ABS.
Proceedings of the Service-Oriented and Cloud Computing, 2016

Statically and Dynamically Verifiable SLA Metrics.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Formal Verification of Service Level Agreements Through Distributed Monitoring.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

On the Integration of Automatic Deployment into the ABS Modeling Language.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

2014
Monitoring method call sequences using annotations.
Sci. Comput. Program., 2014

Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8.
Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2014

Programming with Actors in Java 8.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
The Future of a Missed Deadline.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Programming and deployment of active objects with application-level scheduling.
Proceedings of the ACM Symposium on Applied Computing, 2012

2010
Collaboration-based Social Tag Prediction in the Graph of Annotated Web Pages.
Proceedings of the 1st Workshop on Dynamic Networks and Knowledge Discovery, 2010

Monitoring Method Call Sequences Using Annotations.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Web Page Classification Using Social Tags.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009


  Loading...