Richard Müller

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Abstract Argumentation

Service Discovery

Top Venues

Inf. Process. Lett.

Publications

Richard Müller, Christian Stahl, Walter Vogler
Deciding conformance for bounded responsiveness. Sci. Comput. Program. 138 (2017)
Walter Vogler, Christian Stahl, Richard Müller
Trace- and failure-based semantics for responsiveness. Acta Informatica 51 (8) (2014)
Richard Müller, Christian Stahl, Walter Vogler
Undecidability of accordance for open systems with unbounded message queues. Inf. Process. Lett. 114 (12) (2014)
Walter Vogler, Christian Stahl, Richard Müller
Trace- and Failure-Based Semantics for Bounded Responsiveness. ESOCC Workshops (2013)
Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. ICSOC (2013)
Richard Müller, Wil M. P. van der Aalst, Christian Stahl
Conformance Checking of Services Using the Best Matching Private View. WS-FM (2012)
Walter Vogler, Christian Stahl, Richard Müller
A Trace-Based Semantics for Responsiveness. ACSD (2012)
Kristian Duske, Richard Müller
A Survey on Approaches for Timed Services. ZEUS (2012)
Richard Müller, Andreas Rogge-Solti
BPMN for Healthcare Processes. ZEUS (2011)
Richard Müller
On the Notion of Deadlocks in Open Nets. AWPN (2010)