Marco Bakera

According to our database, Marco Bakera authored at least 11 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Game-Based Model Checking for Reliable Autonomy in Space.

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen

J. Aerosp. Comput. Inf. Commun., 2011

2009

Tool-supported enhancement of diagnosis in model-driven verification.

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen

Innov. Syst. Softw. Eng., 2009

Component-Oriented Behavior Extraction for Autonomic System Design.

Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen

Proceedings of the First NASA Formal Methods Symposium, 2009

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

Marco Bakera, Sven Jörges, Tiziana Margaria

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems.

Tiziana Margaria, Christian Wagner, Marco Bakera

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts.

Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.

Tiziana Margaria, Marco Bakera, Christian Wagner

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC.

Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

2008

The SHADOWS Story on Implementation of Self-Healing Systems.

Marco Bakera, Tiziana Margaria

ERCIM News, 2008

Solving µ-Calculus Parity Games by Symbolic Planning.

Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

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

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen

Proceedings of the ISoLA 2007, 2007