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.

 

Vorträge 2017

DatumVortragendeR/Thema
21.04.2017Faisal A l o t a i b i: Event Structures
07.04.2017Steffen D i e k m a n n: Synthese von unbeschränkten Petri-Netzen aus regulären Sprachen
10.02.2017Tobias  K ö l k e r: Kandinsky Music Painter II – Midi-Sequencer zur graphischen Komposition musikalischer Strukturen
03.02.2017Friedrich  B o s s e r t: Effiziente Erzeugung von Presburger Formeln für den Nachweis der Unerreichbarkeit von Markierungen in Petrinetzen
27.01.2017Judith  S e g e r a t h: Fairness-Prüfung
20.01.2017Stefan  K l u g e: Secret Sharing
13.01.2017Andrea  d e  B e h r: Prototypische Implementierung einer Web-Anwendung zur Erweiterung eines Wörterbuches um Rückübersetzungen, Grammatikregeln und -übungen

Vorträge 2016

DatumVortragendeR/Thema
16.12.2016Steffen D i e k m a n n: Synthese von unbeschränkten Petri-Netzen aus regulären Sprachen
09.12.2016Kamran  G h a n a a t: Holodeck Engine, eine Game-Engine für videographisch-egoperspektivische Point-and-Click Anwendungen
02.12.2016Tobias  K ö l k e r: Kandinsky Music Painter II – MIDI-Sequencer zur graphischen Komposition musikalischer Strukturen
25.11.2016Hendrik K a h l e n: Analyse, Implementierung und Einbindung von Wieners Angriff auf das RSA-Kryptosystem in eine bestehende Webanwendung
18.11.2016 Alexandra R e g e r: Konzeption und Implementierung einer Software zur Katalogisierung von Eigenschaften von Petrinetzen und Transitionssystemen, sowie den Beziehungen zwischen den Eigenschaften
28.10.2016Adrian J a g u s c h: Webbasierte Analyse und Synthese von Petrinetzen und Transitionssystemen
27.09.2016Martin  C a n d r o w i c z: Elementare Petrinetz-Synthese
26.07.2016Friedrich B o s s e r t:Implementierung eines Algorithmus zur Feststellung von Unerreichbarkeit bei Petrinetzen
01.07.2016Steffen S c h e e r: Masche – Lehrveranstaltungs-Evaluations-Tool

17.06.2016

Valentin S p r e c k e l s: Elementare Petrinetzsynthese mittels Binary Decision Diagrams
10.06.2016Hannah M e y e r: Test-Suite für Zufallszahlengeneratoren
03.06.2016Lukas H e r m e s: Polymorphe Viren
27.05.2016Martin  C a n d r o w i c z: Elementare Petrinetz-Synthese
20.05.2016Hendrik K a h l e n:  Wieners Angriff auf RSA
13.05.2016Adrian J a g u s c h:  Webbasierte Analyse und Synthese von Petrinetzen und Transitionssystemen
22.01.2016Tobias  K ö l k e r: Kandinsky Music Painter II – MIDI-Sequencer zur graphischen Komposition musikalischer Strukturen

Vorträge 2014

Datum  VortragendeR/Thema

29.09.2014

Uli S c h l a c h t e r: Energie- und Paritätsgewinnbedingungen auf Spielstrukturen

25.07.2014

Jannik Arndt: Musicista - Ein Framework für Musikinformatik

25.07.2014

Walerij G l u c h o w: Konzeption, Leistungs- und Usability-Evaluierung eines slide-tap Eingabesystems für Touchcreens

04.07.2014

Marius W y b r a n d s: Gamication im Smart Home

16.05.2014

Renke G r u n w a l d: Entwurf und Implementierung einer Umgebung für Spiele in erweiterter Extensivform

16.05.2014

Vincent G ö b e l: Entwurf und Implementierung von Analysealgorithmen für Spiele in erweiterter Extensivform

30.01.2014

André N e u m a n n: Einbindung des Themas Nachhaltigkeit in den Informatikunterricht

17.01.2014

Uwe G r a h l: Analyse, Implementierung und Vergleich von Strategien zum Lösen, Generieren und Bewerten von Killer-Sudokus

Vorträge 2013

Datum  VortragendeR/Thema

08.11.2013

Hillit S a a t h o f f: Ein grafisches Frontend für eine Algorithmensammlung zur Analyse von Petrinetzen und Transitionssystemen

14.07.2013

Jens R a u c h: Wirkungsweise und Implementierung von Gamification (Abschluss-Präsentation)

24.05.2013

Jens R a u c h: Wirkungsweise und Implementierung von Gamification (Zwischen-Präsentation)

26.04.2013

Uwe G r a h l: Analyse, Implementierung und Vergleich von Strategien zum Lösen, Generieren und Bewerten von Killer-Sudokus

12.04.2013

S. D i e r k e s, U. S c h l a c h t e r, V. S p r e c k e l s: Analyse von Petrinetzen und Transitionssystemen. PG-APT-Abschluss-Präsentation.
15.02.2013Simon E i t e r i g: GAMIFICATION – Grundlagen und Anwendungen
15.02.2013Dennis K r e g e l: Alternatives Tutorienzuordungs-Plugin für Stud.IP basierend auf Wahl mit Bewertungen

Vorträge 2012

Datum  VortragendeR/Thema
09.11.2012Dennis K r e g e l: Alternatives Tutorienzuordungs-Plugin für Stud.IP basierend auf Wahl mit Bewertungen
03.08.2012V. S p r e c k e l s: Differenzielle Kryptoanalyse kryptographischer Hashfunktionen
13.07.2012Uli S c h l a c h t e r: Der Index-Calculus zur Berechnung des diskreten Logarithmus
22.06.2012Nataliya T s y n m a n: Dokumentenverwaltung im Studiendekanat der Fakultät II
08.06.2012Jérôme A g a t e r: Transpilierte Sprachen – JavaScript als Compiler-Ziel
03.02.2012Jannik A r n d t: Rekombination – Ein Ansatz für Künstliche Kreativität. Homepage der Bachelorarbeit mit Video des Vortrags im Kammermusiksaal

Vorträge 2011

Datum  VortragendeR/Thema
16.12.2011Maike S c h w a m m b e r g e r: Faktorisierung mit Kettenbrüchen – eine Analyse
25.11.2011Timo G r o d z i n s k i: Ein Typprüfer für Clojure
11.11.2011Renke G r u n w a l d: Window-Manager: Objekte und Operationen
11.11.2011Halil E g e: Sicherheit in Web-Applikationen
07.10.2011Nils R e i m e r s: Implementation of the Pollard-rho-Algorithm for the Elliptic Curve Discrete Logarithm Problem, Slides (PDF)
23.09.2011Renke G r u n w a l d: Tiling Window-Manager im Vergleich
04.08.2011 Nashida B a k a r a t: Analyzing Interacting BPEL Processes
03.06.2011 Björn W o l f f: Shanks' Verfahren zurFaktorisierung: "Square Forms Factorization" (PDF)
27.05.2011 Janosch D ö c k e r: Pollards Rho-Methode zur Faktorisierung (PDF)
21.01.2011 Irina V i r b i t s k a i t e: Real Arithmetic Based Verification of Prioritized Time Petri Nets with Parameters
14.01.2011Thomas S t r a t h m a n n: Entwicklung eines korrekten Übersetzers für eine funktionale Programmiersprache im Theorembeweiser Coq (PDF)

Vorträge 2010

Datum  VortragendeR/Thema
10.12.2010 Manuel G i e s e k i n g: Lineare und Differentielle Kryptoanalyse Vortrags-Folien
03.12.2010Rachid L a c h e h e b: Beschreibung und Implementierung der Verfahren für die Bewertung von Risiken für den Open-Source-Risikomanager Risk-o-Mat
26.11.2010Nashida B a k a r a t: Fuzzy Rough Sets gekoppelt mit Petrinetzen
19.11.2010 Maike S c h w a m m b e r g e r: Faktorisierung mit Kettenbrüchen
12.11.2010Thomas S t r a t h m a n n: 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.2010Walerij G l u c h o w: Untersuchung der Leistungsfähigkeit und Usability des Texteingabesystems Touch und der Vergleich mit herkömmlichen Systemen für mobile Endgeräte
21.05.2010Lars H e r r m a n n: Candle – Ein Toolkit für die Stegoanalyse. Vortrags-Folien: PDF.
16.04.2010Marko K r a u s e: Konzeption und Implementierung einer Webapplikation zur Demonstration von Techniken der Kryptographie und Steganographie
09.04.2010Yangzi Z h a n g: Algorithmische Überprüfung struktureller Eigenschaften von Petrinetzen und Transitionssystemen

Vorträge 2008

Datum  VortragendeR/Thema
12.12.2008Martin Hilscher: The context-freeness of the languages associated with vector addition systems is decidable (?) (Teil II)
05.12.2008Thomas Preschel: Entwicklung eines E-Learning-Toolkits für strategische Kartenspiele
28.11.2008Martin Hilscher: The context-freeness of the languages associated with vector addition systems is decidable (?) (Teil I, Paper in englisch, Vortrag in deutsch)
21.11.2008Tim Suchner: Entwicklung und Implementierung eines PGP-Verschlüsselungsproxys
07.11.2008Kristian Heidmann: Eine modulare Blokus-Spielsoftwareumgebung
24.10.2008Igor Tarasyuk: Performance evaluation in dtsPBC
31.10.2008Jan Christian Halfbrodt: Konzeption und Erstellung eines Studieneinstiegstests Informatik
17.10.2008Alexander Neumann: OTAAS - Analyse und Erweiterung einer onlinegestützten Tachographendatenauswertungs- und Archivierungs-Software
11.07.2008Projektgruppe Stego: Rechnergestützte Steganographie
20.06.2008Jens Fischer: Entwicklung eines barrierefreien Captchas zur Vermeidung von Webscraping
13.06.2008Iris Wilde: Beschreibung und Analyse von Produktionssystemen durch Petrinetze
06.06.2008Thomas Preschel: E-Learning Lösungen für Bridge
30.05.2008Cigdem Cebe: Messung kooperativer Kompetenz IP, DA
23.05.2008Holger Lubitz: Parallelisierung eines Kompressionsalgorithmus
16.05.2008Klaus Piech: Integration eines Projektkonzepts in das STETZ-System
09.05.2008Martin Hilscher: Kollaps - Design und Analyse kryptographischer Hash-Funktionen (PDF)
18.04.2008Patrick Schulz: Entwicklung und Implementierung eines Tutorsystems für Bridgelehrer (Master-Arbeit)
08.02.2008 Carsten Schild: Die Model-Checking-KIT von Javier Esparza et al.
Yangzi Zhang: Der SPIN-Modelchecker von Gerard J. Holzmann et al.
01.02.2008Malte Diehl: Alternative Steganographie (PDF)
25.01.2008Jan Jelschen: Eine Werkzeugsammlung zur Prüfung endlicher Modelle
18.01.2008Christian Wellinghorst: Konzeption und Implementierung eines modular erweiterbaren Content Management Systems

Vorträge 2007

Datum  VortragendeR/Thema
21.12.2007Robert Bleiker: Implementierung eines Fallentestschemas
07.12.2007Alexander Neumann: ASP DigiTach
30.11.2007Lars Lüttmann: Spielergesellschaft Deutschland: Computerspiele als Spiegel gesellschaftlicher Trends am Beispiel World of Warcraft
23.11.2007Harry Egbers: Konzeptioneller Entwurf einer unbegrenzten MMORPG-Spielwelt
09.11.2007Martin Hilscher: RENGA
09.11.2007Ana-Maria Mesaros: Vermittlung von IT-Kompetenzen in Weiterbildungs-Veranstaltungen - eine empirische Studie
26.10.2007Tim Suchner: Entwicklung und Implementierung eines Pokerclients mit Pokerbots