Folgen
Richard Müller
Richard Müller
Eindhoven University of Technology and Humboldt-Universität zu Berlin
Bestätigte E-Mail-Adresse bei informatik.hu-berlin.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
BPMN for healthcare processes
R Müller, A Rogge-Solti
Proceedings of the 3th Central-European Workshop on Services and their …, 2011
1342011
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
132012
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
102013
A BPMN Model of the Charity Stroke Treatment Process
K Duske, R Müller, R Prüfer, D Stöhr
Professoren des Institutes für Informatik, 2014
82014
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
72010
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
62013
A Survey on Approaches for Timed Services
K Duske, R Müller
Proceedings of the 4th Central-European Workshop on Services and their …, 2012
62012
Trace-and failure-based semantics for responsiveness
W Vogler, C Stahl, R Müller
BPM Center Report BPM-13-14, BPMcenter.org, 2013
52013
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15