LEHRE
 | ||
|
Wir haben eine Reihe von Bachelor- und Masterarbeiten im Angebot.
Kontaktieren Sie uns einfach per email oder per sönlich.
Die Gruppe is eine notorische Quelle von preiswürdigen Arbeiten:
|
Sommer 2017
 | Vertiefungsvorlesung: Ethics for Nerds |
| Grundvorlesung: Nebenläufige Programmierung |
| Vertiefungsvorlesung: Quantitative Model Checking |
Winter 2016/17
| Grundvorlesung: Programmierung 1 |
| Seminar: Advanced Concurrency Theory bestes Seminar im WS 2016/17 laut studentischer Evaluation |
Sommer 2016
| Basisvorlesung: Nebenläufige Programmierung beste Grundvorlesung im SS 2016 laut studentischer Evaluation |
| Vertiefungsvorlesung: Ethics for Nerds |
Winter 15/16
| Spezialvorlesung "Formal Engineering of Digital and Hybrid Systems" |
| Seminar "Quantified Boolean Formulas: Algorithms and Applications" |
Sommer 2015
| Proseminar: Ethik für Nerds |
| Stammvorlesung: Datennetze |
| Spezialvorlesung: Foundations of Dependable Systems |
Winter 2014/15
| Stammvorlesung: Verification beste Stammvorlesung im WS 2014/15 laut studentischer Evaluation |
| Vertiefungsvorlesung: Quantitative Model Checking |
Sommer 2014
| Grundvorlesung: Nebenläufige Programmierung |
Winter 2013/14
| Grundvorlesung: Programmierung 1 Busy Beaver Award. beste Informatikvorlesung im WS 2013/14 laut studentischer Evaluation |
| Vertiefungsvorlesung: Energieinformatik |
| Vertiefungsvorlesung: Quantitative Model Checking |
Sommer 2013
| Grundvorlesung: Nebenläufige Programmierung ausgezeichnet mit dem Preis des Fakultätentages 2013. |
Wintersemester 2012/13
Im Wintersemester 2012/13 befand sich Prof. Hermanns in Forschungssemester. Nichtsdestotrotz hat er ein kombiniertes Seminar/Proseminar angeboten: Nebenläufige Automaten.
Sommer 2012
| Grundvorlesung: Nebenläufige Programmierung beste Grundvorlesung im SS 2012 laut studentischer Evaluation |
| Vertiefungsvorlesung: Concurrent and Mobile Languages |
| Vertiefungsvorlesung: Quantitative Model Checking (unterstützt und empfohlen von uns) |
| Vertiefungsvorlesung: Applied Concurrency Theory |
| Mathematischer Vorkurs für Informatiker |
Wintersemester 2011/12
| Grundvorlesung: Programmierung I |
| Seminar: Concurrency Theory |
| Doctoral privatissimum: Probabilistic Concurrency Models |
Sommer 2011
| Grundvorlesung: Nebenläufige Programmierung Busy Beaver Award. beste Grundvorlesung im SS 2011 laut studentischer Evaluation |
| Stammvorlesung: Datennetze |
Wintersemester 2010/11
| Proseminar: Im Zoo der Automaten |
| Seminar: Energieinformatik |
Sommersemester 2010
| Basisvorlesung: Nebenläufige Programmierung |
| Vertiefungsvorlesung: Quantitative Model Checking |
Wintersemester 2009/10
| Grundvorlesung: Programmierung I |
| Spezialvorlesung: Problem Solving in Computer Science |
Sommersemester 2009
| Basisvorlesung: Nebenläufige Programmierung |
| Seminar: Concurrency Theory |
| Vertiefungsvorlesung: Quantitative Model Checking |
| Spezialvorlesung: Program Verification Using Separation Logic |
Wintersemester 2008/09
| Stammvorlesung: Verifikation |
| Proseminar: Im Zoo der Automaten |
| Spezialvorlesung: Testing Techniques |
Sommersemester 2008
| Basisvorlesung: Nebenläufige Programmierung |
| Seminar: Dependability Modelling and Evaluation |
Wintersemester 2007/08
| Grundvorlesung: Programmierung I |
| Spezialvorlesung: Nebenläufige Programmierung: Theorie und Praxis |
| Seminar: Validierung Stochastischer Systeme |
Sommerpause 2007
| Blockseminar: Methodik und Didaktik für Tutoren |
Sommersemester 2007
Im Sommersemester 2007 befand sich Prof. Hermanns im Forschungssemester.
Wintersemester 2006/07
| Stammvorlesung: Verification |
| Vertiefungsvorlesung: Stochastic Hybrid Systems |
| Seminar: Computation in Systems Biology |
Sommer 2006
| Stammvorlesung:Datennetze |
| Proseminar: Software-Komponenten -- Software-Schnittstellen |
Wintersemester 2005/06
| Grundvorlesung: Programmierung I |
| Seminar: Validierung Stochastischer Systeme |
Sommersemesterferien 2005
| Praktikum: Software Design Praktikum |
Sommersemester 2005
| Proseminar: The Software Horror Picture Show |
Wintersemester 2004/05
| Ringvorlesung: Perspektiven der Informatik |
| Vertiefungsvorlesung: Data Networks II/Verification II |
| Proseminar: The Software Horror Picture Show |
Sommersemesterferien 2004
| Stammvorlesung: Datennetze |
Sommersemester 2004
| Spezialvorlesung: Ad-hoc-Netzwerke: Modelle und Methoden |
| Seminar: Verlässlichkeit von Systemen und Software |
Wintersemester 2003/04
| Stammvorlesung: Datennetze |
| Ringvorlesung: Perspektiven der Informatik |
| Seminar: Distributed Algorithms in Automotive Systems |