Contact

Noran Azmy

Doctoral Researcher

 

Max-Planck-Institut für Informatik
Campus E1 4
66123 Saarbrücken

+49 681 9325-2908

azmy@mpi-inf.mpg.de

 

Physical Address: Building E1 5, room 640

Education

  • 2012 - Present: PhD student, Max Planck Institute for Informatics, Saarland University, Saarbrücken, Germany.
  • 2012: M.Sc. in Computer Science, Max Planck Institute for Informatics, Saarland University, Saarbrücken, Germany.
  • 2010: M.Sc. in Computer Science, Johannes Kepler University, Linz, Austria.
  • 2009: B.Sc. in Computer Science and Engineering, German University in Cairo, Egypt.

LuPastry+

  • LuPastry The original TLA+ specification and proof files for LuPastry, due to Tianxiang Lu. Retrieved on 11/01/2016 from http://tiit.lu/fmPastry/fm.html
  • LuPastry+ TLA+ specification and proof files for LuPasty+. Includes improved LuPastry model and new complete proof of correctness.
  • Simplified LuPastry+ TLA+ specification and proof files for Simplified LuPasty+.