Marco Bakera

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
Game-Based Model Checking for Reliable Autonomy in Space. J. Aerosp. Comput. Inf. Commun. 8 (4) (2011)
Tiziana Margaria, Christian Wagner, Marco Bakera
Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems. GI Jahrestagung (2009)
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5 (3) (2009)
Tiziana Margaria, Marco Bakera, Christian Wagner
Component-Oriented Behavior Extraction for Autonomic System Design. Self-Healing and Self-Adaptive Systems (2009)
Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts. GI Jahrestagung (2009)
Marco Bakera, Sven Jörges, Tiziana Margaria
Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS (2009)
Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen
Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods (2009)
Marco Bakera, Tiziana Margaria
The SHADOWS Story on Implementation of Self-Healing Systems. ERCIM News 2008 (75) (2008)
Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner
Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt (2008)
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA (2007)