Source: https://roozbeh.ca/pro
Timestamp: 2019-04-22 20:37:30+00:00

Document:
Working in an inter-cultural environment with close collaboration with teams in China, Europe and USA.
Autonomous tools, extensible architectures, scalable and reliable services, microservices, containers, cloud, and all that jazz!
Aryan Dadashi, "Data generation for performance evaluation of data-centric systems", Master Thesis, Karlsruhe Institute of Technology, 2013.
Faraz Ahmed, "Investigating performance-influencing factors in SAP HANA query processing", Bachelor Thesis, Fachhochschule Mannheim, 2012.
Organizer of a special session on ASM Tools: Execution, Analysis, Validation, and Verification at the14th International ASM Workshop (ASM’07) in Norway, June 2007.
Reviewer for journals, such as Automated Software Engineering, Logical Methods in Computer Science, Software Practice and Experience, and Science of Computer Programming, in addition to various conference proceedings.
Microtools: Redefining Development Tools and IDEs. Introducing a new approach in providing tools as a service. Huawei's ERC Talks. Munich, Germany. December 2016.
Dextor: Because ''Realistic'' Test Data Matters. Introducing Data Extractor and Generator toolkit (co-presenter). SAP d-kom 2015 selected talk. SAP Headquarters, Walldorf, Germany. March 2015.
Dr. Hampton, S01-E06: Through the Looking Glass. Introducing HANA Performance Toolchain (co-presenter). SAP d-kom 2013 DemoJam Presentation. SAP Headquarters, Walldorf, Germany. March 2013.
An Extensible Model Framework for High-level Executable Specifications of Distributed Systems. The CoreASM Workshop. University of Ulm, Germany. October 2012.
Performance Analysis of Software Components. Future Internet Private Partnership Program (FI-PPP) Software Architects Week. Zurich University of Applied Sciences. Zurich, Switzerland. May 2012.
Using CoreASM for High Level Design, Analysis and Validation of Distributed Systems Models. First International Conference on Abstract State Machines, B, and Z (ABZ 2008), London, UK. September 2008.
Executing ASM Models with CoreASM. Dagstuhl Seminar (07241) on Tools for the Model-based Development of Certifiable, Dependable Systems. Schloss Dagstuhl, Germany. June 2007.
R. Farahbod, V. Gervasi, and U. Glässer. Executable formal specifications of complex distributed systems with CoreASM. Science of Computer Programming 79, pp. 23–38. 2014.
H. Y. Shahir, U. Glässer, R. Farahbod, P. Jackson, H. Wehn. Generating test-cases for marine safety and security scenarios: a composition framework. Security Informatics. Vol. 1, pp. 4–25. 2012.
R. Farahbod and U. Glässer. The CoreASM Modeling Framework. Software: Practice and Experience. Vol. 41. No. 2. pp. 167–178. 2011.
R. Farahbod, V. Gervasi, U. Glässer, and G. Ma. CoreASM Plug-in Architecture. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115. Springer 2009., pages 147-169.
V. Gervasi and R. Farahbod. JASMine: Accessing Java Code from CoreASM. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115. Springer 2009., pages 147-169.
R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. Fundamenta Informaticae. Vol. 77. No. 1-2. pp. 71-103. 2007.
R. Farahbod, U. Glässer, and M. Vajihollahi. An Abstract Machine Architecture for Web Service Based Business Process Management. International Journal on Business Process Integration and Management. Vol. 1, No. 4. pp. 279-291. 2006.
C. Heger, A. Wert, R. Farahbod. Vergil: Guiding developers through performance and scalability inferno. In Proceedings of the Ninth International Conference on Software Engineering Advances (ICSEA), pages 598-608. IARIA, 2014.
A. Wert, M. Oehler, C. Heger, R. Farahbod. Automatic Detection of Performance Anti-patterns in Inter-component Communications. In Proceedings of the 10th International Conference on Quality of Software Architecture (QoSA '14). Lille, France, 2014.
C. Heger, J. Happe, R. Farahbod. Automated Root Cause Isolation of Performance Regressions during Software Development. In Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), pages 27-38. 2013.
D. Westermann, J. Happe, and R. Farahbod. An Experiment Specification Language for Goal-Driven, Automated Performance Evaluations. In Proceedings of the 28th ACM Symposium On Applied Computing (SAC 2013). Coimbra, Portugal. 2013.
D. Westermann, J. Happe, R. Krebs, R. Farahbod. Automated Inference of Goal-oriented Performance Prediction Functions. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pages 190–199, NY, USA, 2012.
H. Y. Shahir, R. Farahbod, U. Glässer. Refactoring Abstract State Machine Models. In: Abstract State Machines, Alloy, B, VDM, and Z, LNCS volume 7316, pages 345–348. Springer, 2012.
O. Yazir, Y. Akbulut, R. Farahbod, A. Guitouni, S. W. Neville, S. Ganti, and Y. Coady. Autonomous Resource Consolidation Management in Clouds Using IMPROMPTU Extensions. In Rong Chang, editor, IEEE CLOUD, pages 614–621. IEEE, 2012.
R. Farahbod, V. Avram, U. Glässer and A. Guitouni. A Formal Approach to High-Level Design of Situation Analysis Decision Support Systems. In Shengchao Qin and Zongyan Qiu (eds.), Formal Methods and Software Engineering (Proc. 13th Intl. Conference on Formal Engineering Methods, Durham, UK, 2011). LNCS volume 6991, Springer. Oct. 2011.
R. Farahbod, V. Avram, U. Glässer, and A. Guitouni. Engineering Situation Analysis Decision Support Systems. European Intelligence and Security Informatics Conference (EISIC 2011), Athens, Greece. pp. 10-18. 2011.
O. Yazir, R. Farahbod, A. Guitouni, S. Ganti, and Y. Coady. Adaptive Routing in Mobile Ad Hoc Networks Based on Decision Aid Approach. In Proceeding of The 8th ACM International Symposium on Mobility Management and Wireless Access (ACM MobiWac 2010). Bodrum, Turkey. Oct. 2010.
O. Yazir, C. Matthews, R. Farahbod, Y. Coady, S. Neville, S. Ganti, A. Guitouni. Dynamic Resource Allocation in Computing Clouds Using Distributed Multiple Criteria Decision Analysis. In: Proceedings of the 3rd IEEE International Conference on Cloud Computing (CLOUD 2010). Miami, Florida, USA. July 2010.
M. Altenhofen and R. Farahbod. Bârun: A Scripting Language for CoreASM. In: Proceedings of the 2nd International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010). Orford, Canada. February 2010.
R. Farahbod, U. Glässer, and A. Khalili. A Multi-layer Network Architecture for Dynamic Resource Configuration & Management of Multiple Mobile Resources in Maritime Surveillance. In: Proceedings of SPIE Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications. Vol. 7345. Orlando, USA. 2009.
R. Farahbod, U. Glässer, P. Jackson and M. Vajihollahi. High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Porto Sani, Greece. October 2008.
R. Farahbod, U. Glässer, É. Bossé, and A. Guitouni. Integrating Abstract State Machines and Interpreted Systems for Situation Analysis Decision Support Design. In: Proceedings of the 11th International Conference on Information Fusion (Fusion 2008), July 2008.
R. Farahbod, U. Glässer, and H. Wehn. Dynamic Resource Management for Adaptive Distributed Information Fusion in Large Volume Surveillance. In: Proceedings of SPIE Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications. Vol. 6974. Orlando, USA. 2008.
R. Farahbod, U. Glässer, and G. Ma. Model Checking CoreASM Specifications. In: Proceedings of the 14th International Abstract State Machines Workshop (ASM’07). Norway, June 7-9, 2007.
R. Farahbod, U. Glässer, and H. Wehn. CanCoastWatch Dynamic Configuration Manager. In: Proceedings of the 14th International Abstract State Machines Workshop (ASM’07). Norway, June 7-9, 2007.
R. Farahbod. Design and Specification of the CoreASM Execution Engine and Plugins. Software Documentation. 2009.
R. Farahbod and U. Glässer. Dynamic Resource Management for Adaptive Distributed Information Fusion in Large Volume Surveillance—Phase One. Technical Report SFU-CMPT-TR-2008-08. Simon Fraser University. Canada. April 2008.
R. Farahbod, V. Gervasi, and U. Glässer. Design and Specification of the Core-ASM Execution Engine, Part 1: the Kernel. Technical Report SFU-CMPT-TR-2006-09. Simon Fraser University. Canada. February 2005.
R. Farahbod, V. Gervasi, and U. Glässer. Design and Specification of the Core-ASM Execution Engine. Technical Report SFU-CMPT-TR-2005-02. Simon Fraser University. Canada. February 2005.
R. Farahbod, U. Glässer, and M. Vajihollahi. Abstract Operational Semantics of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2005-04. Simon Fraser University. Canada. February 2005.
R. Farahbod, U. Glässer, M. Vajihollahi. Specification and Validation of the Business Process Execution Language for Web Services. Technical Report. SFU-CMPT-TR-2003-06. Simon Fraser University. Canada. September 2003.
Copyright © 2009 - 2019 Roozbeh Farahbod.

References: V. 
 V. 

V. 
 V. 
 V. 
 V. 
 V. 
 V.