Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

Ehemalige Doktoranden

 

Dipl.-Inf.

Richard Müller

 

Müller, Richard.neu.jpg


 Kontakt

Adresse:

Institut für Informatik
Humboldt Universität zu Berlin
Rudower Chaussee 25

12489 Berlin

Haus IV, 4. Etage

Telefon:

 

Telefax:

 

Homepage: http://www.richardmueller.net/

E-Mail:

mueller(at)soamed.de

Ausbildung

Mitglied bei SOAMED: 12.07.2010 - 11.07.2013
2005 - 2010

Studium der Informatik mit Nebenfach BWL an der Humboldt-Universität zu Berlin,

Thema der Diplomarbeit:

"Formal Characterisation of Partners of an Open Net"

Thema der Studienarbeit:

"Strukturelle Reduktion von Verhaltensadaptern"

 

1997 - 2004

Abitur an der Georg-Forster-Oberschule in Berlin (Gymnasium mit mathematisch-naturwissenschaftlichem Profil)

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