I am a computer scientist who appreciates the art of programming a lot. Therefore, I try to extend my programming skills by learning new concepts or approaches whenever possible.

This site gives some information about myself, and presents a short overview over some smaller programs that have been developed in my spare time.

I invite you to look around, and (hopefully) enjoy your stay here. Feel free to contact me if there should be any questions or remarks: show mail hide mail

Publications

1. Formal Methods for Probabilistic Energy Models
   Marcus Daum
   PhD thesis, Technische Universität Dresden, 2019
   Link
2. Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
   Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
   International Journal on Software Tools for Technology Transfer (STTT), Volume 20(2), pp 179-194, 2018
   Link
3. Advances in Symbolic Probabilistic Model Checking with PRISM
   Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
   Proceedings of the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 9636, pp 349-366, 2016
   Link
4. Locks: Picking key methods for a scalable quantitative analysis
   Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
   Journal of Computer and System Sciences (JCSS), Volume 81(1), pp 258-287, 2015
   Link
5. Energy-Utility Quantiles
   Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
   Proceedings of the 6th NASA Formal Methods Symposium (NFM), Lecture Notes in Computer Science 8430, pp 285-299, 2014
   Link
6. Probabilistic Model Checking and Non-standard Multi-objective Reasoning
   Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
   Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science 8411, pp 1-16, 2014
   Link
7. Waiting for Locks: How Long Does It Usually Take?
   Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
   Proceedings of the 17th International Workshop on Formal Methods for Industrial-Critical Systems (FMICS), Lecture Notes in Computer Science 7437, pp 47-62, 2012
   Link
8. Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
   Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
   Proceedings of the 7th Conference on Systems Software Verification (SSV), EPTCS 102, pp 156-166, 2012
   Link
9. Visual Report: A Concept to Support the Workflow in Oncological Software Applications
   Michael Schwier, Marcus Daum, Volker Dicken, Heinz-Otto Peitgen
   Proceedings of the 23rd International Congress and Exhibition of Computer Assisted Radiology and Surgery (CARS), pp 333-334, 2009
   Link

• The role of appearance and motion in action prediction
  Ayse Pinar Saygin, Waltraud Stadler
  Psychological research 76, pp 388-394, 2012
  Link
• Movement kinematics affect action prediction: comparing human to non-human point-light actions
  Waltraud Stadler, Anne Springer, Jim Parkinson, Wolfgang Prinz
  Psychological research 76, pp 395-406, 2012
  Link