Time filter

Source Type

Passau, Germany

The University of Passau is a public research university located in Passau, Lower Bavaria, Germany. Founded in 1973, it is the youngest university in Bavaria and consequently has the most modern campus in the state. Nevertheless, its roots as the Institute for Catholic Studies date back some hundreds of years.Today it is home to four faculties and 36 different undergraduate and postgraduate degree programmes. Wikipedia.

Schindler A.,University of Passau
IEEE Intelligent Vehicles Symposium, Proceedings | Year: 2013

Cooperative driver assistance functions benefit from sharing information on the local environments of individual road users by means of communication technology and advanced sensor data fusion methods. However, the consistent integration of environment models as well as the subsequent interpretation of traffic situations impose high requirements on the self-localization accuracy of vehicles. This paper presents methods and models for a map-based vehicle self-localization approach. Basically, information from the vehicular environment perception (using a monocular camera and laser scanner) is associated with data of a high-precision digital map in order to deduce the vehicle's position. Within the Monte-Carlo localization approach, the association of road markings is reduced to a prototype fitting problem which can be solved efficiently due to a map model based on smooth arc splines. Experiments on a rural road show that the localization approach reaches a global positioning accuracy in both lateral and longitudinal direction significantly below one meter and an orientation accuracy below one degree even at a speed up to 100 km/h in real-time. © 2013 IEEE. Source

Apel S.,University of Passau
Journal of Object Technology | Year: 2010

While it is well-known that crosscutting concerns occur in many software projects, little is known on how aspect-oriented programming, and in particular AspectJ, have been used. In this paper, we analyze eleven AspectJ programs by different authors to answer the questions: which mechanisms are used, to what extent, and for what purpose. We found the code of these programs to be on average 86% object-oriented, 12% basic crosscutting mechanisms (introductions and method extensions), and 2% advanced crosscutting mechanisms (homogeneous advice or advanced dynamic advice). Based on these results we initiate a discussion on the trade-off between expressiveness and simplicity of languages that support the modularization of crosscutting concerns. © JOT, 2008. Source

Beyer D.,University of Passau
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2012

This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP'12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This year's competition is organized as a satellite event of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). © 2012 Springer-Verlag Berlin Heidelberg. Source

Siegmund J.,University of Passau
Empirical Software Engineering | Year: 2015

Program comprehension is an important human factor in software engineering. To measure and evaluate program comprehension, researchers typically conduct experiments. However, designing experiments requires considerable effort, because confounding parameters need to be controlled for. Our aim is to support researchers in identifying relevant confounding parameters and select appropriate techniques to control their influence. To this end, we conducted a literature survey of 13 journals and conferences over a time span of 10 years. As result, we created a catalog of 39 confounding parameters, including an overview of measurement and control techniques. With the catalog, we give experimenters a tool to design reliable and valid experiments. © 2014, Springer Science+Business Media New York. Source

Beyer D.,University of Passau
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2013

This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency, and as available and participated. The benchmark set of verification tasks consists of 2 315 programs, written in C, and exposing features of integers, heap-data structures, bit-vector operations, and concurrency; the properties include reachability and memory safety. The competition is again organized as a satellite event of TACAS. © 2013 Springer-Verlag. Source

Discover hidden collaborations