Researcher profile

Bernhard Steffen

Bernhard Steffen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2019arXiv

ADD-Lib: Decision Diagrams in Practice

In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient implementation of individual operations, which are taken by other established ADD frameworks, but its ease and flexibility, which arise at two levels: the level of individual ADD-tools, which come with a dedicated user-friendly web-based graphical user interface, and at the meta level, where such tools are specified. Both levels are described in the paper: the meta level by explaining how we can construct an ADD-tool tailored for Random Forest refinement and evaluation, and the accordingly generated Web-based domain-specific tool, which we also provide as an artifact for cooperative experimentation. In particular, the artifact allows readers to combine a given Random Forest with their own ADDs regarded as expert knowledge and to experience the corresponding effect.

preprint2013arXiv

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this approach is tailored also to be used by application experts with little technical knowledge: users can select, modify, construct and then pass (component) processes during process execution as if they were data. We illustrate the impact and essence of our framework along a concrete, realistic (business) process modeling scenario: the development of Springer's browser-based Online Conference Service (OCS). The most advanced feature of our new framework allows one to combine online synthesis with the integration of the synthesized process into the running application. This ability leads to a particularly flexible way of implementing self-adaption, and to a particularly concise and powerful way of achieving variability not only at design time, but also at runtime.

preprint2011arXiv

Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations

The motion of pedestrians is subject to a wide range of influences and exhibits a rich phenomenology. To enable precise measurement of the density and velocity we use an alternative definition using Voronoi diagrams which exhibits smaller fluctuations than the standard definitions. This method permits examination on scales smaller than the pedestrians. We use this method to investigate the spatial and temporal variation of the observables at bottlenecks. Experiments were performed with 180 test subjects and a wide range of bottleneck parameters. The anomalous flow through short bottlenecks and non-stationary states present with narrow bottlenecks are analysed.

preprint2010arXiv

Analysis of bottleneck motion using Voronoi diagrams

Standard definitions of the density exhibit large fluctuations when the size of the measurement area is comparable with the size of a pedestrian. An alternative measurement method exists where a personal space, calculated through the Voronoi diagram, is assigned to each pedestrian. In this contribution this method is applied to an experiment studying motion through a bottleneck and the reduced fluctuations demonstrated. The integrated density also permits examination on much smaller spatial scales than the standard definition, the insights into the pedestrian motion this provides are discussed.

preprint2010arXiv

Constraint-Guided Workflow Composition Based on the EDAM Ontology

Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain,in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We show by means of a small example domain that the EDAM knowledge facilitates finding possible workflows, but that additional knowledge is required to guide the search towards actually adequate solutions. We illustrate how the ability to flexibly formulate domain-specific and problem-specific constraints supports the work ow development process.

preprint2009arXiv

Methods for measuring pedestrian density, flow, speed and direction with minimal scatter

The progress of image processing during recent years allows the measurement of pedestrian characteristics on a "microscopic" scale with low costs. However, density and flow are concepts of fluid mechanics defined for the limit of infinitely many particles. Standard methods of measuring these quantities locally (e.g. counting heads within a rectangle) suffer from large data scatter. The remedy of averaging over large spaces or long times reduces the possible resolution and inhibits the gain obtained by the new technologies. In this contribution we introduce a concept for measuring microscopic characteristics on the basis of pedestrian trajectories. Assigning a personal space to every pedestrian via a Voronoi diagram reduces the density scatter. Similarly, calculating direction and speed from position differences between times with identical phases of movement gives low-scatter sequences for speed and direction. Closing we discuss the methods to obtain reliable values for derived quantities and new possibilities of in depth analysis of experiments. The resolution obtained indicates the limits of stationary state theory.