Parallele Systeme

Oberseminar

In diesem Seminar tragen Studierende über ihre laufenden oder abgeschlossenen Arbeiten vor. Gäste sind uns willkommen. Die Vorträge finden jeweils ab 1400 Uhr in Raum A3 2-209 statt.

 

Kommende Vorträge

Vorträge 2015

DatumVortragendeR/Thema
11.12.2015S. S.: Konzeption und Implementierung eines freien Lehrveranstaltungsevaluationssystems
20.11.2015L. H.: Entwicklung und Analyse eines polymorphen Virus unter Windows
16.10.2015C. F.: Kryptosysteme basierend auf dem Rucksack-Problem: Analyse – Implementierung – Sicherheit
17.07.2015E. K.: Analyse von Online-Supermärkten und EPK-Modellierung als mögliche Handlungsempfehlung für Betreiber
03.07.2015J. K.: Selbst- und Wissensmanagement
26.06.2015E. K.: Analyse von Online-Supermärkten
19.06.2015N. H.: Eigenschaften des Shuffle-Operators in verschiedenen Sprachtypen
05.06.2015J. F.: Internetkriminalität bei Jugendlichen
16.01.2015J. K.: Selbst- und Wissensmanagement
09.01.2015L. S.: Verhaltensanalysegraph für Petrinetze als Erweiterung des Überdeckungsgraphen

Vorträge 2013

Vorträge 2012

Vorträge 2010

Datum  VortragendeR/Thema
10.12.2010 M. G.: Lineare und Differentielle Kryptoanalyse Vortrags-Folien
03.12.2010R. L.: Beschreibung und Implementierung der Verfahren für die Bewertung von Risiken für den Open-Source-Risikomanager Risk-o-Mat
26.11.2010N. B.: Fuzzy Rough Sets gekoppelt mit Petrinetzen
19.11.2010 M. S.: Faktorisierung mit Kettenbrüchen
12.11.2010T. S.: Entwicklung korrekter Programme im Theorembeweiser Coq Kommentierte Vortragsfolien: PDF
29.10.2010Dr. Roman D u b t s o v: Towards Domain Semantics for Timed Concurrent Models
02.07.2010Prof. Irina V i r b i t s k a i t e, Novosibirsk: Category-Theoretic Characterizations of Timed Behaviors
28.05.2010W. G.: Untersuchung der Leistungsfähigkeit und Usability des Texteingabesystems Touch und der Vergleich mit herkömmlichen Systemen für mobile Endgeräte
21.05.2010L. H.: Candle – Ein Toolkit für die Stegoanalyse. Vortrags-Folien: PDF.
16.04.2010M. K.: Konzeption und Implementierung einer Webapplikation zur Demonstration von Techniken der Kryptographie und Steganographie
09.04.2010Y. Z.: Algorithmische Überprüfung struktureller Eigenschaften von Petrinetzen und Transitionssystemen

Vorträge 2008

Datum  VortragendeR/Thema
12.12.2008M. H.: The context-freeness of the languages associated with vector addition systems is decidable (?) (Teil II)
05.12.2008T. P.: Entwicklung eines E-Learning-Toolkits für strategische Kartenspiele
28.11.2008M. H.: The context-freeness of the languages associated with vector addition systems is decidable (?) (Teil I, Paper in englisch, Vortrag in deutsch)
21.11.2008T. S.: Entwicklung und Implementierung eines PGP-Verschlüsselungsproxys
07.11.2008K. H.: Eine modulare Blokus-Spielsoftwareumgebung
24.10.2008Igor Tarasyuk: Performance evaluation in dtsPBC
31.10.2008J. H.: Konzeption und Erstellung eines Studieneinstiegstests Informatik
17.10.2008A. N.: OTAAS - Analyse und Erweiterung einer onlinegestützten Tachographendatenauswertungs- und Archivierungs-Software
11.07.2008Projektgruppe Stego: Rechnergestützte Steganographie
20.06.2008J. F.: Entwicklung eines barrierefreien Captchas zur Vermeidung von Webscraping
13.06.2008I. W.: Beschreibung und Analyse von Produktionssystemen durch Petrinetze
06.06.2008T. P.: E-Learning Lösungen für Bridge
30.05.2008C. C.: Messung kooperativer Kompetenz IP, DA
23.05.2008H. L.: Parallelisierung eines Kompressionsalgorithmus
16.05.2008K. P.: Integration eines Projektkonzepts in das STETZ-System
09.05.2008M. H.: Kollaps - Design und Analyse kryptographischer Hash-Funktionen (PDF)
18.04.2008P. S.: Entwicklung und Implementierung eines Tutorsystems für Bridgelehrer (Master-Arbeit)
08.02.2008 C. S.: Die Model-Checking-KIT von Javier Esparza et al.
Y. Z.: Der SPIN-Modelchecker von Gerard J. Holzmann et al.
01.02.2008M. D. Alternative Steganographie (PDF)
25.01.2008J. J.: Eine Werkzeugsammlung zur Prüfung endlicher Modelle
18.01.2008C. W.: Konzeption und Implementierung eines modular erweiterbaren Content Management Systems