Visitenkarte - Alle Veranstaltungen für "Prof. Dr. Martin Georg Fränzle"
Aktuelle Lehrveranstaltungen für Prof. Dr. Martin Georg Fränzle
Sommersemester 2024
- 2.01.202 Praktikum Technische Informatik
- 2.01.204 Eingebettete Systeme II
- 2.01.300 Hybride Systeme
- 2.01.800-C Proseminar Cyber-physische Systeme und Infrastrukturen
- 2.01.801-H Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems
- 2.01.965 Foundations of STS Eng.: Systems Engineering
- 2.01.AM-21 Oberseminar Foundations and Applications of Systems of Cyber-Physical Systems
Wintersemester 2023/2024
- 2.01.203 Eingebettete Systeme I
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.301 Hardwarenahe Systementwicklung
- 2.01.338 Autonome Systeme
- 2.01.801-H Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems
- 2.01.813 Grundlagen der Kausaltheorie
- 2.01.AM-12 Oberseminar Foundations and Applications of Systems of Cyber-Physical Systems
Sommersemester 2023
- 2.01.1012 Oberseminar Foundations and Applications of Systems of Cyber-Physical Systems
- 2.01.202 Praktikum Technische Informatik
- 2.01.204 Eingebettete Systeme II
- 2.01.300 Hybride Systeme
- 2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods
- 2.01.801-H Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems
- 2.01.9011 Projektgruppe der Abteilungen VRiVS und FaAoSoCPS
- 2.01.965 Foundations of STS Eng.: Systems Engineering
Wintersemester 2022/2023
- 2.01.1012 Oberseminar Foundations and Applications of Systems of Cyber-Physical Systems
- 2.01.203 Eingebettete Systeme I
- 2.01.301 Praktikum Hardwarenahe Systementwicklung
- 2.01.376 Aktuelle Herausforderungen in der Fahrzeugentwicklung
- 2.01.801-H Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems
Sommersemester 2022
- 2.01.204 Eingebettete Systeme II
- 2.01.300 Hybride Systeme
- 2.01.356 Dynamic and Causal Models for Integrated Socio-Technical Systems
- 2.01.801-H Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems
- 2.01.965 Foundations of STS Eng.: Systems Engineering (SoSe22-WiSe22/23)
- 2.01.AM-H Oberseminar Foundations and Applications of Systems of Cyber-Physical Systems
Wintersemester 2021/2022
- 2.01.002 Promovierendenseminar SOCPS
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.338 Autonome Systeme
- 2.01.3381 Autonome Systeme
- 2.01.801-K Forschungsseminar Hybride Systeme
- 2.01.AM-K Oberseminar Hybride Systeme
Sommersemester 2021
- Studiengangskonferenz Cluster Informatik & Wirtschaftsinformatik
- 2.01.2167 Forschungsseminar SCARE@Research
- 2.01.300 Hybride Systeme
- 2.01.300 Hybride Systeme
- 2.01.801-U Forschungsseminar Hybride Systeme
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.965 Foundations of STS Eng.: Systems Engineering (SoSe21-WiSe21/22)
- 2.01.AM-H Oberseminar Hybride Systeme
Wintersemester 2020/2021
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.338 Autonome Systeme
- 2.01.338 Autonome Systeme
- 2.01.AM-I Oberseminar Hybride Systeme
Sommersemester 2020
- 2.01.2166 Forschungsseminar Hybride Systeme
- 2.01.2167 Forschungsseminar SCARE@Research
- 2.01.300 Hybride Systeme
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.9013 Projektgruppe CHILL 3 - Cooperation of Humans, Infrastructure and Linked Limousines (SoSe20-WiSe20/21)
- 2.01.932 Oberseminar Hybride Systeme
Wintersemester 2019/2020
- Auswahlkommission für das Graduiertenkolleg „Dimensionen der Professionalisierung von Lehrkräftebildung“
- 2.01.060 Seminar SCARE@Assistance
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.210 Signal- und Bildverarbeitung / Signals and Dynamical Systems
- 2.01.345 Autonome Systeme
- 2.01.8881 Forschungsseminar SCARE@Research
- 2.01.8900 ISDI - Informationen für Studierende des Departments für Informatik
- 2.01.932 Oberseminar Hybride Systeme
- 70.05.082 O-Woche: Engineering of Socio-Technical Systems M.Sc.
Sommersemester 2019
- 2.01.204 Embedded System II
- 2.01.2169 Forschungsseminar Hybride Systeme
- 2.01.300 Hybride Systeme
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.9019 Projektgruppe CHILL 2-- Configurating and Helping, Independent Learning Limousine (SoSe19-WiSe19/20)
- 2.01.932 Oberseminar Hybride Systeme
- 2.01.965 Foundations of STS Eng.: Systems Engineering (SoSe19-WiSe19/20)
Wintersemester 2018/2019
- 2.01.060 Seminar SCARE@Assistance
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.2161-pb Forschungsseminar Informatik
- 2.01.345 Autonome Systeme
- 2.01.8881 Forschungsseminar SCARE@Research
- 2.01.932 Oberseminar Hybride Systeme
- 2.01.960 Fundamental Competences in Computing Science I: Signals and Dynamical Systems
- 70.05.082 O-Woche: Engineering of Socio-Technical Systems (M.Sc.)
Sommersemester 2018
- 2.01.2161 Forschungsseminar Informatik
- 2.01.300 Hybride Systeme
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.9019 Projektgruppe PG CHILL -- Cooling & Heating, Independent Learning Limousine (SoSe18-WiSe18/19)
- 2.01.932 Oberseminar Hybride Systeme
- 2.01.965 Foundations of STS Eng.: Systems Engineering
Wintersemester 2017/2018
- 2.01.060 Seminar SCARE@Assistance
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.2161-pb Forschungsseminar Informatik
- 2.01.345 Autonome Systeme
- 2.01.352 Dynamic Epistemic Logic
- 2.01.8881 Forschungsseminar SCARE@Research
- 2.01.932 Oberseminar Hybride Systeme
- 2.01.960 Fundamental Competences in Computing Science I: Signals and Dynamical Systems
Sommersemester 2017
- 2.01.210 Signal- und Bildverarbeitung
- 2.01.300 Hybride Systeme
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.9011 Projektgruppe RCCARS-ng SoSe17-WiSe17/18
- 2.01.932 Oberseminar Hybride Systeme
Wintersemester 2016/2017
- 2.01.060 Seminar SCARE@Assistance
- 2.01.099 Forschungsseminar SCARE@Research
- 2.01.356 Seminar Korrekte autonome Systeme
- 2.01.9003 Projektgruppe RCCARS-ng WS16/17-SoSe17
- 2.01.932 Oberseminar Hybride Systeme
Sommersemester 2016
- 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- 2.01.210 Signal- und Bildverarbeitung
- 2.01.300 Hybride Systeme
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.932 Oberseminar Hybride Systeme
Wintersemester 2015/2016
- 2.01.060 Seminar SCARE@Assistance
- 2.01.099 Forschungsseminar SCARE@Research
- 2.01.203 Eingebettete Systeme I
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8017 Seminar SFB/TR AVACS
- 2.01.9003 Projektgruppe RC-CARS
- 2.01.932 Oberseminar Hybride Systeme
Sommersemester 2015
- 2.01.210 Signal- und Bildverarbeitung
- 2.01.345 Autonome Systeme
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8014 Seminar SCARE@Assistance
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.8017 Seminar SFB/TR AVACS
- 2.01.932 Oberseminar Hybride Systeme
Archivierte Veranstaltungen
Sommersemester 2016
Wintersemester 2015/2016
Sommersemester 2015
Wintersemester 2014/2015
- Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
- Forschungsseminar Informatik
- Forschungsseminar SCARE@Research
- Hybride Systeme
- Oberseminar Hybride Systeme
- Seminar SCARE@Assistance
- Seminar SFB/TR AVACS
Sommersemester 2014
- Forschungsseminar Informatik
- Forschungsseminar SCARE@Research
- Master-Studiengang Eingebettete Systeme und Mikrorobotik
- Modellierung und Analyse eingebetteter Systeme
- Oberseminar Hybride Systeme
- Seminar SCARE@Assistance
- Seminar SFB/TR AVACS
- Signal- und Bildverarbeitung
- Übung Signal- und Bildverarbeitung
Wintersemester 2013/2014
- Forschungsseminar Informatik
- Grundlagen der Technischen Informatik
- Hybride Systeme
- Oberseminar Hybride Systeme
- Oberseminar SCARE@Research
- Oberseminar SCARE@Research
- Seminar SCARE@Assistance
- Seminar SFB/TR AVACS
- Tutorien Grundlagen der Technischen Informatik
Sommersemester 2013
- Modellierung und Analyse eingebetteter Systeme
- Oberseminar Hybride Systeme
- Oberseminar SCARE@Research
- Oberseminar SCARE@Research
- Projektgruppe MIPSwarm
- Seminar SCARE@Assistance
- Signal- und Bildverarbeitung
Wintersemester 2012/2013
- Forschungsseminar Informatik
- Grundlagen der Technischen Informatik
- Hybride Systeme
- Oberseminar Hybride Systeme
- Oberseminar SCARE@Research
- Proseminar Spielen der Korrektheit wegen
- Seminar SCARE@Assistance
- Tutorien Grundlagen der Technische Informatik
Sommersemester 2012
- Modellierung und Analyse eingebetteter Systeme
- Oberseminar Hybride Systeme
- Semesterprojekt Modellierung und Analyse eingebetteter Systeme
- Signal- und Bildverarbeitung
Wintersemester 2011/2012
- Hybride Systeme
- Oberseminar Hybride Systeme
- Oberseminar Trustsoft
- Proseminar Why Computerized Systems Fail
- Proseminar Why Computerized Systems Fail
- Semesterprojekt Hybride Systeme
- Seminar SFB/TR AVACS
Sommersemester 2011
- Formale Methoden eingebetteter Systeme
- Oberseminar Hybride Systeme
- Oberseminar Trustsoft
- Projektgruppe safeMob - "Sicher fahren, aber wie?"
- Semesterprojekt Hybride Systeme
- Semesterprojekt Hybride Systeme
- Seminar SFB-Transregio AVACS
- Signal- und Bildverarbeitung
- Tutorium Formale Methoden eingebetteter Systeme
- 2.01.395 Oberseminar Hybride Systeme
- 2.01.395 Oberseminar Hybride Systeme
Wintersemester 2010/2011
- Oberseminar Hybride Systeme
- Öffentlichkeitsarbeit Informatik
- Praktikum quantitatives Model Checking
- Proseminar kooperative und mobile Systeme
- Technische Informatik I
- Tutorium zur Technische Informatik I
- Tutorium zur Technische Informatik I
- Tutorium zu Technische Informatik I
Sommersemester 2010
- Formale Methoden eingebetteter Systeme
- Hybride Systeme
- Oberseminar AVACS
- Oberseminar Hybride Systeme
- Oberseminar Trustsoft
- Seminar Automatisierte Techniken für die Analyse komplexer Systeme
Wintersemester 2009/2010
- Diplomanden- und Doktorandenseminar Hybride Systeme
- Graduiertenkolleg Trustworthy Software Systems
- Mechanismen der automatischen Fahrzeugführung
- Projektgruppe fm@acs
- SFB Automatic Verification and Analysis of Complex Systems: AVACS
- Spielen der Korrektheit wegen: Spiele im Entwurf eingebetteter Systeme
Sommersemester 2009
- Diplomanden- und Doktorandenseminar Hybride Systeme
- Projektgruppe fm@acs
- Seminar Graduiertenkolleg Trustworthy Software Systems TrustSoft
- Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2008/2009
- Design of Safety Critical Automotive Systems
- Diplomanden- und Doktorandenseminar Hybride Systeme
- Graduiertenkolleg Trustworthy Software Systems: TrustSoft
- SFB Automatic Verification and Analysis of Complex Systems: AVACS
- Technische Informatik I
Sommersemester 2008
- Diplomanden- und Doktorandenseminar Hybride Systeme
- Formale Methoden Eingebetteter Systeme
- Projektgruppe easyDrive - Einfädelungsassistent für Autobahnanschlussstellen -Fortsetzung-
- Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2007/2008
- Compilerbau
- Diplomanden- und Doktorandenseminar Hybride Systeme
- Projektgruppe easyDrive - Einfädelungsassistent für Autobahnanschlussstellen
- Seminar Spielen der Korrektheit wegen: Spiele im Entwurf eingebetteter Systeme
- SFB Automatic Verification and Analysis of Complex Systems: AVACS
Sommersemester 2007
- 2.01.311 Formale Methoden Eingebetteter Systeme
- 2.01.363 Seminar An der Grenzlinie der Entscheidbarkeit: Berechnungsmodelle zwischen Echtzeit und hybrid diskret-kontinuierlichem Verhalten
- 2.01.381 Projektgruppe TyrannoRobos
- 2.01.391 Diplomanden- und Doktorandenseminar Hybride Systeme
- 2.01.662 Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2006/2007
- 2.01.313 Hybrid diskret-kontinuierliche Systeme
- 2.01.318 Grundlagen moderner SAT-Solver
- 2.01.393 Diplomanden- und Doktorandenseminar Hybride Systeme
- 2.01.661 SFB Automatic Verification and Analysis of Complex Systems: AVACS
Sommersemester 2006
- 2.01.008 Eingebettete Systeme II
- 2.01.313 Formale Methoden Eingebetteter Systeme
- 2.01.392 Diplomanden- und Doktorandenseminar Hybride Systeme
- 2.01.661 SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2005/2006
- 2.01.007 Eingebettete Systeme I
- 2.01.317 Modellbasierte Entwicklung eingebetteter Systeme
- 2.01.381 Projektgruppe car platooning -Fortsetzung-
- 2.01.392 Diplomanden- und Doktorandenseminar Hybride Systeme
- 2.01.662 SFB Automatic Verification and Analysis of Complex Systems: AVACS