Specification and Validation of the Business Process Execution Language for Web Services. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (Abstract State Machines, 2004)

CoreASM: An Extensible ASM Execution Engine. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer (Abstract State Machines, 2005)

An Abstract Machine Architecture for Web Service Based Business Process Management. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (Business Process Management Workshops, 2005)

A Formal Semantics for the Business Process Execution Language for Web Services. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (WSMDEIS, 2005)

Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. - Roozbeh Farahbod; Uwe Glässer (ABZ, 2008)

Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design. - Roozbeh Farahbod; Uwe Glässer; Éloi Bossé; Adel Guitouni (FUSION, 2008)

High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. - Roozbeh Farahbod; Uwe Glässer; Piper J. Jackson; Mona Vajihollahi (ISoLA, 2008)

CoreASM Plug-In Architecture. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer; George Ma (Rigorous Methods for Software Construction and Analysis, 2009)

JASMine: Accessing Java Code from CoreASM. - Vincenzo Gervasi; Roozbeh Farahbod (Rigorous Methods for Software Construction and Analysis, 2009)

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 (IEEE CLOUD, 2010)

Bârun: A Scripting Language for CoreASM. - Michael Altenhofen; Roozbeh Farahbod (ASM, 2010)

Adaptive routing in mobile ad hoc networks based on decision aid approach. - Yagiz Onat Yazir; Roozbeh Farahbod; Adel Guitouni; Sudhakar Ganti; Yvonne Coady (MOBIWAC, 2010)

Engineering Situation Analysis Decision Support Systems. - Roozbeh Farahbod; Vladimir Avram; Uwe Glässer; Adel Guitouni (EISIC, 2011)

A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. - Roozbeh Farahbod; Vladimir Avram; Uwe Glässer; Adel Guitouni (ICFEM, 2011)

The CoreASM modeling framework. - Roozbeh Farahbod; Uwe Glässer (Softw. Pract. Exp., 2011)

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 (IEEE CLOUD, 2012)

Refactoring Abstract State Machine Models. - Hamed Yaghoubi Shahir; Roozbeh Farahbod; Uwe Glässer (ABZ, 2012)

Automated inference of goal-oriented performance prediction functions. - Dennis Westermann; Jens Happe; Rouven Krebs; Roozbeh Farahbod (ASE, 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)

An experiment specification language for goal-driven, automated performance evaluations. - Dennis Westermann; Jens Happe; Roozbeh Farahbod (SAC, 2013)

Automated root cause isolation of performance regressions during software development. - Christoph Heger; Jens Happe; Roozbeh Farahbod (ICPE, 2013)

Automatic detection of performance anti-patterns in inter-component communications. - Alexander Wert; Marius Oehler; Christoph Heger; Roozbeh Farahbod (QoSA, 2014)

Executable formal specifications of complex distributed systems with CoreASM. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer (Sci. Comput. Program., 2014)

Generic Instrumentation and Monitoring Description for Software Performance Evaluation. - Alexander Wert; Henning Schulz; Christoph Heger; Roozbeh Farahbod (ICPE, 2015)

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)