Richard Müller

Research associate at the Theory of Programming group

Mail Address Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin
Germany
Office Address Humboldt-Universität zu Berlin
Institut für Informatik
House IV, 4th Floor, Room 415

Rudower Chaussee 25
12489 Berlin
Germany
Office hours please contact (e-mail preferred)
Phone +49 30 2093-3074
Fax +49 30 2093-3067
E-mail richard.mueller (at) informatik.hu-berlin.de

Teaching

Frühere Veranstaltungen

Curriculum Vitae

10/2005-07/2010 studies in computer science with minor subject business administration at the Humboldt-Universität in Berlin, degree: Diplom (MSc equivalent)
04/2007-09/2007 trainee and working student at Exozet Games GmbH
04/2008-07/2010 student assistant at project synthesis of behavioral adapters and the ToP group
seit 07/2010 participant at Graduate School SOAMED

Roles

Reviewing

Workshops

  • ZEUS 2011, 2012

Conferences

  • BPM 2011
  • ECOWS 2010
  • PSI 2011
  • ICSOC 2011, 2012
  • ESOCC 2012
  • ICWS 2012
  • Modellierung 2012
  • Petri nets 2012
  • SEFM 2012

Publications

    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