Professional Life

View Roozbeh Farahbod's profile on LinkedIn

Current Occupation

  • Huawei Technologies, European Research Center, Germany, Apr. 2015 to Now
    Senior Software Architect / Team Lead
    • Leading a team of developers, designers, researchers and consultants
    • Cloud-based Development Platform:
      • Key architect and development lead of a novel platform providing a Cloud-based software development environment to R&D developers (microservices, event-based architecture, container technology)
    • Data Analytics and Visualisation:
      • Collaboration with research institutes on ideation, design, and development of tools for data analytics and visualization in the context of software development
    • Automated Testing of Mobile Applications:
      • Research and collaboration with academia on design and development of novel tools for automated testing and quality validation of Android applications
    • 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!

Education

Academic Services

  • Principal advisor on thesis projects:
    • 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.
  • Program Committee Member, 
    • International Conference on Alloy, ASM, B, VDM, and Z (ABZ 2012)
    • International Symposium on Foundation of Open Source Intelligence and Security Informatics (FOSINT-SI 2012)
  • Organizing Committee Member, Knowledge Systems for Coalition Operations (KSCO 2010)
  • Program Committee Member, 
    • IEEE Intelligence and Security Informatics (ISI 2010)
    • Workshop on Tool Building in Formal Method (in conjunction with ABZ 2010)
  • 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 prestigious journals (e.g., LMCS and JUCS) and various conference proceedings

Teaching Experience

  • Software Engineering II (2003-2004)
    School of Computing Science, Simon Fraser University

Selected Talks & Tutorials

  1. 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.
  2. 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.
  3. An Extensible Model Framework for High-level Executable Specifications of Distributed Systems. The CoreASM Workshop. University of Ulm, Germany. October 2012.
  4. Performance Analysis of Software Components. Future Internet Private Partnership Program (FI-PPP) Software Architects Week. Zurich University of Applied Sciences. Zurich, Switzerland. May 2012.
  5. 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.
  6. Executing ASM Specifications with CoreASM. Advances in Software Engineering, Lipari International School for Computer Science Researchers. Italy. July 2007
  7. Executing ASM Models with CoreASM. Dagstuhl Seminar (07241) on Tools for the Model-based Development of Certifiable, Dependable Systems. Schloss Dagstuhl, Germany. June 2007.

Publications

Journal and Special Edition Publications

  1. 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.
  2. 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.
  3. R. Farahbod and U. Glässer. The CoreASM Modeling Framework. Software: Practice and Experience. Vol. 41. No. 2. pp. 167–178. 2011.
  4. 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.
  5. 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.
  6. 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.
  7. 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.

Conference Publications

  1. 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.
  2. 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.
  3. 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. 
  4. 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. 
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. H. Wehn, et al. A Testbed Simulator to Evaluate the Efficiency of Net-enabled Surveillance. In Proceedings of UVS Canada: Conference on Unmanned Vehicle Systems Canada. Montebello, PQ, Canada. November 7-10, 2006
  20. R. Farahbod, V. Gervasi, U. Glässer, and M. Memon. Design Exploration and Experimental Validation of Abstract Requirements. In: Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'06), Luxembourg, Grand-Duchy of Luxembourg, Essener Informatik Beitrage (June 2006)
  21. R. Farahbod and U. Glässer. Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In New Trends in Parallel and Distributed Computing, Proc. 6th International Heinz Nixdorf Symposium. Paderborn, Germany (2006)
  22. R. Farahbod, U. Glässer, and M. Vajihollahi. An Abstract Machine Architecture for Web Service Based Business Process Management. In Bussler, C. et al (Eds.): Business Process Management Workshops: BPM 2005. Lecture Notes in Computer Science, Volume 3812, Feb 2006, 144-157
  23. R. Farahbod, U. Glässer, and M. Vajihollahi. A Formal Semantics for the Business Process Execution Language for Web Services. In Savitri Bevinakoppa et al. (Eds.): Web Services and Model-Driven Enterprise Information Systems. Portugal. INSTICC Press (2005) 144-155
  24. R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. In D. Beauquier, E. Börger and A. Slissenko (Eds.): Proc. 12th International Workshop on Abstract State Machines. Paris, France (2005) 153-165
  25. R. Farahbod, U. Glässer, and M. Vajihollahi. Specification and Validation of the Business Process Execution Language for Web Services. In W. Zimmermann, B. Thalheim (Eds.): Abstract State Machines 2004. Germany. Springer-Verlag (2004) 78-95

Technical Reports

  1. R. Farahbod. Design and Specification of the CoreASM Execution Engine and Plugins. Software Documentation. 2009.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.