Richard Müller

According to our database, Richard Müller authored at least 10 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Deciding conformance for bounded responsiveness.

Richard Müller, Christian Stahl, Walter Vogler

Sci. Comput. Program., 2017

2014

Undecidability of accordance for open systems with unbounded message queues.

Richard Müller, Christian Stahl, Walter Vogler

Inf. Process. Lett., 2014

Trace- and failure-based semantics for responsiveness.

Walter Vogler, Christian Stahl, Richard Müller

Acta Informatica, 2014

2013

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.

Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Trace- and Failure-Based Semantics for Bounded Responsiveness.

Walter Vogler, Christian Stahl, Richard Müller

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012

A Survey on Approaches for Timed Services.

Kristian Duske, Richard Müller

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

Conformance Checking of Services Using the Best Matching Private View.

Richard Müller, Wil M. P. van der Aalst, Christian Stahl

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

A Trace-Based Semantics for Responsiveness.

Walter Vogler, Christian Stahl, Richard Müller

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

BPMN for Healthcare Processes.

Richard Müller, Andreas Rogge-Solti

Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

2010

On the Notion of Deadlocks in Open Nets.

Richard Müller

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010