Münster University of Applied Sciences

About: Münster University of Applied Sciences is a education organization based out in Münster, Germany. It is known for research contribution in the topics: Luminescence & Photoluminescence. The organization has 694 authors who have published 1067 publications receiving 12597 citations.

SUDS, LID, BMPs, WSUD and more – The evolution and application of terminology surrounding urban drainage

Abstract: The management of urban stormwater has become increasingly complex over recent decades. Consequently, terminology describing the principles and practices of urban drainage has become increasingly diverse, increasing the potential for confusion and miscommunication. This paper documents the history, scope, application and underlying principles of terms used in urban drainage and provides recommendations for clear communication of these principles. Terminology evolves locally and thus has an important role in establishing awareness and credibility of new approaches and contains nuanced understandings of the principles that are applied locally to address specific problems. Despite the understandable desire to have a ‘uniform set of terminology’, such a concept is flawed, ignoring the fact that terms reflect locally shared understanding. The local development of terminology thus has an important role in advancing the profession, but authors should facilitate communication between disciplines and between regio...

Falling asleep with Angry Birds, Facebook and Kindle: a large scale study on mobile application usage

Abstract: While applications for mobile devices have become extremely important in the last few years, little public information exists on mobile application usage behavior. We describe a large-scale deployment-based research study that logged detailed application usage information from over 4,100 users of Android-powered mobile devices. We present two types of results from analyzing this data: basic descriptive statistics and contextual descriptive statistics. In the case of the former, we find that the average session with an application lasts less than a minute, even though users spend almost an hour a day using their phones. Our contextual findings include those related to time of day and location. For instance, we show that news applications are most popular in the morning and games are at night, but communication applications dominate through most of the day. We also find that despite the variety of apps available, communication applications are almost always the first used upon a device's waking from sleep. In addition, we discuss the notion of a virtual application sensor, which we used to collect the data.

Optimal control problems with delays in state and control variables subject to mixed control–state constraints

Abstract: Optimal control problems with delays in state and control variables are studied. Constraints are imposed as mixed control–state inequality constraints. Necessary optimality conditions in the form of Pontryagin's minimum principle are established. The proof proceeds by augmenting the delayed control problem to a nondelayed problem with mixed terminal boundary conditions to which Pontryagin's minimum principle is applicable. Discretization methods are discussed by which the delayed optimal control problem is transformed into a large-scale nonlinear programming problem. It is shown that the Lagrange multipliers associated with the programming problem provide a consistent discretization of the advanced adjoint equation for the delayed control problem. An analytical example and numerical examples from chemical engineering and economics illustrate the results. Copyright © 2008 John Wiley & Sons, Ltd.

REDQUEEN: Fuzzing with Input-to-State Correspondence.

Abstract: Automated software testing based on fuzzing has experienced a revival in recent years. Especially feedback-driven fuzzing has become well-known for its ability to efficiently perform randomized testing with limited input corpora. Despite a lot of progress, two common problems are magic numbers and (nested) checksums. Computationally expensive methods such as taint tracking and symbolic execution are typically used to overcome such roadblocks. Unfortunately, such methods often require access to source code, a rather precise description of the environment (e.g., behavior of library calls or the underlying OS), or the exact semantics of the platform’s instruction set. In this paper, we introduce a lightweight, yet very effective alternative to taint tracking and symbolic execution to facilitate and optimize state-of-the-art feedback fuzzing that easily scales to large binary applications and unknown environments. We observe that during the execution of a given program, parts of the input often end up directly (i.e., nearly unmodified) in the program state. This input-to-state correspondence can be exploited to create a robust method to overcome common fuzzing roadblocks in a highly effective and efficient manner. Our prototype implementation, called REDQUEEN, is able to solve magic bytes and (nested) checksum tests automatically for a given binary executable. Additionally, we show that our techniques outperform various state-of-the-art tools on a wide variety of targets across different privilege levels (kernel-space and userland) with no platform-specific code. REDQUEEN is the first method to find more than 100% of the bugs planted in LAVA-M across all targets. Furthermore, we were able to discover 65 new bugs and obtained 16 CVEs in multiple programs and OS kernel drivers. Finally, our evaluation demonstrates that REDQUEEN is fast, widely applicable and outperforms concurrent approaches by up to three orders of magnitude.