Publikationen
|
2014 |
Vogler, W., Stahl, C., Müller, R.:
"Trace- and Failure-Based Semantics for Responsiveness"
akzeptiert in Acta Informatica, 2014
|
|
2013 |
Müller, R.; Stahl, C.; Aalst, W.M.P.v.d.; Westergaard, M.:
"Service discovery form observed behavior while guaranteeing deadlock freedom in collaborations"
Service-Oriented Computing. Volume 8274 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2013)
|
|
2013 |
Müller, R.; Stahl, C.; Vogler, W.:
"Undecidability of accordance for open systems with unbounded messages queues"
BPM Center Report, BPMcenter.org, 2013
|
|
2013 |
Vogler, W.; Stahl, C.; Müller, R.:
"Trace- and failure-based semantics for bounded responsiveness"
Advances in Service-Oriented and Cloud Computing. Volume 393 of Communications in Computer and Information Science. Springer Berlin Heidelberg (2013) |
|
2013 |
Müller, R.; Stahl, C.; Aalst, W.M.P.v.d.; Westergaard, M.:
"Trace- and failure-based semantics for bounded responsiveness"
BPM Center, Report BPM-13-14, BPMcenter.org (2013) |
|
2013 |
Müller, R.; Stahl, C.; Aalst, W.M.P.v.d.; Westergaard, M.:
"Service discovery form observed behavior while guaranteeing deadlock freedom in collaborations"
BPM Center Report BPM-13-12, BPMcenter.org (2013)
|
|
2012 |
Richard Müller, W. M. P. van der Aalst, Christian Stahl:
"Conformance checking of services using the best matching private view"
Proceedings of the 9th International Workshop on Web Services and Formal Methods. WS FM 2012, September 6-7, 2012, Tallinn, Estonia, 2012.
|
|
2012 |
Walter Vogler, Christian Stahl, Richard Müller:
"A Trace-Based Semantics for Responsiveness"
Proceedings of the 12th International Conference on Application to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012, IEEE, 2012
|
|
2012 |
Richard Müller, Christian Stahl:
"Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines"
Proceedingsof the 2nd International Workshop on Petri Nets Compositions, CompoNet? '12, Hamburg, Germany, June 25-26, 2012, volume 853 of CEUR Workshop Proceedings, CEUR-WS.org, jun 2012 |
|
2012 |
Duske, K.; Müller, R.:
"A survey on approaches for timed services"
Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012, volume 847 of CEUR Workshop Proceedings, CEUR-WS.org (2012) |
|
2011 |
Richard Müller, Andreas Rogge-Solti:
"BPMN for Healthcare Processes"
Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011), Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, pp. 65-72. CEUR-WS.org.
|
|
2010 |
R. Müller:
"On the notion deadlocks in open nets"
Proceedings of the 17th German Workshops on Algorithm and Tools fpr Petri Nets (AWPN 2010). CEUR Workshop vol. 643, pp.130-135. CEURWS. org. Cottbus, Germany (October 2010)
|
|
2010 |
Richard Müller:
"Formal Characterisation of Partners of an Open Net"
Diplomarbeit, Juni 2010.
|
|
2009 |
Richard Müller:
"Strukturelle Reduktion von Verhaltensadaptern"
Studienarbeit, Dezember 2009
|
|
