Concepedia

Marco Bakera

MB

4

Publications

87

Citations

4

H-Index

2007

Active since

Affiliations

University of Potsdam(Current)

TU Dortmund University

Marco Bakera is an author at University of Potsdam specializing in computer science, engineering, and process control.

Top concepts

Publications per year

2007–2009

4

Publications

4

Tool-supported enhancement of diagnosis in model-driven verification

Marco Bakera, Tiziana Margaria, Clemens D. Renner et al. · Innovations in Systems and Software Engineering · 2009 · 46 citations

, , +12

Test your Strategy: Graphical Construction of Strategies for Connect-Four

Marco Bakera, Sven Jörges, Tiziana Margaria · 2009 · 17 citations

, , +20

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.

Marco Bakera, Tiziana Margaria, Clemens D. Renner et al. · Pathologie Biologie · 2007 · 14 citations

Component-Oriented Behavior Extraction for Autonomic System Design

Tiziana Margaria, Marco Bakera, Christian Wagner · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 10 citations · Full text

Rows per page

1–4 of 4