Richard Müller

Richard Müller
Humboldt-Universität zu Berlin | HU Berlin · Department of Computer Science

Ph.D. (Dutch: dr., German: Dr. rer. nat.)

About

13
Publications
11,165
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
90
Citations
Additional affiliations
July 2010 - present
Humboldt-Universität zu Berlin
Position
  • PhD Student
Description
  • part of a binational Ph.D. procedure together with Eindhoven University of Technology
July 2010 - present
Eindhoven University of Technology
Position
  • PhD Student
Description
  • part of a binational Ph.D. procedure together with Humboldt-Universität zu Berlin

Publications

Publications (13)
Conference Paper
Full-text available
The nature of healthcare processes in a multidisciplinary hospital is inherently complex. In this paper, we identify particular problems of modeling healthcare processes with the de-facto standard process modeling language BPMN. We discuss all possibilities of BPMN adressing these problems. Where plain BPMN fails to produce nice and easily comprehe...
Conference Paper
Full-text available
Process discovery techniques can be used to derive a process model from observed example behavior (i.e., an event log). As the observed behavior is inherently incomplete and models may serve different purposes, four competing quality dimensions—fitness, precision, simplicity, and generalization—have to be balanced to produce a process model of high...
Article
Full-text available
We study open systems modeled as Petri nets with an interface for asynchronous (i.e., buffered) communication with other open systems. As a minimal requirement for successful communication, we investigate responsiveness, which guarantees that an open system and its environment always have the possibility to communicate. We investigate responsivenes...
Article
Full-text available
We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously...
Article
We study open systems modeled as Petri nets with an interface for asynchronous communication with other open systems. As a minimal requirement for successful communication, we investigate bounded responsiveness, which guarantees that an open system and its environment always have the possibility to mutually terminate or to communicate, while the nu...
Article
Full-text available
In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and wi...
Conference Paper
Full-text available
In the context of asynchronously communicating and deadlock free services, the refinement relation of services has been formalized by the accordance preorder. A service Impl accords with a service Spec if every controller of Spec-that is, every environment that can interact with service Spec without deadlocking-is a controller of Impl. The procedur...
Conference Paper
Full-text available
We investigate whether a running implementation of a service conforms to its formal specification in a setting, where only recorded behavior of that implementation is given. Existing conformance checking techniques can be used to measure the degree of conformance of the recorded behavior and its public view but may produce “false negatives”, becaus...
Conference Paper
Full-text available
In the context of service-oriented computing, time has been extensively studied in literature.We present a survey on possible problem statements for timed services, and give an overview of state-of-the-art approaches. Thereby we identify which problems are already thoroughly researched and which problems warrant further research.
Conference Paper
Full-text available
Before a system is built in Service Oriented Computing from interacting services, it is modeled and verified with regard to different behavioral correctness criteria, among others, deadlock freedom. For this purpose, open nets as a special class of Petri nets are frequently used. In this paper, we present and compare three formalizations of when tw...

Network

Cited By

Projects