Humboldt-Universität zu Berlin, Institut für Informatik

Dorian Weber

Mitarbeiter am Lehrstuhl für Systemarchitektur

Adresse: RUD25, Raum 3.326
Telefon: (030) 2093-41153
E-Mail: weber@informatik

Seminar- und Diplomarbeiten

• (2015) Diplomarbeit: Über die Konstruktion von Compilern für höhere Zielsprachen
  • PDF-Version

• (2009) Seminar Model-Checking: Symbolisches SAT-basiertes Model-Checking
  • PDF-Version der Folien
  • 2-Bit Zähler Beispielspezifikation
  • Dining Philosophers Beispielspezifikation
  • die computergestützten Beispiele benutzen NuSMV

• (2008) Seminar Prozessortechnologien: Raytracing mit CUDA
  • Vortragsfolien

• (2007) Entrepreneurship: Gamesquad Businessplan
  • PDF-Version
  • Präsentationsfolien
• 11. Platz unter 427 eingereichten Businessplänen in der ersten Runde im BPW 2007

• (2006) Seminar Compilergeneratoren: Lemon Parsergenerator
  • PDF-Version der Vortragsfolien
  • dazu: GNU-Style Präprozessor realisiert mit Lemon

• (2006) Technische Informatik 2: Projekt Radarbrille
  • PDF-Version
  • Vortragsfolien

• (2005) Proseminar Grenzen der Berechenbarkeit: Gödels Incompleteness Theorems
  • PDF-Version des Scriptes
  • Vortragsversion

Vorlesungsskripte

• WS 07/08: Logik in der Informatik (Prof. Grohe)
  • meine Zusammenfassung der wichtigsten Sätze aus der Vorlesung als Prüfungsvorbereitung
  • PDF-Version
  • LaTeX-Quellen

• SS 08: Theoretische Physik II: Elektrodynamik (Dr. Dorn)
  • Vorlesungsskript, das ich zusammen mit Moritz W. Lemm, unterstützt von Dr. Dorn geschrieben habe
  • PDF zum Lesen am Rechner
  • PDF für doppelseitigen Druck ohne Bindekorrektur
  • PDF für doppelseitigen Druck mit 2 cm Bindekorrektur
  • LaTeX-Quellen

Publikationen

• Klaus Ahrens, Ingmar Eveslage, Joachim Fischer, Frank Kühnlenz, and Dorian Weber. "The challenges of using SDL for the development of wireless sensor networks." In SDL 2009: Design for Motes and Mobiles, pp. 200-221. Springer Berlin Heidelberg, 2009.
• Dorian Weber, Markus Scheidgen, and Joachim Fischer. "Exchanging the Target-Language in Existing, Non-Metamodel-Based Compilers" In International Conference on System Analysis and Modeling, pp. 196-210. Springer International Publishing, 2016.
• Dorian Weber, and Joachim Fischer. "Static Syntax Validation for Code Generation with String Templates" In SDL 2017: Model-Driven Engineering for Future Internet, pp. 18-29. Springer, Cham, 2017.
• Dorian Weber, and Joachim Fischer. Process-Based Simulation with Stackless Coroutines In Proceedings of the 12th System Analysis and Modelling Conference, pp. 84-93.
• Dorian Weber, Paula Wiesner, and Joachim Fischer. A Closer Look at Process-Based Simulation with Stackless Coroutines, In Information and Software Technology, 2022, 141.

Software

• 2009: DeadStrip
  • performs dependency analysis for sections on object files and removes unused functions/data from the final exe
  • this project was formerly known as SlipOff - I decided to name it differently in order to emphasize what it does
  • Separate page