Peter Herrmann

Towards Classification of Lightweight Formal Methods

The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used for over ten years...

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven engineering...

Cost-Efficient Deployment of Collaborating Components

Tool-Assisted Security Assessment of Distributed Applications

Behavioral Singletons to Consistently Handle Global States of Security Patterns

Foraging for Better Deployment of Replicated Service Components

Constraint-oriented formal modelling of OO-systems

Assessing Long Distance Communication Alternatives for the Remote Control of AGVs

Modeling Interaction Patterns for Distributed Systems with IEC 61499

Trust transferability among similar contexts

Spatio-Temporal Analysis of Concurrent Networks

Machine Learning-based Update-time Prediction for Battery-friendly Passenger Information Displays

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services

08102 Outcome Working Group -- Situational Awareness

Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics

Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework

Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen

Simulation-driven Development of Self-adaptive Transportation Systems