Publikationen des Jahres 2005

Dissertationen und Habilitationen

Adrianna Alexander. Komposition Temporallogischer Spezifikationen - Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. Dissertation, Humboldt-Universit�t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult�t II, September 2005.

Publikationen in Zeitschriften und B�chern

Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, 1(3): 35-43, 2005.
Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Kommunizierende Workflow-Services modellieren und analysieren. Informatik - Forschung und Entwicklung, pp 90-101, October 2005.
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.

Konferenzbeitr�ge und Beitr�ge auf Workshops

Dirk Fahland and Wolfgang Reisig. ASM-based semantics for BPEL: The negative Control Flow. In Dani�le Beauquier, Egon B�rger, and Anatol Slissenko, editors, Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), pages 131-151, March 2005. Paris XII.
Carsten Frenkler and Karsten Schmidt. Modellierung und Analyse transaktionaler Gesch�ftsprozesse. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 72-77, September 2005. Humboldt-Universit�t zu Berlin.
Andreas Glausch. Eine Charakterisierung einfacher Petrinetz-Schemata. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 1-6, September 2005. Humboldt-Universit�t zu Berlin.
Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, and Maxim Piz. Enhanced GALS Techniques for Datapath Applications. In Vassilis Paliouras, Johan Vounckx, and Diederik Verkest, editors, Integrated Circuit and System Design: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 20-23, 2005, volume 3728 of Lecture Notes in Computer Science, pages 581-590, August 2005. Springer-Verlag.
Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, Nancy, France, pages 220-235, September 2005. Springer-Verlag.
Milos Krstic, Eckhard Grass, and Christian Stahl. Request-Driven GALS Technique for Wireless Communication System. In Proceedings of the 11th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2005), New York, NY, USA, pages 76-85, March 2005. IEEE Computer Society.
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, Edinburgh, Scotland, 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), Hong Kong, 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, Miami, Florida, 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), San Diego, California, April 2005.
Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. In 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia, 2005.
Peter Massuthe and Karsten Schmidt. Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. In Kai-Yuan Cai, Atsushi Ohnishi, and M.F. Lau, editors, Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pages 452-457, September 2005. IEEE Computer Society.
Peter Massuthe and Karsten Schmidt. Operating Guidelines for Services. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 78-83, September 2005. Humboldt-Universit�t zu Berlin.
Wolfgang Reisig. Modeling- and Analysis Techniques for Web Services and Business Processes. In Martin Steffen and Gianluigi Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings, volume 3535 of Lecture Notes in Computer Science, pages 243-258, May 2005. Springer Verlag.
Wolfgang Reisig. On the Expressive Power of Petri Net Schemata. In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 349-364, May 2005. Springer Verlag.
Karsten Schmidt. Controllability of Open Workflow Nets. In J�rg Desel and Ulrich Frank, editors, Enterprise Modelling and Information Systems Architectures, volume P-75 of Lecture Notes in Informatics (LNI), Bonn, pages 236-249, 2005. Entwicklungsmethoden f�r Informationssysteme und deren Anwendung (EMISA, RWTH Aachen), K�llen Druck+Verlag GmbH.
Christian Stahl, Wolfgang Reisig, and Milos Krstic. Hazard Detection in a GALS Wrapper: A Case Study. In J�rg Desel and Y. Watanabe, editors, Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD'05), St. Malo, France, pages 234-243, June 2005. IEEE Computer Society.
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.

Technische Berichte

Dirk Fahland. Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Informatik-Berichte 190, Humboldt-Universit�t zu Berlin, September 2005.
Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Informatik-Berichte 191, Humboldt-Universit�t zu Berlin, 2005.
Peter Massuthe and Karsten Schmidt. Matching Nondeterministic Services with Operating Guidelines. Informatik-Berichte 193, Humboldt-Universit�t zu Berlin, June 2005.
Peter Massuthe and Karsten Schmidt. Operating Guidelines - an Alternative to Public View. Informatik-Berichte 189, Humboldt-Universit�t zu Berlin, 2005.
Wolfgang Reisig. Modeling- and Analysis Techniques for Web Services and Business Processes. Informatik-Berichte 183, Humboldt-Universit�t zu Berlin, 2005.
Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Verteilte Gesch�ftsprozesse modellieren und analysieren. Informatik-Berichte 182, Humboldt-Universit�t zu Berlin, February 2005.
Karsten Schmidt. Controlability of Distributed Business Processes. Informatik-Berichte 180, Humboldt-Universit�t zu Berlin, 2005.
Karsten Schmidt and Christian Stahl. 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings. Informatik-Berichte 192, Humboldt-Universit�t zu Berlin, September 2005.
Christian Stahl. A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universit�t zu Berlin, July 2005.
Christian Stahl, Wolfgang Reisig, and Milos Krstic. Hazard Detection in a GALS Wrapper: a Case study. Informatik-Berichte 184, Humboldt-Universit�t zu Berlin, February 2005.

Studien- und Diplomarbeiten

Alexander Brade. ASMs und die Struktur und Dynamik von Web Services. Studienarbeit, Humboldt-Universit�t zu Berlin, January 2005.
Alexander Brade. �bersetzung graphischer Verhaltensbeschreibungen von Services in Abstract State Machines. Diplomarbeit, Humboldt-Universit�t zu Berlin, September 2005.
Carsten Frenkler. Modellierung und Analyse transaktionaler Gesch�ftsprozesse. Diplomarbeit, Humboldt-Universit�t zu Berlin, July 2005.
Andreas Glausch. Varianten des ASM-Theorems. Diplomarbeit, Humboldt-Universit�t zu Berlin, June 2005.
Sebastian Hinz. Implementierung einer Petrinetz-Semantik f�r BPEL. Diplomarbeit, Humboldt-Universit�t zu Berlin, March 2005.
Alexandra Julius. Entwurf und VHDL-Modellierung von mesochronen GALS-Schaltungen. Studienarbeit, Humboldt-Universit�t zu Berlin, December 2005.
Niels Lohmann. Formale Fundierung und effizientere Algorithmen f�r die schrittbasierte TLDA-Interleavingsemantik. Diplomarbeit, Humboldt-Universit�t zu Berlin, September 2005.
Niels Lohmann. Implementierung einer schrittbasierten Interleavingsemantik f�r die Temporal Logic of Distributed Actions (TLDA). Studienarbeit, Humboldt-Universit�t zu Berlin, June 2005.
Elke Salecker and Nora Toussaint. Gegenbeispielgesteuerte Abstraktionsverfeinerung in High-Level-Petrinetzen. Diplomarbeit, Humboldt-Universit�t zu Berlin, September 2005.

zur�ck zur �bersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Thu Feb 18 13:30:01 2010