Richard Müller

According to our database1, Richard Müller
  • authored at least 9 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Deciding conformance for bounded responsiveness.
Sci. Comput. Program., 2017

2014
Undecidability of accordance for open systems with unbounded message queues.
Inf. Process. Lett., 2014

Trace- and failure-based semantics for responsiveness.
Acta Inf., 2014

2013
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Trace- and Failure-Based Semantics for Bounded Responsiveness.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
A Survey on Approaches for Timed Services.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Conformance Checking of Services Using the Best Matching Private View.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

A Trace-Based Semantics for Responsiveness.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
BPMN for Healthcare Processes.
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011


  Loading...