Roozbeh Farahbod

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 1

Top Topics

Specification Languages

Distributed Systems

Software Environment

Top Venues

Secur. Informatics

Publications

Yagiz Onat Yazir, Adel Guitouni, Stephen W. Neville, Roozbeh Farahbod
IMPROMPTU: A Reactive and Distributed Resource Consolidation Manager for Clouds. Int. J. Inf. Technol. Decis. Mak. 17 (5) (2018)
Alexander Wert, Henning Schulz, Christoph Heger, Roozbeh Farahbod
Generic Instrumentation and Monitoring Description for Software Performance Evaluation. ICPE (2015)
Alexander Wert, Marius Oehler, Christoph Heger, Roozbeh Farahbod
Automatic detection of performance anti-patterns in inter-component communications. QoSA (2014)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. 79 (2014)
Christoph Heger, Jens Happe, Roozbeh Farahbod
Automated root cause isolation of performance regressions during software development. ICPE (2013)
Dennis Westermann, Jens Happe, Roozbeh Farahbod
An experiment specification language for goal-driven, automated performance evaluations. SAC (2013)
Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer
Refactoring Abstract State Machine Models. ABZ (2012)
Dennis Westermann, Jens Happe, Rouven Krebs, Roozbeh Farahbod
Automated inference of goal-oriented performance prediction functions. ASE (2012)
Hamed Yaghoubi Shahir, Uwe Glässer, Roozbeh Farahbod, Piper J. Jackson, Hans Wehn
Generating test cases for marine safety and security scenarios: a composition framework. Secur. Informatics 1 (1) (2012)
Yagiz Onat Yazir, Yagmur Akbulut, Roozbeh Farahbod, Adel Guitouni, Stephen W. Neville, Sudhakar Ganti, Yvonne Coady
Autonomous Resource Consolidation Management in Clouds Using IMPROMPTU Extensions. IEEE CLOUD (2012)
Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. ICFEM (2011)
Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
Engineering Situation Analysis Decision Support Systems. EISIC (2011)
Roozbeh Farahbod, Uwe Glässer
The CoreASM modeling framework. Softw. Pract. Exp. 41 (2) (2011)
Michael Altenhofen, Roozbeh Farahbod
Bârun: A Scripting Language for CoreASM. ASM (2010)
Yagiz Onat Yazir, Chris Matthews, Roozbeh Farahbod, Stephen W. Neville, Adel Guitouni, Sudhakar Ganti, Yvonne Coady
Dynamic Resource Allocation in Computing Clouds Using Distributed Multiple Criteria Decision Analysis. IEEE CLOUD (2010)
Yagiz Onat Yazir, Roozbeh Farahbod, Adel Guitouni, Sudhakar Ganti, Yvonne Coady
Adaptive routing in mobile ad hoc networks based on decision aid approach. MOBIWAC (2010)
Vincenzo Gervasi, Roozbeh Farahbod
JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis (2009)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma
CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis (2009)
Roozbeh Farahbod, Uwe Glässer
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ (2008)
Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA (2008)
Roozbeh Farahbod, Uwe Glässer, Éloi Bossé, Adel Guitouni
Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design. FUSION (2008)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae 77 (1-2) (2007)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
An abstract machine architecture for web service based business process management. Int. J. Bus. Process. Integr. Manag. 1 (4) (2006)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Abstract State Machines (2005)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
An Abstract Machine Architecture for Web Service Based Business Process Management. Business Process Management Workshops (2005)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS (2005)
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
Specification and Validation of the Business Process Execution Language for Web Services. Abstract State Machines (2004)