Institute of Computer Languages
Compilers and Languages Group

Talks 2009 - Rebekka Neumann

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Dipl.-Inform. Rebekka Neumann

Software Quality Lab, Universität Paderborn, Deutschland

über

Deadlock-Analyse für unvollständige Java Card 3.0 Programme

Datum: Freitag, Feber 27, 2009
Zeit: 15:00 (c.t.)
Location: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

Zusammenfassung:

Wir motivieren die Konzeption einer iterativen Deadlock-Analyse zur Aufdeckung von Deadlocks für unvollständige, nebenläufige Java Card 3.0 Programme und stellen einen Überblick über die geplante Analyse und die darin betrachteten Deadlocks vor. Durch eine vereinfachte Analyse des Locking-Verhaltens unseres Analysegegenstandes, des Java Card 3.0 Webservers, zeigen wir unter Verwendung des Programmanalyse-Frameworks SAILDOWN (http://www.upb.de/cs/mthies), dass ein iteratives Analysevorgehen effektiv sein wird. Wir stellen die bisher umgesetzen Arbeitsschritte hin zur Konzeption und Realisierung der eigentlichen Deadlock-Analyse vor und schließen den Vortrag mit einem Überblick über sich anschließende Forschungsfragen.

Kurzbiographie von Dipl.-Inform. Rebekka Neumann

Rebekka Neumann arbeitet als wissenschaftliche Mitarbeiterin am Software Quality Lab der Universität Paderborn und wird von Prof. Uwe Kastens, Fachgebiet Programmiersprachen und Übersetzer, bei ihrer Doktorarbeit betreut. Darin beschäftigt sie sich mit dem kombinierten Einsatz von statischer Programmanalyse und Model Checking zur Verifikation von Eigenschaften nebenläufiger Java-Programme. Ihr Diplom in Informatik hat sie an der TU Berlin erlangt und vor dem Beginn ihrer Tätigkeit an der Universität Paderborn als Software-Ingenieurin bei der sd&m AG gearbeitet. (http://s-lab.upb.de/Personen/personen_oeters.html)

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)