Curriculum Vitæ (Lebenslauf)

Beruflicher Werdegang

Seit Februar 2010
Lehrer für Informatik und Mathematik am Berufskolleg der Stadt Bochum, Technische Berufliche Schule 1.
September 2009 - Januar 2010
Lehrer für Informatik und Mathematik am Gymnasium Albert Schweitzer Schule Nienburg.
April 2009 – August 2009
IT-Consultant und Programmierer bei der BFS health finance GmbH, Arvato, Bertelsmann AG.
September 2006 – März 2009
Wissenschaftlicher Mitarbeiter am Lehrstuhl für Programmiersysteme der TU Dortmund und am Lehrstuhl für Service und Software Engineering der Uni Potsdam im Rahmen eines Promotionsstipendiums der TU Dortmund
August 2006
Diplom der Informatik über Pläne und Spiele – eine Anwendung spielbasierten Model Checkings. Nebenfach Psychologie.
Februar 2004 – August 2006
Wissenschaftliche Hilfskraft am Lehrstuhl für Programmiersysteme der TU Dortmund.
Juni 1998
Abitur an der Gesamtschule Brünninghausen in Dortmund.
Januar 1979
Geboren in Dortmund.

Veröffentlichungen

Meine Veröffentlichungen werden teilweise auch bei der DBLP (Digital Bibliography & Library Project) der Uni Trier gelistet.

Marco Bakera: Möglichkeiten des Einsatzes eines Wiki im Unterrichtsfach Programmieren der Informationstechnischen Assistenten und Informationstechnischen Assistentinnen an der Technischen Beruflichen Schule 1 Bochum, Staatsarbeit , Mai 2011

2009

Tiziana Margaria, Christian Wagner, Marco Bakera: Component-Oriented Behavior Extraction for Autonomic System Design using Games. 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), September 2009

Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann: Test your Strategy – Intuitive Strategy Definition and Evaluation for Novices and Experts. 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), September 2009

Marco Bakera, Sven Jörges: Test your Strategy: Intuitive Programming for Novices and Experts. In Proc. 14th IEEE International Conference on Engineering of Complex Computer Systems. Potsdam, June 2009.

Marco Bakera, Tiziana Margaria: Virtuelle Welten: Mit ConnectIT Spielen und Lernen im Second Life. Poster Tagung Grundlagen Multimedialen Lehrens und Lernens (GML²). Potsdam, März 2009.

2008

Marco Bakera, Tiziana Margaria: The SHADOWS Story on Implementation, Verification and Property-Guided Autonomy for Self-Healing Systems. In ERCIM News, Issue 75 (Special Theme: Safety-Critical Software), October 2008

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Model Checking with the jABC Framework - From METAGame to GEAR. In Proc. of Intern. Symposium on Quality Engineering for Embedded Systems (QEES) 2008

Tiziana Margaria, Marco Bakera, Harald Raffelt and Bernhard Steffen: Synthesizing the Mediator with jABC, ABC. In Proc. of Sixth International Workshop on Evaluation of Ontology-based tools and the Semantic Web Service Challenge (EON & SWS-Challenge 2008)

Marco Bakera, Stefan Edelkamp, Peter Kissmann and Clemens D. Renner: Solving mu-calculus Parity Games by Symbolic Planning. In Proc. of The Fifth International Workshop on Model Checking and Artificial Intelligence (Mochart) 2008

2007

Marco Bakera, Tiziana Margaria, Clemens D. Renner: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. In Proc. of ISoLA 2007

Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Property-driven functional healing: Playing against undesired behavior. In Proc. of CONQUEST 2007

Marco Bakera, Clemens Renner, Tiziana Margaria: Report on techniques for avoiding interference and supporting interactions between the SHADOWS self-healing technologies. Technical Report SHADOWS, 2007