Ehemaliger Mitarbeiter (08/2003 - 12/2005)

	Prof. Dr. Karsten Wolf, geb. Schmidt (Privatdozent) wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung
Adresse	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin
Sitz	Humboldt-Universitiät zu Berlin Institut für Informatik Haus IV, 4. Etage, Raum 412 Rudower Chaussee 25 12489 Berlin
Sprechstunde	Dienstags, 14 - 17 Uhr sonst nach Vereinbarung (E-Mail bevorzugt)
Telefon	+49 30 2093-3083
Fax	+49 30 2093-3067
E-Mail	kschmidt @ informatik.hu-berlin.de

Lehrveranstaltungen

Vorlesung "Computergestützte Verifikation" (WS 2005/2006)

Übung zur Vorlesung "Praktische Informatik II" (SS 2005)

Vorlesung "Analyse von Petrinetz-Modellen" (WS 2004/2005)

Übung zur Vorlesung "Praktische Informatik II" (SS 2004)

Vorlesung "Computergestützte Verifikation" (SS 2004)

Übung zur Vorlesung "Praktische Informatik I" (WS 2003/2004)

Vorlesung "Computergestützte Verifikation" (SS 2003)

Seminar "Prozessalgebra" (SS 2003)

Proseminar "Programmverifikation" (SS 2003)

Lebenslauf

Sep. 1988 - Apr. 1993	Studium der Informatik an der Humboldt-Universität zu Berlin; Abschluß als Diplom-Informatiker
Mai 1993 - Apr. 1996	Wiss. Mitarbeiter bei Prof. Starke (Gebiet Automaten und Systemtheorie) an der Humboldt-Universität zu Berlin, Promotion zum Dr. rer. nat.
Mai 1996 - Dez. 1996	Stipendiat des DAAD , später Forscher im Digital Systems Laboratory der Helsinki University of Technology
Jan. 1997 - Sep. 1997	Postdoc.-Stipendiat im Graduiertenkolleg Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken an der TU Dresden
Okt. 1997 - Nov. 2003	Wiss. Mitarbeiter bei Prof. Starke (Gebiet Automaten und Systemtheorie) an der Humboldt-Universität zu Berlin
Okt. 2000 - Okt. 2001	Visiting researcher bei Prof. Ed Clarke an der Carnegie Mellon University Pittsburgh PA, School of Computer Science
Okt. 2002 - Jul. 2003	Vertretung des Gebiets Automaten und Systemtheorie als Gastdozent/Gastprofessor am Institut für Informatik der Humboldt-Universität zu Berlin
Nov. 2002	Habilitation im Fach Informatik
Jul. 2003	Verleihung der Lehrbefugnis
seit Nov. 2003	Wiss. Mitarbeiter am Lehrstuhl

Forschungsprojekte

Petrinetze

Explizite Zustandsraumanalyse mit leistungsfähigen Reduktionstechniken für Low-Level-Petrinetze: LoLA

Verifikation von Real-Time-Systemen

Verifikation von Web-Services

Publikationen

Pflichtarbeiten

Karsten Schmidt: Implementation der Umgebung eines Programms zur Prüfung und Berechnung von Invarianten algebraischer Petri-Netze. Diplomarbeit. Humboldt-Universität zu Berlin, Fachbereich Informatik (1993). 82 Seiten.

Karsten Schmidt: Symbolische Analysemethoden für algebraische Petri-Netze.

Karsten Schmidt: Explicit State Space Verification.

Publikationen in Zeitschriften (begutachtet)

Karsten Schmidt: Modelchecking with Coverability Graphs.

Karsten Schmidt: How to Calculate Symmetries of Petri nets.

Karsten Schmidt: Stubborn Sets for Modelchecking the EF/AG Fragment of CTL.

Karsten Schmidt: Narrowing Petri net State Spaces using the State Equation.

Karsten Schmidt: Distributed Verification with LoLA.

Konferenzbeiträge (mit Begutachtungsprozess)

Karsten Schmidt: On the Computation of Place Invariants for Algebraic Petri Nets. In J. Desel (Ed.): Workshop on Structures in Concurrency Theory (STRICT), Berlin (1995), pp. 310-325. Workshops in Computing. Springer.

Karsten Schmidt: Parameterized Reachability Trees for Algebraic Petri Nets. In G. de Michelis, M. Diaz (Eds.): Proc. 16th Int. Conf. Application and Theory of Petri Nets, Torino, Italy (1995), pp. 392-411. Lecture Notes in Computer Science 935, Springer.

Karsten Schmidt: Siphons, Traps, and High-Level nets with Infinite Color Domains.

Karsten Schmidt: Verification of Siphons and Traps for Algebraic Petri nets.

Karsten Schmidt: Stubborn Sets for Standard Properties.

Karsten Schmidt: Integrating Low level Symmetries into Reachability Analysis.

Karsten Schnidt: LoLA: A Low Level Analyser.

Farn Wang und Karsten Schmidt: Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structure.

Karsten Schmidt: Using Petri net Invariants in State Space Construction.

S. Hinz, K. Schmidt, Ch. Stahl: Transforming BPEL to Petri Nets.

Beiträge auf Workshops (ohne Begutachtung); Technische Berichte

Karsten Schmidt und Peter Starke: An Algorithm to Compute the Symmetries of Petri Nets. In: Petri Net Newsletter 40 (1991), pp. 25-30.

Karsten Schmidt: Symmetries of Petri Nets. Workshop Concurrency, Specification and Programming, Berlin (1992). In: Petri Net Newsletter 43 (1993), pp. 9-25.

Karsten Schmidt: Computation of Invariants for Algebraic Petri Nets. In H.-D. Burkhard, L. Czaja, P. Starke (Eds.): Workshop on Concurrency, Specification and Programming, Nieborow (1993), pp. 196-218.

Karsten Schmidt: Symmetries of Petri Nets. Informatik-Bericht 33, Humboldt-Universität zu Berlin (1994)

Karsten Schmidt: T-Invariants of Algebraic Petri Nets. Informatik-Bericht 31, Humboldt-Universität zu Berlin (1994).

Karsten Schmidt: Symbolische Analysemethoden für algebraische Petri-Netze. In J. Desel, A. Oberweis, W. Reisig (Eds.): Workshop Algorithmen und Werkzeuge für Petrinetze, Berlin (1994), pp. 55-60.

Karsten Schmidt: Parameterized Reachability Trees for Algebraic Petri Nets. In L. Czaja, H,-D. Burkhard, P. Starke (Eds.): Workshop Concurrency, Specification and Programming, Berlin (1994), pp. 90-99.

Karsten Schmidt: Symmetry Calculation. Workshop on Concurrency, Specification and Programming, Warsaw (1995). pp. 147 - 162

Karsten Schmidt: Symmetrieberechnung. Workshop Algorithmen und Werkzeuge für Petri-Netze, Oldenburg (1995).

Karsten Schmidt: Siphons and Traps for Algebraic Petri nets.

Karsten Schmidt: Ein Verfahren zur Verifikation von "Immer möglich" und "Möglich, daß immer"-Eigenschaften.

Karsten Schmidt: How to Calculate Symbolically Siphons and Traps of Algebraic Petri Nets.

Karsten Schmidt: Modelchecking with Coverability Graphs.

Karsten Schmidt: Applying Reduction Rules to Algebraic Petri nets.

Karsten Schmidt: Modelchecking on Symbolic Reachability Graphs of Petri nets.

Karsten Schmidt: Goal-Oriented Stubborn Sets.

Klaus-Peter Neuendorf, Karsten Schmidt, Dimitris Kiritsis, Paul Xirouchakis: Workflow Modelling and Analysis with Chameleon Nets

Karsten Schmidt: Symmetrien in der Erreichbarkeitsanalyse.

Karsten Schmidt: Stubborn Sets for Modelchecking the EF/AG-Fragment of CTL.

Karsten Schmidt: LoLA wird Pfadfinder.

Karsten Schmidt: Integrating Low Level Symmetries into Reachability Analysis.

Karsten Schmidt: Flexible net Inscriptions with LoLA.

Karsten Schmidt: Narrowing the state space of Petri nets using the state equation.

Karsten Schmidt: Using invariants for state space reduction.

K. Schmidt and Ch. Stahl A Petri net semantic for BPEL4WS - validation and application.

K. Schmidt Distributed Usability of Web Services.

P. Massuthe, K. Schmidt: Operating Guidelines - an Alternative to Public View.

W. Reisig, K. Schmidt, Ch. Stahl: Verteilte Geschäftsprozesse modellieren und analysieren.

zurück zur Liste der Mitarbeiter