Bielefeld University - Faculty of Technology
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
This is an archived page and is no longer updated.
Please visit our current pages at https://rvs-bi.de
People and Info
The group was established on January 1, 1995.
We're particularly interested in methods for specification, verification, and failure analysis of complex heterogeneous systems. We are also interested in social consequences of the use of this technology, such as safety, security, and the possibilities for more pleasant working environments for all. With a bit of constraint satisfaction and temporal reasoning thrown in for good measure.
We have developed the formal methods Causal System Analysis and Why-Because Analysis for the safety and failure analysis of complex systems.
- People working in the group
- Short CV of activities of the group (in German) [PDF, ~85kB]
- Information about lectures, courses and seminars offered by the group
- Economic Report on the State of Nordrhein-Westfalen's Return on Investment and Turnover for the group in the year 2004 (in German) [PDF]