Teaching Activities of Thomas Noll

Courses

Summer 2006:

Software Model Checking (L2E2)

Winter 2005/06:

Modelling Concurrent Systems (L2E1)

Foundations of Informatics - a Bridging Course (3rd week; L1E1)

Winter 2004/05:

Semantics of Programming Languages (L2E1)

Winter 2003/04:

Formal Models of Concurrency (L2E1)

Winter 2002/03:

Semantik von Programmiersprachen (Semantics of Programming Languages; L2E1)

Winter 2001/02:

Programming Concurrent Systems (L2)

Winter 2000/01:

Modelling Concurrent Systems (L2E1; with K. Indermark)

Winter 1999/2000:

Rewriting Logic as a Semantic Framework for Concurrency (KTH Stockholm; L2E1)

Winter 1998/99:

Semantik und Verifikation verteilter Systeme (Semantics and Verification of Distributed Systems; L4E2; with M. Leucker)
Script [1000 KBPostScript.Gzip]

Spring 1998:

Semantik von Programmiersprachen (Semantics of Programming Languages; L4E2)
Script [300 KB PostScript.Gzip]

Winter 1996/97:

Semantik von Programmiersprachen (Semantics of Programming Languages; Philipps-Universität Marburg; L2E2)
Script [160 KB PostScript.Gzip]

Winter 1995/96:

Parallele Prozeßkalküle (Parallel Process Calculi; L2E1)

MSc Projects

• Anupam Kaul:
  On-Line Matching of Semantic Web Services in Ambient Intelligence Environments
  Master Thesis, RWTH Aachen University, 2006, 77 pages.
  (First referee: Prof. Spaniol, Lehrstuhl für Informatik IV)
  (PDF)
• Martin Neuhäußer:
  Abstraktion und Model Checking von Core Erlang-Programmen in Maude
  Diplomarbeit, RWTH Aachen University, 2005, 156 pages.
  (PostScript, PDF)
• Paul Tawiah:
  Modelling Core Erlang in the Pi-Calculus: Translations and Correctness Proofs
  Master Thesis, RWTH Aachen University, 2005, 81 pages.
• Jose Alberto Mejia Villar:
  Decision Algorithms for the Bisimulation Problem of Finite-State Processes
  Master Thesis, RWTH Aachen University, 2005, 62 pages.
• Stefan Rieger:
  Analyse und Optimierung linearen Codes
  Diplomarbeit, RWTH Aachen University, 2005, 99 pages.
• Chanchal Kumar Roy:
  Modelling Programming Languages for Concurrent and Distributed Systems in Specification Languages
  Master Thesis, RWTH Aachen University, 2004, 157 pages.
  (Title page, Chapter 0, Chapter 1, Chapter 2, Chapter 3, Chapter 4, Chapter 5, Chapter 6, Chapter 7, Chapter 8, Chapter 9, References)
• Stephan Küpper:
  Gleichungsbasierte Abstraktionen für Erlang-Programme
  Diplomarbeit, RWTH Aachen University, 2003, 105 pages.
  (PostScript, PDF)
• Vazha Amiranashvili:
  A Rewriting Logic Formalization of Core Erlang Semantics
  Master Thesis, RWTH Aachen University, 2002, 146 pages.
  (PostScript, PDF)
• Sven Dorf:
  Transaktionsbasierte Anomalieerkennung für sicherheitsrelevante System- und Anwendungsprozesse
  Diplomarbeit, RWTH Aachen University, 2000, 110 pages.
  (Main supervisor: R. Büschkes, Lehrstuhl für Informatik IV)
• Mark Borning:
  Transaktionsbasierte Anomalieerkennung in Kommunikationsnetzen
  Diplomarbeit, RWTH Aachen University, 1999, 124 pages.
  (Main Supervisor: R. Büschkes, Lehrstuhl für Informatik IV)
• Achim Müller:
  Syntaktische Transformationen natürlichsprachlicher Sätze - Baumtransformationen
  Diplomarbeit, RWTH Aachen University, 1996, 120 pages.
• Frank Huch:
  Syntaktische Analyse natürlichsprachlicher Sätze - Fehleranalyse und Recovery
  Diplomarbeit, RWTH Aachen University, 1996, 126 pages.
• Stefan Roßmanith:
  Kombination von LR-Parsing und paralleler Auswertung attributierter Grammatiken
  Diplomarbeit, RWTH Aachen University, 1996, 106 pages.
• Olaf Chitil:
  Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung
  Diplomarbeit, RWTH Aachen University, 1995, 191 pages.
• Michael Zenzes:
  Attributierte Grammatiken höherer Ordnung und Logikprogramme
  Diplomarbeit, RWTH Aachen University, 1995, 100 pages.
• Marc Spielmann:
  Vergleich von primitiv rekursiven Funktionen höherer Ordnung mit mehrfach rekursiven Funktionen
  Diplomarbeit, RWTH Aachen University, 1995, 137 pages.
• Ingo Krahn:
  Fehleranalyse und Recovery bei syntaktischen Transformationen natürlichsprachlicher Texte
  Diplomarbeit, RWTH Aachen University, 1995, 127 pages.
• Jürgen Nelz:
  Die Berechnungsstärke attributierter Grammatiken höherer Ordnung
  Diplomarbeit, RWTH Aachen University, 1995, 213 pages.
• Michael Mosler:
  Implementierung eines Parallelisierungsalgorithmus für imperative Programme
  Diplomarbeit, RWTH Aachen University, 1994, 88 pages.
• Can Adam Albayrak:
  Vergleichende Gegenüberstellung der Parameterübergabemechanismen Call-by-name und Call-by-value im Rahmen funktionaler Programme
  Diplomarbeit, RWTH Aachen University, 1993, 146 pages.
• Klaudia Bock:
  Erarbeitung eines objektorientierten Konzeptes zur Editierung statischer Eigenschaften und zur Spezifikation des dynamischen Verhaltens von Applikationsobjekten
  Diplomarbeit, RWTH Aachen University, 1992, 115 pages.