---

Dr. rer. nat. Andreas Both

Nach Abschluss der Promotion wurde ein Wechsel zur Firma Unister GmbH    in der Position als technischer Projektleiter Semantic Web Project durchgeführt.

Forschungsthema

Kurzbiographie

betreute Arbeiten (Bachelor, Master, Diplom)

• Diplomarbeit (Andreas Rudolf): Erzeugen von Process Rewrite System-Abstraktionen aus PHP-Code (Kooperation mit PCT-Halle Systemhaus GmbH   , ComServ Ingenieurgesellschaft mbH   ) (AR10)
  
• Diplomarbeit (Hannes Hellmich, Dipl.-Wirtschaftsinformatik): Erstellen von PRS-Abstraktionen aus BPEL, Definition und Analyse von Webservice-Szenarien (HH10)
• Projektarbeit (8 Teilnehmer): Erstellen einer GUI für Protokolldefinition und Auswertung (zusammen mit OR Soft Jänicke GmbH   ) (P2)
• Bachelorarbeit (Matthias Stieler): Verbesserung der grafischen Visualisierungen von Informationen eines ERP-Systems durch die Integration von dreidimensionalen Paradigmen. (zusammen mit OR Soft Jänicke GmbH   ) (beendet November 2009)
• Bachelorarbeit (Matthias Karbe): Erweiterung der webbasierten (Open Source) Projektmanagementsoftware Trac    unter dem Gesichtspunkt der Projektübersicht.
• Diplomarbeit (Stephan Prätsch): Implementierung eines Modellprüfungsalgorithmus für Prozess-Algebra-Netze. (beendet September 2009, SP09)
• Diplomarbeit (Johannes E. Krause):Implementierung einer gemeinsamen Zwischenschicht für C/C++/Python zum Zwecke gemeinsamer Programmanalysen. (beendet März 2009)
• Neugestaltung eines Prozesses zur Vorbereitung der aufwandsbezogenen Fakturierung auf Basis einer SOA mit SAP Netweaver (beendet April 2009, zusammen mit GISA GmbH   )
• Entwicklung einer Messstandsoftware für Leichtathletik (Sprint) (zusammen mit Department Sportwissenschaften, Forschungsgruppe Sprint/Hürden Halle) (beendet Mai 2008)
• Reengineering des landwirtschaftlichen Verwaltungsprogramms REPRO (zusammen mit dem Institut für Agrar- und Ernährungswissenschaften) (beendet Juli 2008)
• Entwicklung eines Softwareanalysewerkzeugs für komponentenbasierte Systeme (zusammen mit OR Soft GmbH   ) (beendet Mai 2008)
• Reengineering und Erweiterung der Übungsplattform des Instituts für Informatik, Einführung einer Pluginarchitektur (beendet März 2008)
• my.sputnik.II: Erweiterung der Social Networking Platform MySputnik    für den Einsatz an mehreren Radioanstalten (zusammen mit MDR Sputnik) (beendet 2008)
• Entwicklung eines adaptiven Rahmenwerks für Übungsplattformen (Hermann Ruhe und Hendrik Nieß,  Wirtschaftsinformatik, beendet April 2007)
• Entwurf und Implementierung eines Prototypen für Alumniplattform mit Social Networking Charakter für Konrad-Adenauer-Stiftung    (beendet Dezember 2007)
• my.sputnik: Entwurf und Implementierung einer Social Networking Platform für MDR Sputnik    (http://my.sputnik.de   ), (beendet 2007)

Veröffentlichungen

Forschung und Wissenschaft

• [BZ08a]  Andreas Both and Wolf  Zimmermann. Automatic  protocol  conformance checking of recursive and parallel component-based systems. In Michel R. V. Chaudron, Clemens A. Szyperski, and Ralf Reussner, editors, Component-Based Software Engineering, 11th International Symposium (CBSE 2008   ), volume 5282 of Lecture Notes in Computer Science, pages 163–179. Springer   , October 2008. BibTEX
• [BZ08b]  Andreas Both and Wolf  Zimmermann.    Automatic  protocol  conformance checking of recursive and parallel component-based systems. Technical Report 2008/01, University Halle-Wittenberg, Institute of Computer Science, June 2008. BibTEX
• [BZ08c]  Andreas Both and Wolf  Zimmermann. Automatic protocol  conformance checking of recursive and parallel BPEL systems. IEEE Sixth European Conference on Web Services (ECOWS ’08   ), 0:81–91, IEEE   , 2008. BibTEX
• [BZ09a]  Andreas Both and Wolf Zimmermann.  Model checking of component protocol conformance – optimizations by reducing false negatives. In International Workshop on Formal Aspects of Component Software (FACS’09   ), Eindhoven, November 2009 (to be published as extended version in ENTCS   ). BibTEX
• [BZ09b]  Andreas Both and Wolf Zimmermann.  On more predictable implementations of reliable workflows in service-oriented architectures. IEEE Seventh European Conference on Web Services (ECOWS ’09   ), 0: 87-96, IEEE   , November 2009. BibTEX
• [BZ09c]  Andreas Both and  Wolf  Zimmermann. Sicherstellung  der  Funktionalität in Komponentensystemen und Service-orientierten Architekturen.  In Erik Maehle Stefan Fischer and Rüdiger Reischuk, editors, GI-Jahrestagung   , volume 154 of Lecture Notes in Informatics   , pages 425;3336–3349. GI, 2009. BibTEX
• [BZ09d]  Andreas Both and Wolf Zimmermann. A step towards a more practical protocol conformance checking algorithm. In 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009   ), pages 458–465. IEEE Computer Society   , August 2009. BibTEX
• [BZ09e]  Andreas Both and Wolf Zimmermann. Supporting the development process of reliable software during the composition process using interaction protocols. Technical Report 2009/04, University Halle-Wittenberg, Institute of Computer Science, September 2009. BibTEX
• [FB09] Rene Franke and Andreas Both. Tool demo: Component-based infrastructure for protocol conformance checking of component-based software. In International Workshop on Formal Aspects of Component Software (FACS’09   ), Eindhoven, November 2009. BibTEX

Zeitungen/Zeitschriften

• Andreas Both, Paul Molitor: Das Web-Content-Management System der Universität Halle, scientia halensis, Dez. 2005
• Andreas Both: Von einer Projektarbeit zu Produktivsystem - das Web-Content-Management-System der Martin-Luther-Universität Halle-Wittenberg, Cantorheft der Georg-Cantor-Vereinigung, Okt. 2005

Kleine Hilfen

Das ProjektPlanPlugin    für die Projektorganisationssoftware Trac    erlaubt die Darstellung des Projektplans in verschiedenen graphischen Formen.

Ich habe bei Google Calendar einen Kalender angelegt, welcher die Vorlesungsfreien Zeiten enthält. Durch einen Klick auf den nachfolgenden Button kann dieser zum privaten Kalendar hinzugefügt werden.

Es existieren auch verschiedene Darstellungen dieses Kalenders:

• Darstellung im Browser   
• als RSS-Feed   
• Download im ical-Format   

Interpreter für Markov-Algorithmen und Semi-Thue-Systeme

• Programm
• Installationsanleitung, Tutorial
• Exportierte Beispieldatei des Tutorials

Interessante Links

• Henning Thielemanns "C-Hasser in 10 Tagen"   

Newsarchiv

Zum Seitenanfang