Die Suche ergab 29 Treffer

von tobias.hamann
15. Mai 2019 13:11
Forum: Modellierung, Spezifikation und Semantik
Thema: Erinnerung: Raumaenderung Uebung 2
Antworten: 0
Zugriffe: 60

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

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

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

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

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

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

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

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

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

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

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

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
von tobias.hamann
19. Sep 2018 12:27
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausur am 21.09.2018, Hilfsmittel
Antworten: 2
Zugriffe: 769

Re: Klausur am 21.09.2018, Hilfsmittel

Hallo, ja, es gelten die selben Bedingungen wie im vorherigen Semester. Insbesondere ist wieder ein beidseitig handbeschriebener A4 Zettel (keine Ausdrucke, keine Kopien) erlaubt, der auf beiden Seiten deutlich lesbar mit Ihrem Namen und Ihrer Matrikelnummer versehen sein muss. Viele Gruesse, Tobias
von tobias.hamann
3. Mai 2018 15:32
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausureinsicht am Freitag, 4.5.2018
Antworten: 3
Zugriffe: 578

Re: Klausureinsicht am Freitag, 4.5.2018

Aufgrund der bisherigen Auslastung bieten wir noch einen Slot von 18:00 bis 18:30 an. Dieser Slot ist jetzt in Moodle verfügbar.
von tobias.hamann
30. Apr 2018 10:28
Forum: Modellierung, Spezifikation und Semantik
Thema: Klausureinsicht am Freitag, 4.5.2018
Antworten: 3
Zugriffe: 578

Re: Klausureinsicht am Freitag, 4.5.2018

Die Kapazitäten der ursprünglichen Slots auf Moodle sind zwar bereits ausgelastet, bitte beachten Sie aber die neu hinzugefügten Zeitslots um 13:00 und um 17:30.

Zur erweiterten Suche