Richard Müller
Richard Müller
Eindhoven University of Technology and Humboldt-Universität zu Berlin
Verified email at informatik.hu-berlin.de - Homepage
Title
Cited by
Cited by
Year
BPMN for healthcare processes
R Müller, A Rogge-Solti
Proceedings of the 3th Central-European Workshop on Services and their …, 2011
1032011
Conformance Checking of Services Using the Best Matching Private View
R Müller, WMP van der Aalst, C Stahl
9th International Workshop on Web Services and Formal Methods, WS-FM 2012 …, 2012
122012
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations
R Müller, C Stahl, WMP van der Aalst, M Westergaard
Service-Oriented Computing, 358-373, 2013
82013
A Trace-Based Semantics for Responsiveness
W Vogler, C Stahl, R Müller
Proceedings of the 12th International Conference on Application of …, 2012
72012
On the Notion of Deadlocks in Open Nets
R Müller
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri …, 2010
62010
A BPMN Model of the Charite Stroke Treatment Process
K Duske, R Müller, R Prüfer, D Stöhr
Inst. für Informatik, 2014
52014
Trace-and failure-based semantics for bounded responsiveness
W Vogler, C Stahl, R Müller
European Conference on Service-Oriented and Cloud Computing, 129-143, 2013
52013
Trace-and failure-based semantics for responsiveness
W Vogler, C Stahl, R Müller
BPM Center Report BPM-13-14, BPMcenter.org, 2013
52013
A Survey on Approaches for Timed Services
K Duske, R Müller
Proceedings of the 4th Central-European Workshop on Services and their …, 2012
52012
Verifying Responsiveness for Open Systems by Means of Conformance Checking
R Müller
Eindhoven University of Technology, Humboldt-Universität zu Berlin, 2014
42014
Undecidability of accordance for open systems with unbounded message queues
R Müller, C Stahl, W Vogler
Information Processing Letters 114 (12), 663-669, 2014
22014
Formal Characterisation of Partners of an Open Net
R Müller
Humboldt-Universität zu Berlin, 2010
22010
Deciding conformance for bounded responsiveness
R Müller, C Stahl, W Vogler
Science of Computer Programming 138, 1-25, 2017
12017
Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines
R Müller, C Stahl
2nd workshop on Petri nets compositions CompoNet 2012, 2012
2012
Strukturelle Reduktion von Verhaltensadaptern
R Müller
Humboldt-Universität zu Berlin, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–15