- Username correctsystems
- Follow
- Name Universität Rostock
- Location Rostock, Germany
- About We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.
- Website wwwteo.informatik.uni-rostock.de/ls…
- Tags correctness, services, modelchecking, compatibility, verification, "operating guidelines"
- Joined Sep 09
- Presentations 27, Documents 0
- Following 3, Followers 1
Another Approach to Instance Mi…
Behavior of Services
Automatische Generierung von Be…
Explizite Zustandsraumanalyse
No documents yet
Latest Activity
No favorites yet
-
The Influence of an External Tr… from koppor 1 month ago, 60 views
-
External And Internal Events In… from koppor 2 months ago, 110 views
-
Do We Need Internal Behavior in… from koppor 3 months ago, 148 views
-
A Model-Driven Approach to Impl… from koppor 3 months ago, 141 views
-
BPELscript from koppor 3 months ago, 191 views
-
Realisierbarkeit ist Bedienbark… from nlohmann 3 months ago, 93 views
-
Deriving Explicit Data Links in… from koppor 7 months ago, 266 views
-
On the Choice Between Graph-Ba… from koppor 7 months ago, 227 views
