Formale Methoden

Forschungsgebiet

Leitung

Mitarbeiter

Arbeitsgruppen > Formale Methoden > Mitarbeiter

Jörg Behrend

Eberhard-Karls-Universität Tübingen
Wilhelm-Schickard Institut für Informatik
Lehrstuhl Technische Informatik
Sand 13, B 225
72076 Tübingen

Telefon: +49 (7071) 29-78998
Telefax: +49 (7071) 29-5062

E-Mail: behrend

Sprechstunde: nach Vereinbarung

Kontakt-Formular

Studienberatung


Studienberatung	Bachelor, Master, Diplom
Termin	Donnerstag
Uhrzeit	14:00 - 15:00 Uhr (nach Vereinbarung, E-Mail oder Telefon)
Raum	B 225, 1. OG, Sand 13
Achtung!	Am 10.09.09 findet keine Studienberatung statt!

Forschungsinteressen

Formale Verifikation
Verteilte Verifikations-Algorithmen
Semiformale Verifikation
Software-Verifikation
Grid-Computing

Lehre

2009

Seminar: Virtualisierung- Mehr als nur ein Betriebssystem

2008

2007

Seminar: Software Verifikation: SW-Spezifikation, -Test und Verifikation

Seminar: Grid-Computing WS 06/07

2006

Seminar: Grid-Computing WS 06/07
Seminar: Verifikation SS 06

Werdegang

seit 2006

Doktorand an der Eberhard-Karls-Universität Tübingen, Germany
Lehstuhl für technische Informatik
Wilhelm-Schickard-Institut für Informatik

1999-2005

Diplomstudiengang Bioinformatik an der Eberhard-Karls-Universität Tübingen, Germany
Wilhelm-Schickard-Institut für Informatik
November 2005: Diplom

-1998

Gymnasium am Stefansberg in Merzig, Germany
Abitur

Homepage

www-ti.informatik.uni-tuebingen.de/~behrend

Publikationen

Alle Publikationen im BibTex-Format

Publikationen von 2008

Publikationen vom September 2008

P. Heckeler, M. Ritt, J. Behrend, W. Rosenstiel
Object-oriented message-passing in heterogeneous environments
EuroPVM/MPI 2008, p.151-158, Springer LNCS, Dublin

Publikationen von 2007

Publikationen vom Oktober 2007

P. Heckeler, J. Behrend, H. Planatscher, W. Rosenstiel
Grid-Middlewares für Campus Grids
Grid-Technologie für den Entwurf technischer Systeme, Dresden

Publikationen vom Juni 2007

J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schönwald, A. Viehl u. J. Zimmermann
Entwurf und Verifikation von Hardware/Software - Systemen
Kooperationsmarkt des Ekompass-Workshops, Hannover, Germany

Publikationen vom März 2007

S. Lämmermann, J. Behrend, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.29-38, Erlangen, Germany

Publikationen ohne Monatsangabe 2007

P. K. Nalla, J. Behrend, P. M. Peranandam, J. Ruf, T. Kropf, W. Rosenstiel
Grid Based Fast Falsification For Bounded Property Checking
Forum on Specification & Design Languages (FDL)

Publikationen von 2006

Publikationen vom März 2006

P. K. Nalla, P. M. Peranandam, J. Ruf, S. Laemmermann, J. Behrend, R. Weiss, T. Kropf, W. Rosenstiel
Fast Distributed Property Checking
Design Automation and Test in Europe (DATE), University Booth