Roozbeh Farahbod

According to our database, Roozbeh Farahbod authored at least 25 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

IMPROMPTU: A Reactive and Distributed Resource Consolidation Manager for Clouds.

Yagiz Onat Yazir, Adel Guitouni, Stephen W. Neville, Roozbeh Farahbod

Int. J. Inf. Technol. Decis. Mak., 2018

2015

Generic Instrumentation and Monitoring Description for Software Performance Evaluation.

Alexander Wert, Henning Schulz, Christoph Heger, Roozbeh Farahbod

Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

2014

Executable formal specifications of complex distributed systems with CoreASM.

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer

Sci. Comput. Program., 2014

Automatic detection of performance anti-patterns in inter-component communications.

Alexander Wert, Marius Oehler, Christoph Heger, Roozbeh Farahbod

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013

Automated root cause isolation of performance regressions during software development.

Christoph Heger, Jens Happe, Roozbeh Farahbod

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

An experiment specification language for goal-driven, automated performance evaluations.

Dennis Westermann, Jens Happe, Roozbeh Farahbod

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012

Generating test cases for marine safety and security scenarios: a composition framework.

Hamed Yaghoubi Shahir, Uwe Glässer, Roozbeh Farahbod, Piper J. Jackson, Hans Wehn

Secur. Informatics, 2012

Automated inference of goal-oriented performance prediction functions.

Dennis Westermann, Jens Happe, Rouven Krebs, Roozbeh Farahbod

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Refactoring Abstract State Machine Models.

Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Autonomous Resource Consolidation Management in Clouds Using IMPROMPTU Extensions.

Yagiz Onat Yazir, Yagmur Akbulut, Roozbeh Farahbod, Adel Guitouni, Stephen W. Neville, Sudhakar Ganti, Yvonne Coady

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011

The CoreASM modeling framework.

Roozbeh Farahbod, Uwe Glässer

Softw. Pract. Exp., 2011

A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems.

Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni

Proceedings of the Formal Methods and Software Engineering, 2011

Engineering Situation Analysis Decision Support Systems.

Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni

Proceedings of the European Intelligence and Security Informatics Conference, 2011

2010

Adaptive routing in mobile ad hoc networks based on decision aid approach.

Yagiz Onat Yazir, Roozbeh Farahbod, Adel Guitouni, Sudhakar Ganti, Yvonne Coady

Proceedings of the 8th ACM International Workshop on Mobility Management & Wireless Access, 2010

Bârun: A Scripting Language for CoreASM.

Michael Altenhofen, Roozbeh Farahbod

Proceedings of the Abstract State Machines, 2010

Dynamic Resource Allocation in Computing Clouds Using Distributed Multiple Criteria Decision Analysis.

Yagiz Onat Yazir, Chris Matthews, Roozbeh Farahbod, Stephen W. Neville, Adel Guitouni, Sudhakar Ganti, Yvonne Coady

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

JASMine: Accessing Java Code from CoreASM.

Vincenzo Gervasi, Roozbeh Farahbod

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

CoreASM Plug-In Architecture.

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.

Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi

Proceedings of the Leveraging Applications of Formal Methods, 2008

Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design.

Roozbeh Farahbod, Uwe Glässer, Éloi Bossé, Adel Guitouni

Proceedings of the 11th International Conference on Information Fusion, 2008

Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance.

Roozbeh Farahbod, Uwe Glässer

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

CoreASM: An Extensible ASM Execution Engine.

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer

Fundam. Informaticae, 2007

2006

An abstract machine architecture for web service based business process management.

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi

Int. J. Bus. Process. Integr. Manag., 2006

2005

A Formal Semantics for the Business Process Execution Language for Web Services.

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

2004

Specification and Validation of the Business Process Execution Language for Web Services.

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004