IDEAS Start Here !

  • Home
  • Biography
  • Research Interests
  • Projects
  • Teaching Assistant
  • Calendar
  • Related Links

Related Links

  • Enhanced Configuration Generation Approach for Highly Available COTS Based Systems
  • Patent (WO2015110867): A PATTERN BASED CONFIGURATION METHOD FOR MINIMIZING THE IMPACT OF COMPONENT FAILURES
  • Patent (WO2015140678): AVAILABILITY-ESTIMATE BASED CONFIGURATION GENERATION
  • Pattern-Based Generation of AMF Configurations (my Master's thesis)
  • Enhanced Configuration Generation Approach for Highly Available COTS Based Systems
  • NECSIS Project
  • Waterloo Formal Methods Lab (WatForm)
  • MAGIC Project
  • Service Availability: Principles and Practice, Maria Toeroe (Editor), Francis Tam (Editor)

My Favorite Quote

Music is a higher revelation than all wisdom and philosophy.
-Ludwig van Beethoven

Get In Touch

Address:

Room DC2551B, Waterloo Formal Methods Lab (WatForm), Davis Centre, UWaterloo (map)

Email:

ppourali@uwaterloo.ca

Social links:

  • © Design: Parsa Pourali