Richard Müller

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-Universität zu Berlin
Institut für Informatik
Haus IV, 4. Etage, Raum 415

Rudower Chaussee 25
12489 Berlin
Sprechstunde nach Vereinbarung (E-Mail bevorzugt)
Telefon +49 30 2093-3074
Fax +49 30 2093-3067
E-Mail richard.mueller (at) informatik.hu-berlin.de

Lehrveranstaltungen

Lebenslauf

07/2010-present Promotionsstudent an der TU Eindhoven am Lehrstuhl Architecture of Information Systems (AIS) im Rahmen des B.E.S.T. Programms
07/2010-present Promotionsstudent an der HU Berlin am Lehrstuhl Theory of Programming (ToP) im Rahmen des B.E.S.T. Programms
07/2010-07/2013 Doktorand im Graduiertenkolleg SOAMED
04/2008-07/2010 studentischer Mitarbeiter beim Projekt Verhaltensadapter und am Lehrstuhl Theory of Programming (ToP)
04/2007-09/2007 Praktikant und Werkstudent bei Exozet Games GmbH
10/2005-07/2010 Studium der Informatik mit Nebenfach BWL an der Humboldt-Universität in Berlin, Abschluß als Diplom-Informatiker

Betreuung von Studien- und Diplomarbeiten

laufende Arbeiten

  • Johannes Dewender, Implementing a fast decision algorithm for b-conformance, Studienarbeit

abgeschlossene Arbeiten

  • Sebastian Misch, Eine hinreichende Bedingung für die Unbedienbarkeit von Services, Studienarbeit (12/2013)
  • Hannes Schuh, Modellierung des lpSystems, Studienarbeit (07/2013)

Publikationen

    2014

  • Duske, Kristian, Müller, Richard, Prüfer, Robert, Stöhr, Daniel
    A BPMN Model of the Charite Stroke Treatment Process
    Informatik-Berichte, Humboldt-Universität zu Berlin, 2014
    close
  • 2013

  • Müller, Richard, Stahl, Christian, Aalst, Wil M. P. van der, Westergaard, Michael
    Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations
    In Service-Oriented Computing, volume 8274 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013
    close
  • Müller, Richard, Stahl, Christian, Vogler, Walter
    Undecidability of accordance for open systems with unbounded message queues
    BPM Center Report, BPMcenter.org, 2013
    close
  • Vogler, Walter, Stahl, Christian, Müller, Richard
    Trace- and Failure-Based Semantics for Bounded Responsiveness
    In Advances in Service-Oriented and Cloud Computing, volume 393 of Communications in Computer and Information Science, Springer Berlin Heidelberg, 2013
    close
  • Vogler, Walter, Stahl, Christian, Müller, Richard
    Trace- and Failure-Based Semantics for Responsiveness
    BPM Center Report, BPMcenter.org, 2013
    close
  • Müller, Richard, Stahl, Christian, Aalst, Wil M. P. van der, Westergaard, Michael
    Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations
    BPM Center Report, BPMcenter.org, 2013
    close
  • 2012

  • Duske, Kristian, Müller, Richard
    A Survey on Approaches for Timed Services
    In Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012, volume 847 of CEUR Workshop Proceedings, CEUR-WS.org, 2012
    close
  • Müller, Richard, Aalst, Wil M. P. van der, Stahl, Christian
    Conformance Checking of Services Using the Best Matching Private View
    In Proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 September 6-7, 2012, Tallinn, Estonia, 2012
    close
  • Vogler, Walter, Stahl, Christian, Müller, Richard
    A Trace-Based Semantics for Responsiveness
    In Proceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, IEEE, 2012
    close
  • Müller, Richard, Stahl, Christian
    Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines
    In Proceedings of the 2nd International Workshop on Petri Nets Compositions, CompoNet'12, Hamburg, Germany, June 25-26, 2012, volume 853 of CEUR Workshop Proceedings, CEUR-WS.org, jun 2012
    close
  • 2011

  • Müller, Richard, Rogge-Solti, Andreas
    BPMN for Healthcare Processes
    In Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, CEUR-WS.org, 2011
    close
  • 2010

  • Müller, Richard
    Formal Characterisation of Partners of an Open Net
    Diplomarbeit, jun 2010
    close
  • Müller, Richard
    On the Notion of Deadlocks in Open Nets
    In Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07-08, 2010, volume 643 of CEUR Workshop Proceedings, CEUR-WS.org, oct 2010
    close
  • 2009

  • Müller, Richard
    Strukturelle Reduktion von Verhaltensadaptern
    Studienarbeit, dec 2009
    close