Ehemaliger Mitarbeiter (05/1998 - 04/2005)

	Dr. Axel Martens 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 411 Rudower Chaussee 25 12489 Berlin
Sprechstunde	nach Vereinbarung (E-Mail bevorzugt)
Telefon	+49 30 2093-3068
Fax	+49 30 2093-3067
E-Mail	martens @ informatik.hu-berlin.de

Lebenslauf

1972	geboren in Güstrow (Mecklenburg)
07/1990	Abitur, anschließend 12 Monate Zivildienst
10/1991-09/1997	Studium der Informatik an der Humboldt-Universität zu Berlin
10/1997-05/1998	Softwareentwickler bei der SAP AG, Basisentwicklung Berlin
05/1998-04/2005	wissenschaftlicher Mitarbeiter am Lehrstuhl
04/2004-04/2005	Post Doc Researcher am IBM TJ Watson Research Center, Hawthorne, NY (USA), Component Systems Group

Forschungsschwerpunkte

• Task Force "Geschäftsprozesssprache BPEL4WS"
• Verteilte Geschäftsprozesse und Web Services
• WOMBAT4WS
• Geschäftsprozessmodellierung
• DFG Forschergruppe Petrinetz-Technologie (PNT)

Publikationen

Dissertationen und Habilitationen

• Axel Martens. Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. Note: Erschienen in WiKi: Stuttgart, Berlin & Paris.

Publikationen in Zeitschriften und Büchern

• Bernd-Holger Schlingloff, Axel Martens, and Karsten Schmidt. Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems, 126:3-26, March 2005.
• Axel Martens. On Compatibility of Web Services. Petri Net Newsletter, 65:12-20, 2003.
• Ekkard Kindler and Axel Martens. Cross-talk revisited - What's the problem?. Petri Net Newsletter, 58:4-10, 2000. Note: Cover Picture Story.

Konferenzbeiträge und Beiträge auf Workshops

• Axel Martens. Analyzing Web Service based Business Processes. In Maura Cerioli, editor, Proceedings of Intl. Conference on Fundamental Approaches to Software Engineering (FASE'05), Part of the 2005 European Joint Conferences on Theory and Practice of Software (ETAPS'05), volume 3442 of Lecture Notes in Computer Science, April 2005. Springer-Verlag.
• Axel Martens. Consistency between Executable and Abstract Processes. In Proceedings of Intl. IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE'05), March 2005. IEEE Computer Society Press.
• Axel Martens. Process Oriented Discovery of Business Partners. In Proceedings of 7th Intl. Conference on Enterprise Information Systems (ICEIS'05), Vol 3, May 2005. INSTICC.
• Axel Martens. Simulation and Equivalence between BPEL Process Models. In Proceedings of the Design, Analysis, and Simulation of Distributed Systems Symposium (DASD'05), Part of the 2005 Spring Simulation Multiconference (SpringSim'05), April 2005.
• Axel Martens. Analysis and re-engineering of Web Services. In Proceedings of 6th International Conference on Enterprise Information Systems (ICEIS'04), 2004. Porto, Portugal.
• Axel Martens. Compatibility of Web Services. In 10th Workshop on Algorithms and Tools for Petri Nets (AWPN 2003), Eichstätt, Germany, pages 26.-27, September 2003.
• Axel Martens. On Usability of Web Services. In Coral Calero, Oscar Díaz, and Mario Piattini, editors, Proceedings of 1st Web Services Quality Workshop (WQW 2003), Rome, Italy 2003.
• Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, and A. Qemali. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 1-21, 2003. Springer-Verlag.
• Axel Martens. Modeling Workflow in Virtual Enterprises. In Herbert Weber, Hartmut Ehrig, and Wolfgang Reisig, editors, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 157-162, DFG Research Group Petri Net Technology 2001.
• Ekkard Kindler, Axel Martens, and Wolfgang Reisig. Inter-operability of Workshop Applications - Local Criteria for Global Soundness. In Wil M. P. van der Aalst, Jörg Desel, and Andreas Oberweis, editors, Business Process Management, volume 1806 of Lecture Notes in Computer Science, pages 235-253, 2000. Springer-Verlag.
• Axel Martens and Ekkart Kindler. Szenarios - Lokale Kriterien für globale Korrektheit. In K. Spies and B. Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG Fachgesprächs, June 1999. Utz Verlag, München.

Technische Berichte

• 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.
• Anne Battke, Alexander Borusan, Juliane Dehnert, Hartmut Ehrig, Claudia Ermel, Maike Gajewsky, Kathrin Hoffmann, Bodo Hohberg, Gabriel Juhás, Sabine Lembke, Axel Martens, Julia Padberg, Wolfgang Reisig, Tobias Vesper, Herbert Weber, and Michael Weber. Petrinetz-Technologie: Initial Realization of the Petri Net Baukasten. Informatik-Berichte 129, Humboldt-Universität zu Berlin, October 1999.

Studien- und Diplomarbeiten

• Axel Martens. Software-Engineering von Workflow-Applikationen mit Petrinetzen. Diplomarbeit, Humboldt-Universität zu Berlin, August 1997.

zurück zur Liste der Mitarbeiter