Daniela Weinberg - Theorie der Programmierung

	Daniela Weinberg wissenschaftliche Mitarbeiterin am Lehrstuhl Theorie der Programmierung
Adresse	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin
Sitz	Humboldt-Universität zu Berlin Institut für Informatik Haus IV, 4. Etage, Raum 412 Rudower Chaussee 25 12489 Berlin
Sprechstunde	nach Vereinbarung (E-Mail bevorzugt)
Telefon	+49 30 2093-3083
Fax	+49 30 2093-3067
E-Mail	weinberg@informatik.hu-berlin.de

Lebenslauf

1998 - 1999	Beginn des Studiums der Informatik an der TU Dresden
1999 - 2004	Studium der Informatik an der Humboldt-Universität in Berlin, Abschluß als Diplom-Informatiker
Sep. 2000 - Sep. 2001	Softwareentwickler bei der KinderCampus AG
Sep. 2001 - Sep. 2003	Softwareentwickler bei der INSIC GmbH
Nov. 2002 - Jan. 2003	Werksstudent bei DResearch Digital Media Systems GmbH
Nov. 2004 - Dez. 2005	Doktorand bei Fraunhofer FIRST
ab Jan. 2006	wissenschaftliche Mitarbeiterin am Lehrstuhl ToP
Aug. 2004	Teilnahme an ESSLI 2004 - 16th European Summer School in Logic, Language and Information
Mai 2005	Teilnahme an der ICSE 2005 und am 2nd International ICSE workshop on Software Engineering for Automotive Systems
März 2007 - Sep. 2007	co-op student am IBM TJ Watson Research Center, Hawthorne, NY (USA), Component Systems Group

Jan Sürmeli and Daniela Weinberg. Creating Message Profiles of Open Nets. In Oliver Kopp and Niels Lohmann, editors, Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009, volume 438 of CEUR Workshop Proceedings, pages 74-80, 2009. CEUR-WS.org.

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. Data Knowl. Eng., 64(1): 38-54, January 2008.
Peter Massuthe and Daniela Weinberg. Fiona: A Tool to Analyze Interacting Open Nets. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 99-104, September 2008. CEUR-WS.org.
Daniela Weinberg. Efficient Controllability Analysis of Open Nets. In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4--5, 2008, Proceedings, Lecture Notes in Computer Science, September 2008. Springer-Verlag.

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17-32, September 2006. Springer-Verlag.
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus, pages 11-17, November 2006. IEEE Computer Society.
Daniela Weinberg. Reduction Rules for Interaction Graphs. Informatik-Berichte 198, Humboldt-Universität zu Berlin, February 2006.

Ingo Stürmer, Daniela Weinberg, and Mirko Conrad. Overview of Existing Safeguarding Techniques for Automatically Generated Code. In SEAS '05: Proceedings of the Second International Workshop on Software Engineering for Automotive Systems, New York, NY, USA, pages 1-6, 2005. ACM Press.
Daniela Weinberg and Karsten Schmidt. Reduction Rules for Interaction Graphs. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), Proceedings, pages 60-65, September 2005. Humboldt-Universität zu Berlin.

Axel Martens, Christian Stahl, Daniela Weinberg, Dirk Fahland, and Thomas Heidinger. Business Process Execution Language for Web services - Semantik, Analyse und Visualisierung. Informatik-Berichte 169, Humboldt-Universität zu Berlin, July 2004.
Daniela Weinberg. Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu Berlin, October 2004.

Daniela Weinberg. Graphische Repräsentation von BPEL. Studienarbeit, Humboldt-Universität zu Berlin, August 2003.