Behrooz Nobakht

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 5

Top Topics

Object Oriented Programming Language

Service Level Agreements

Elastic Properties

Formal Verification

Top Venues

Sci. Comput. Program.

Publications

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
Declarative Elasticity in ABS. ESOCC (2016)
Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer, Chetan Nagarajagowda, Behrooz Nobakht
A design pattern for optimizations in data intensive applications using ABS and JAVA 8. Concurr. Comput. Pract. Exp. 28 (2) (2016)
Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods (2016)
Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC (2015)
Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer
Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC (2015)
Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
Monitoring method call sequences using annotations. Sci. Comput. Program. 94 (2014)
Behrooz Nobakht, Frank S. de Boer
Programming with Actors in Java 8. ISoLA (2) (2014)
Vlad Serbanescu, Chetan Nagarajagowda, Keyvan Azadbakht, Frank S. de Boer, Behrooz Nobakht
Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. ARMS-CC@PODC (2014)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
The Future of a Missed Deadline. COORDINATION (2013)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
Programming and deployment of active objects with application-level scheduling. SAC (2012)
Hossein Rahmani, Behrooz Nobakht, Hendrik Blockeel
Collaboration-based Social Tag Prediction in the Graph of Annotated Web Pages. NyNaK (2010)
Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
Monitoring Method Call Sequences Using Annotations. FACS (2010)
Sadegh Aliakbary, Hassan Abolhassani, Hossein Rahmani, Behrooz Nobakht
Web Page Classification Using Social Tags. CSE (4) (2009)