Die Suche ergab 37 Treffer

von tobias.hamann
11. Nov 2019 00:30
Forum: Formal Methods for Information Security
Thema: Moodle Access / Self enrollment Key
Antworten: 1
Zugriffe: 133

Re: Moodle Access / Self enrollment Key

Hi Suman,

I have sent you a personal message with the enrollment key.

Best regards,
Tobias
von tobias.hamann
25. Okt 2019 10:27
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausureinsicht Mittwoch 30.10.2019
Antworten: 1
Zugriffe: 372

Re: Klausureinsicht Mittwoch 30.10.2019

Wir haben weitere Slots zwischen 9:00 und 10:30 auf Moodle hinzugefuegt. Diese stehen jetzt zur Auswahl bereit.
von tobias.hamann
24. Okt 2019 17:12
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausureinsicht Mittwoch 30.10.2019
Antworten: 1
Zugriffe: 372

Klausureinsicht Mittwoch 30.10.2019

Liebe MoSeS Teilnehmer, die Klausureinsicht fuer die MoSeS Klausur vom Sommersemester 2019 findet am Mittwoch, den 30.10.2019 im Raum S202/E202 von 16:00 - 19:00 statt. Bitte registrieren Sie sich fuer einen der 30-minuetigen Slots im Moodlekurs der Veranstaltung (https://moodle.informatik.tu-darmst...
von tobias.hamann
19. Sep 2019 09:32
Forum: Modellierung, Spezifikation und Semantik
Thema: Lösung von Übung 12
Antworten: 3
Zugriffe: 375

Re: Lösung von Übung 12

Hallo zusammen,

ich habe gerade mal geschaut, ich sehe die Datei ganz normal auf der internen Website. Ich habe sie jetzt nochmal neu hochgeladen und die alte ersetzt. Loest das dein Problem?

Viele Gruesse,
Tobias
von tobias.hamann
19. Sep 2019 09:28
Forum: Modellierung, Spezifikation und Semantik
Thema: Raumeinteilung Klausur SoSe 2019
Antworten: 0
Zugriffe: 100

Raumeinteilung Klausur SoSe 2019

Liebe MoSeS Teilnehmer,

die Raumeinteilung der Klausur ist jetzt auf der Kurswebsite online. Zur Vollstaendigkeit auch nochmal hier:
* Nachnamen A... - Sa...: S101|A1
* Nachnamen Sch... - Z...: S101|A01

Bitte and Studierendenausweis und Lichtbildausweis denken.

Viele Gruesse,
Tobias
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: 123

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: 114

Ä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: 261

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: 272

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: 222

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: 161

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: 219

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: 721

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: 276

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: 316

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...

Zur erweiterten Suche