@Misc{		  vack:formal,
  author	= {Leon Vack},
  title		= {Formal Verification of Selected Optimizations for Run-Time
		  Monitoring in Isabelle/HOL},
  institution	= {TU Darmstadt},
  year		= 2024,
  howpublished	= {Bachelor's thesis, TU Darmstadt}
}