Die Suche ergab 32 Treffer

von tobias.hamann
16. Aug 2019 14:10
Forum: Modellierung, Spezifikation und Semantik
Thema: Feriensprechstunde am 19.8. um eine halbe Stunde verschoben
Antworten: 0
Zugriffe: 44

Feriensprechstunde am 19.8. um eine halbe Stunde verschoben

Die Feriensprechstunde von Nicholas Wolf am 19.8. beginnt eine halbe Stunde später, also um 14:30. Die Endzeit wird entsprechend ebenfalls eine halbe Stunde verschoben auf 15:30. Raum ist weiterhin A126.
von tobias.hamann
2. Jul 2019 23:54
Forum: Modellierung, Spezifikation und Semantik
Thema: Änderungen am Übungsbetrieb am 3.7 und 4.7
Antworten: 0
Zugriffe: 57

Änderungen am Übungsbetrieb am 3.7 und 4.7

Liebe Mosesteilnehmer, Am 3.7.2019 finden keine Kleingruppenübungen durch die Assisstenten statt. Die Tutorensprechstunde findet aber regulär statt und die Tutoren werden während der Kleingruppenzeit anwesend sein. Kleingruppe 3 (Do ab 15:20) fällt am 4.7.2019 aus. Die Studierenden dieser Übungsgrup...
von tobias.hamann
11. Jun 2019 09:57
Forum: Modellierung, Spezifikation und Semantik
Thema: Ausfall der Übungen 2 und 4 wegen TU meet & move
Antworten: 0
Zugriffe: 150

Ausfall der Übungen 2 und 4 wegen TU meet & move

Aufgrund von TU meet & move fallen die Übungen 2 (Mi 15:20) und 4 (Mi 17:10) und die zugehörigen Tutorensprechstunden diese Woche aus. Die Studierenden dieser Übungsgruppen koennen in dieser Woche eine beliebige andere Übung/Tutorensprechstunde besuchen (Zeiten und Räume der Übungen und Sprechstunde...
von tobias.hamann
15. Mai 2019 13:11
Forum: Modellierung, Spezifikation und Semantik
Thema: Erinnerung: Raumaenderung Uebung 2
Antworten: 0
Zugriffe: 212

Erinnerung: Raumaenderung Uebung 2

Liebe MoSeS Teilnehmer,

die Uebung 2 (Mi 15:20) und die zugehoerige Tutorensprechstunde findet diese Woche in Raum S402/101 statt. Bitte generell eventuelle Raumaenderungen auf TUCaN beachten.

Viele Gruesse,
Tobias
von tobias.hamann
2. Mai 2019 09:41
Forum: Modellierung, Spezifikation und Semantik
Thema: Aktualisierte Übungstermine und Übungsregistrierung
Antworten: 0
Zugriffe: 164

Aktualisierte Übungstermine und Übungsregistrierung

Liebe Teilnehmer der Veranstaltung Modellierung, Spezifikation und Semantik, leider haben wir erst jetzt die Verschiebung der Übungsgruppen durch die Verwaltung bestaetigt bekommen. Der Übungsbetrieb in den Übungen und Tutorensprechstunden startet daher erst nächste Woche (ab 6.5.2019). Die geplante...
von tobias.hamann
25. Apr 2019 10:19
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausureinsicht zur Nachklausur MoSeS im WiSe 2018/19
Antworten: 0
Zugriffe: 88

Klausureinsicht zur Nachklausur MoSeS im WiSe 2018/19

Die Klausureinsicht zur Klausur Modellierung, Spezifikation und Semantik findet am Freitag, 26.4.2019, 15:30-20:00 Uhr in S2|02 A313 statt. Wenn Sie an der Klausureinsicht teilnehmen möchten, melden Sie sich für organisatorische Zwecke bitte per eMail bei Tobias Hamann (hamann@mais.informatik.tu-dar...
von tobias.hamann
12. Mär 2019 10:27
Forum: Modellierung, Spezifikation und Semantik
Thema: Übung 11.1 a)
Antworten: 1
Zugriffe: 132

Re: Übung 11.1 a)

Hallo Oli, Du hast mit deinem Nachtrag schon den Grund erkannt, warum Traces(TS2) nicht analog wie Traces(TS1) angegeben werden kann. Traces(TS1) beinhaltet eine aufzaehlbare Menge an Tupeln, naemlich genau die, die im Loesungsvorschlag angegeben sind. Traces(TS2) hingegen enthaelt beliebig lange Tu...
von tobias.hamann
12. Mär 2019 10:27
Forum: Modellierung, Spezifikation und Semantik
Thema: Frage zur Prädikatenlogik
Antworten: 2
Zugriffe: 517

Re: Frage zur Prädikatenlogik

Hallo Tristan, du hast richtig erkannt, dass raueme-von() eine Menge an Rauemen und nicht einen einzelnen Raum zurueckliefert. Also darfst du die Funtkion raumtyp-von() nicht direkt auf das Ergebnis der Funktionsauswertung von raueme-von() anwenden. Wenn du dir deine Anforderung anschaust, moechtest...
von tobias.hamann
8. Mär 2019 10:52
Forum: Modellierung, Spezifikation und Semantik
Thema: Raumzuteilung zur MoSeS Klausur im WiSe 18/19
Antworten: 0
Zugriffe: 174

Raumzuteilung zur MoSeS Klausur im WiSe 18/19

Hallo zusammen,

die Klausur fuer das Wintersemester findet am 13.3. um 8:00 im Raum S206|030 statt (selber Raum fuer alle Studierenden).

Viele Gruesse und viel Erfolg,
Tobias
von tobias.hamann
14. Feb 2019 10:39
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Side-Channel Attacks on Software
Antworten: 0
Zugriffe: 242

Seminar: Side-Channel Attacks on Software

In the summer term 2019, the MAIS group (Prof. Mantel) offers the seminar "Side-Channel Attacks on Software" (3 CP, TUCaN Id: 20-00-0798-se). Further information can be found on the course webpage ( http://www.mais.informatik.tu-darmstadt.de/scas-sem-ss19.htm ) The joint introductory meeting for all...
von tobias.hamann
14. Feb 2019 10:38
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Current Topics on Secure Usage
Antworten: 0
Zugriffe: 71

Seminar: Current Topics on Secure Usage

In the summer term 2019, the MAIS group (Prof. Mantel) offers the seminar "Current Topics on Secure Usage" (3 CP, TUCaN Id: 20-00-0712-se). Further information can be found on the course webpage ( http://www.mais.informatik.tu-darmstadt.de/ctsu-ss19.html ) The joint introductory meeting for all labs...
von tobias.hamann
14. Feb 2019 10:37
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab Course: Formal Specification and Verification in Isabelle/HOL
Antworten: 0
Zugriffe: 79

Lab Course: Formal Specification and Verification in Isabelle/HOL

In the summer term 2019, the MAIS group (Prof. Mantel) offers the lab "Formal Specification and Verification in Isabelle/HOL" (6 CP, TUCaN Id: 20-00-0778-pr). Further information can be found on the course webpage ( http://www.mais.informatik.tu-darmstadt.de/isabelle-ss19.html ) The joint introducto...
von tobias.hamann
14. Feb 2019 10:35
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab Course: Dynamic Enforcement of Software Security
Antworten: 0
Zugriffe: 70

Lab Course: Dynamic Enforcement of Software Security

In the summer term 2019, the MAIS group (Prof. Mantel) offers the lab "Dynamic Enforcement of Software Security" (6 CP, TUCaN Id: 20-00-0719-pr). Further information can be found on the course webpage ( http://www.mais.informatik.tu-darmstadt.de/dynamo-lab-ss19 ) The joint introductory meeting for a...
von tobias.hamann
9. Okt 2018 09:32
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausureinsicht zur Klausur vom 21.9.2018
Antworten: 0
Zugriffe: 705

Klausureinsicht zur Klausur vom 21.9.2018

Liebe MoSeS Teilnehmer, die Einsicht fuer die Klausur vom SoSe 2018 findet am Freitag, 12.10.2018, von 10:30 bis 12:30 statt. Falls Sie die Klausureinsicht wahrnehmen wollen, schicken Sie bitte eine eMail an mich (Tobias Hamann <hamann@mais.informatik.tu-darmstadt.de>) mit eventuellen Zeiteinschraen...
von tobias.hamann
19. Sep 2018 12:31
Forum: Modellierung, Spezifikation und Semantik
Thema: Raumzuteilung zur MoSeS Klausur im SoSe 18
Antworten: 0
Zugriffe: 195

Raumzuteilung zur MoSeS Klausur im SoSe 18

Hallo zusammen,

die Klausur fuer das Sommersemester findet am 21.9. um 9:00 im Raum S206|030 statt (selber Raum fuer alle Studierenden).

Viele Gruesse und viel Erfolg,
Tobias

Zur erweiterten Suche