Wintersemester 24 / 25
| Lab Course: Verification of Digital Circuits | Lab course, Master ESE / Computer Science, 6 ECTS Link to ILIAS course Materials First meeting will be on Oct 14, 14:00h in 00..022 in building 051. |
| Betriebssysteme | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) Übungsgruppeneinteilung über HISinOne ILIAS Kurs Download von Vorlesungsmaterialien |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. Webseite des ILIAS-Kurses Download von Vorlesungsmaterialien |
| Proseminar: Computerarithmetik | Proseminar: Bachelor Informatik / ESE |
| The Missing Semester: Linux, Tooling, and much more | Nur für Bachelorstudierende, Spezialvorlesung 6 ECTS Kurswebseite |
Sommersemester 2024
| Praktikum Embedded Systems Engineering | Language: German Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) Link zu den Materialien Einführungsveranstaltung: Mittwoch 17.4. um 14:15 in Raum 00-022 in Geb. 051 |
| Test and Reliability | Specialization course, ESE, Computer Science, 3+1 ECTS: 6 ILIAS Link |
| Praktikum Hardware Security | Nach Verteilung der Praktikumsunterlagen erfolgt die praktische Versuchdurchführung dezentral mit Hilfe der ChipWhisperer-Umgebung. Teilnahmevoraussetzung: Vorlesung Hardware Security and Trust |
Wintersemester 23/24
| The Missing Semester -- Linux, tooling and much more | Specialization course 6 ECTS, 3+1 |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. Webseite des ILIAS-Kurses Download von Vorlesungsmaterialien |
| Hardware Security and Trust | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. ILIAS Kurs Link zu Vorlesungsmaterialien |
| Automated Reasoning and Machine Learning | Seminar |
Sommersemester 2023
| Technische Informatik | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) ILIAS-Kurs Link zu den Materialien Wichtig: Die Einteilung der Übungsgruppen erfolgt im Rahmen der Veranstaltung (und nicht im HisInOne). |
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) Link zu den Materialien Einführungsveranstaltung: Mittwoch 19.4. um 14:15 in Raum 00-022 in Geb. 051 |
Wintersemester 22/23
| Betriebssysteme | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) Die Einteilung in die Übungsgruppen erfolgt in der ersten Vorlesungswoche über das eigene Übungsportal (und nicht über HISinOne). |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. Webseite des ILIAS-Kurses Download von Vorlesungsmaterialien |
Sommersemester 22
| Praktikum Hardware Security and Trust | Nach Verteilung der Praktikumsunterlagen erfolgt die praktische Versuchdurchführung dezentral mit Hilfe der ChipWhisperer-Umgebung. Wir treffen uns jeweils freitags von 11:00 -12:00 online zur Besprechung der Aufgaben und zur Beantwortung von Fragen. Ebenfalls um 11:00 h findet am Freitag, den 29.4.22, eine Online-Vorbesprechung statt. Die Zugangsdaten zur Vorbesprechung und zu den Treffen an den folgenden Freitagen werden in einer E-Mail am 26.4.22 verteilt. Um diese Mail zu erhalten ist es wichtig, dass Sie die Veranstaltung in HISInOne belegen. Teilnahmevoraussetzung: Vorlesung Hardware Security and Trust |
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) Einführungsveranstaltung: Mittwoch 27.4. um 13:15 in Raum 00-022 in Geb. 051 (unter Corona-Vorbehalt) Download der Materialien |
| Real-Time Operating Systems and Worst-Case Execution Times | Specialization course, 6 ECTS, 3+1 ILIAS course website materials download |
| Proseminar Decision Diagrams | Vorbesprechung: : Dienstag, 26.4., 17:30 h, in Raum 00-026 in Geb. 051 Vorträge: : jeweils dienstags, 12.7., 19.7., 26.7., 17:30 h, in Raum 00-026 in Geb. 051 ILIAS Kurs |
Wintersemester 21/22
| Hardware Security and Trust | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. Wir bieten die Vorlesung in einem hybriden Format an. Das heißt, an der Vorlesung kann LIVE vor Ort oder per Zoom teilgenommen werden. Nähere Informationen zum Ablauf und zu Zugangsdaten wird es in einer Mail am 18.10.21 geben. Um diese Mail zu erhalten ist es wichtig, dass Sie die Veranstaltung in HISInOne belegen. Die Vorlesung findet in der ersten Woche ausschließlich online statt. |
| Betriebssysteme | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) In dem Modul werden sowohl die hardwaremäßigen Voraussetzungen als auch die konzeptuellen Grundlagen von Betriebssystemen behandelt. Neben der Behandlung der Aufgaben von Betriebssystemen erfolgt eine Einführung in grundlegende Begriffe wie z.B. Dateisysteme, Prozesse, Nebenläufigkeit, wechselseitiger Ausschluss, Deadlocks bzw. Deadlockvermeidung und Schedulingmethoden. Aufbauend auf Lehrinhalte der Veranstaltung Technische Informatik werden in der Vorlesung auch Hardwareerweiterungen wie die Integration von Interrupts und Ein-/Ausgabeschnittstellen behandelt, die die Implementierung der erwähnten Betriebssystemkonzepte erst möglich machen. |
Sommersemester 2021
| Technische Informatik | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) Auf Grund der aktuellen Coronalage werden sowohl Vorlesung als auch Übung digital über Zoom / BigBlueButton abgehalten. Links finden Sie unter Zeit/Ort, bzw. im Übungsportal. Passwörter werden noch bekanntgegeben. Wichtig: Die Einteilung der Übungsgruppen erfolgt im Rahmen der Veranstaltung (und nicht im HisInOne). |
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) Aktueller Hinweis bzgl. Pandemie: Das Praktikum findet statt. Die Einführungsveranstaltung erfolgt online am 21.4. um 13:30- weitere Informationen folgen. Die Leistung kann Online erbracht werden und wird von uns an die jeweiligen gesetzlichen Rahmenbedingungen angepasst. MatLab ist unter einer Landeslizenz kostenlos für Studierende verfügbar. (siehe Beschreibung) |
Wintersemester 20/21
| Betriebssysteme | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) Wichtig: Aufgrund der aktuellen Situation wird diese Veranstaltung als Live-Vorlesung online angeboten. Zusätzlich werden Aufzeichnungen der Vorlesung zur Verfügung gestellt. Die Zugangsdaten zur Vorlesung und den Vorlesungsmaterialien erhalten Sie am 30.10.20 per Mail. (Sollten Sie keine Mail bekommen haben, kontaktieren Sie bitte den Assistenten der Vorlesung.) Die Einteilung in die Übungsgruppen erfolgt in der ersten Vorlesungswoche über das eigene Übungsportal (und nicht über HISinOne). |
Sommersemester 2020
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) Aktueller Hinweis bzgl. Pandemie: Das Praktikum findet statt. Die Einführungsveranstaltung erfolgt online am 13.5. um 13:00- weitere Informationen folgen. Die Leistung kann Online erbracht werden und wird von uns an die jeweiligen gesetzlichen Rahmenbedingungen angepasst. MatLab ist unter einer Landeslizenz kostenlos für Studierende verfügbar. (siehe Beschreibung) |
| Echtzeitbetriebssysteme und Worst-Case-Execution-Times / Real-Time Operating Systems and Worst-Case Execution Times | Spezialvorlesung (Bachelor Informatik, Bachelor Embedded Systems Engineering, Master Informatik) Hinweis: Bitte verfolgen Sie die Vorlesung anhand der zur Verfügung gestellten Aufzeichnungen. Nach Anschauen der Aufzeichnungen aus der Vorwoche gibt es eine Fragestunde am darauffolgenden Montag ab 16:15 h in Form eines Zoom-Meetings. Der Zugang zu dem Meeting erfolgt wie im ersten Video der Vorlesung beschrieben. Bitte stellen Sie (möglichst bis Freitag, 12:00 h) Fragen im Forum. |
Wintersemester 19/20
| Betriebssysteme | In dem Modul werden sowohl die hardwaremäßigen Voraussetzungen als auch die konzeptuellen Grundlagen von Betriebssystemen behandelt. Neben der Behandlung der Aufgaben von Betriebssystemen erfolgt eine Einführung in grundlegende Begriffe wie z.B. Dateisysteme, Prozesse, Nebenläufigkeit, wechselseitiger Ausschluss, Deadlocks bzw. Deadlockvermeidung und Schedulingmethoden. Aufbauend auf Lehrinhalte der Veranstaltung Technische Informatik werden in der Vorlesung auch Hardwareerweiterungen wie die Integration von Interrupts und Ein-/Ausgabeschnittstellen behandelt, die die Implementierung der erwähnten Betriebssystemkonzepte erst möglich machen. ILIAS Link |
Sommersemester 2019
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
Wintersemester 2018/19
| Technische Informatik | In der Vorlesung wird der Aufbau und Entwurf von Rechnern von der Gatterebene bis zur Anwendungsebene behandelt. Nach einem einführenden Überblick über die Arbeitsweise von Rechnern (Modellierung, CPU, Speicher, Zeichendarstellung und Zahldarstellung) liegt ein Schwerpunkt der Veranstaltung auf der Vermittlung der notwendigen Grundlagen zum Schaltkreisentwurf. Dazu gehören Boolesche Funktionen und Methoden ihrer Beschreibung, wie Entscheidungsdiagramme, Boolesche Ausdrücke und Schaltkreise. Elementare Methoden der Logiksynthese (z.B. Verfahren von Quine-McCluskey) werden eingeführt und erprobt. In einem weiteren Teil des Moduls widmen sich die Studierenden der Rechnerarithmetik. Ausgehend von verschiedenen Zahlendarstellungen werden Addierer, Multiplizierer und eine ALU entworfen und deren Komplexität abgeschätzt. Darüber hinaus werden Tristate-Treiber, speichernde Elemente und Busse eingeführt. Die Studierenden nutzen die erworbenen Kenntnisse zu Entwurf und Analyse eines kleinen Rechners (ausgehend von einzelnen Komponenten). Wichtig: Die Einteilung der Übungsgruppen erfolgt in der ersten Vorlesungswoche im Rahmen der Veranstaltung (und nicht im HisInOne). In der ersten Vorlesungswoche finden keine Übungen statt. |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. |
Sommersemester 2018
| Echtzeitbetriebssysteme und Worst-Case-Execution-Times / Real-Time Operating Systems and Worst-Case Execution Times | Spezialvorlesung (Bachelor Informatik, Bachelor Embedded Systems Engineering, Master Informatik) |
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
Wintersemester 17/18
| Embedded Systems | Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte). |
Sommersemester 2017
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. |
Wintersemester 16/17
| Embedded Systems | Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte). |
Sommersemester 16
| Echtzeitbetriebssysteme | Spezialvorlesung (Bachelor Informatik, Bachelor Embedded Systems Engineering, Master Informatik) |
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
Wintersemester 15/16
| Technische Informatik | Vorlesung im Bachelor-Studiengang Informatik+ESE, Magister Nebenfach, Informatik Lehramt Hauptfach (4+2 SWS, 8 ETCS) |
Sommersemester 15
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
| Rechnerarchitektur / Computer Architecture | Kursvorlesung |
| Reversible Logik und Quantumcomputer / Reversible Logic and Quantum Computing | Spezialvorlesung |
Wintersemester 14/15
| Cyber-Physical Systems – Discrete Models | Vorlesung im Masterstudiengang ESE, Master Informatik, Bachelor Informatik, Lehramt Informatik (3+1 SWS, 6 ETCS) |
| Verifikation eingebetteter Systeme | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. |
Wintersemester 13/14
| Technische Informatik | Vorlesung im Bachelor-Studiengang Informatik+ESE, Magister Nebenfach, Informatik Lehramt Hauptfach (4+2 SWS, 8 ETCS) |
Sommersemester 2013
| Rechnerarchitektur | Kursvorlesung |
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
Wintersemester 2012/13
| Entwurf eingebetteter Systeme mit Statecharts | Projekt im Bachelor-Studiengang Informatik |
| Modellierung Eingebetteter Systeme | Praktikum im Master-Studiengang Informatik |
| Embedded Systems | Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte). |
| Bachelor-Projekt | Projekt in den Bachelorstudiengängen Embedded Systems Engineering und Informatik |
Sommersemester 2012
| Praktikum Embedded Systems Engineering | Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS) |
| Echtzeitsbetriebssysteme und Zuverlässigkeit | Spezialvorlesung (Bachelor Informatik, Bachelor Embedded Systems Engineering, Master Informatik) |
Wintersemester 2011/12
| Systeme I | Vorlesung im Bachelor-Studiengang (2+1 SWS, 4 ETCS) |
| Modellierung eingebetteter Systeme | Praktikum im Masterstudiengang, 4 SWS, 6 ETCS |
| Entwurf eingebetteter Systeme mit Statecharts | Projekt im Bachelorstudiengang Informatik, 4 SWS, 6 ETCS Projekt im Bachelorstudiengang ESE, 3 SWS, 5 ETCS |
Sommersemester 2011
| Proseminar Computerarithmetik | Proseminar |
| Rechnerarchitektur | Kursvorlesung |
Wintersemester 10/11
| Technische Informatik | Vorlesung im Bachelor-Studiengang, Magister Nebenfach, Informatik Lehramt Hauptfach |
Sommersemester 10
| Modellierung eingebetteter Systeme | Praktikum im Masterstudiengang, 4 SWS, 6 ETCS |
| Entwurf eingebetteter Systeme mit Statecharts | Projekt im Bachelorstudiengang, 4 SWS, 6 ETCS |
| Proseminar Computerarithmetik | Proseminar |
| Eingebettete Systeme II | Spezialvorlesung (Bachelor, Master, Diplom), Vertiefungsgebiet Rechnerarchitektur und Betriebssysteme |
Wintersemester 09/10
| Eingebettete Systeme I | Spezialvorlesung, Vertiefungsgebiet "Rechnerarchitektur und Betriebssysteme" |
Sommersemester 09
| Rechnerarchitektur | Kursvorlesung !!! Ergebnisse Wiederholungsklausur sind online !! Die Klausureinsicht ist am Mittwoch den 14.04 und am Donnerstag den 15.04 jeweils von 9:15 - 11:30 und 14:30 - 16:00 in meinem Büro 051-02-032. Schreibt mir bitte eine Mail (morbe@informatik.uni-freiburg.de) wenn und wann Ihr die Klausur in diesem Zeitraum einsehen wollt. |
| Seminar SAT-basierte Verfahren im Schaltungsentwurf | Das Seminar findet als Blockveranstaltung zum Semesterende statt. Die Vorbesprechung findet am Mittwoch, 29.4.09, 13:15 h im Hardwarepool (Geb. 51, Erdgeschoss) statt. |
| Oberseminar Verifikation Eingebetteter Systeme | Oberseminar der Arbeitsgruppe |
Wintersemester 08/09
| Systeme I | Vorlesung im Bachelor-Studiengang (2+1 SWS, 4 ETCS) |
| Verifikation eingebetteter Systeme | Spezialvorlesung |
| Seminar Satisfiability Modulo Theories |
Sommersemester 08
| Eingebettete Systeme II | Spezialvorlesung (Bachelor, Master, Diplom), Vertiefungsgebiet Rechnerarchitektur und Betriebssysteme |
| Entwurf eingebetteter Systeme mit Statecharts | Projekt im Bachelorstudiengang, 4 SWS, 6 ETCS |
| Modellierung eingebetteter Systeme | Praktikum im Diplom- oder Masterstudiengang, 4 SWS, 6 ETCS |
| Oberseminar Verifikation Eingebetteter Systeme | Oberseminar |
Wintersemester 07/08
| Technische Informatik | Vorlesung im Bachelor-Studiengang, Magister Nebenfach, Informatik Lehramt Hauptfach |
| Eingebettete Systeme I | Spezialvorlesung, Vertiefungsgebiet "Rechnerarchitektur und Betriebssysteme" |
Sommersemester 2007
| Rechnerarchitektur | Kursvorlesung |
Wintersemester 06/07
| Technische Informatik | Vorlesung im Bachelor-Studiengang, Magister Nebenfach, Informatik Lehramt Hauptfach Die KLAUSUREINSICHT findet am 18.04. von 9:00-12:00 und am 19.04. von 13:00-16:00 in Raum 051-01-31 statt. Details dazu im Forum (http://abs.informatik.uni-freiburg.de/phorum/list.php?36). |
| Verifikation, Zuverlässigkeit und Test I | Spezialvorlesung |
Sommersemester 06
| Eingebettete Systeme II | Spezialvorlesung im Hauptstudium, Vertiefungsgebiet Rechnerarchitektur |
| Verifikation und Fehlerdiagnose | Seminar |
| Computer-Aided Engineering | Praktikum im Hauptstudium/Masterstudiengang |
Wintersemester 05/06
| Systeme I | Vorlesung im Bachelor-Studiengang |
| WINFOLine Technische Informatik | |
| Eingebettete Systeme I | Wahlpflichtveranstaltung: Bachelor of Science (6.Semester) Master of Science (2.Semester) |
| Modellierung Eingebetteter Systeme | Praktikum |
Sommersemester 05
| Rechnerarchitektur | Die Vorlesung ist eine Hauptstudiums-Veranstaltung. Für Studenten des Diplomstudienganges Informatik gehört sie zu den Pflichtveranstaltungen. |
| Computer-Aided Engineering | Praktikum im Hauptstudium |
| Technische Informatik II | Die Veranstaltung ist für Studenten des Diplomstudienganges und des Bachelorstudienganges nach der alten Studienordnung von 2001 verbindlich. (In der neuen Studienordnung von 2004 des Bachelorstudienganges ist der Zyklus Technische Informatik I und II durch eine einzige Vorlesung Technische Informatik ersetzt.) |
| Oberseminar Verifikation und Fehlerdiagnose | Oberseminar |
Wintersemester 04/05
| Heuristiken zur Lösung von SAT- und QSAT-Problemen | Block-Seminar |
| Systeme | Vorlesung im Bachelor-Studiengang |
| Embedded Systems II | Spezialvorlesung im Hauptstudium |
| Verifikation und Synthese von Hardware | Oberseminar |
Sommersemester 04
| Technische Informatik 2 | Vorlesung im Grundstudium |
| Computer-Aided Engineering | Praktikum im Hauptstudium |
| Eingebettete Systeme | Spezialvorlesung im Hauptstudium |
| Hardwareverifikation | Oberseminar |
Wintersemester 03/04
| Technische Informatik | Vorlesung im Grundstudium |