Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (ISoLA, 2007)

Solving µ-Calculus Parity Games by Symbolic Planning. - Marco Bakera; Stefan Edelkamp; Peter Kissmann; Clemens D. Renner (MoChArt, 2008)

The SHADOWS Story on Implementation of Self-Healing Systems. - Marco Bakera; Tiziana Margaria (ERCIM News, 2008)

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC. - Tiziana Margaria; Marco Bakera; Christian Kubczak; Stefan Naujokat; Bernhard Steffen (Semantic Web Services Challenge, 2009)

Component-Oriented Behavior Extraction for Autonomic System Design. - Tiziana Margaria; Marco Bakera; Christian Wagner 005 (Self-Healing and Self-Adaptive Systems, 2009)

Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts. - Sven Jörges; Marco Bakera; Tiziana Margaria; Christoph Lattemann (GI Jahrestagung, 2009)

Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems. - Tiziana Margaria; Christian Wagner 005; Marco Bakera (GI Jahrestagung, 2009)

Test your Strategy: Graphical Construction of Strategies for Connect-Four. - Marco Bakera; Sven Jörges; Tiziana Margaria (ICECCS, 2009)

Component-Oriented Behavior Extraction for Autonomic System Design. - Tiziana Margaria; Marco Bakera; Christian Wagner 005; Emil Vassev; Michael G. Hinchey; Bernhard Steffen (NASA Formal Methods, 2009)

Tool-supported enhancement of diagnosis in model-driven verification. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (Innov. Syst. Softw. Eng., 2009)

Game-Based Model Checking for Reliable Autonomy in Space. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (J. Aerosp. Comput. Inf. Commun., 2011)