Benutzer-Werkzeuge

Webseiten-Werkzeuge


curriculum_vitae

Dies ist eine alte Version des Dokuments!


Curriculum Vitæ (Lebenslauf)

Marco Bakera

Beruflicher Werdegang

Veröffentlichungen

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

2016

Marco Bakera: Computer sind spannend, Technik macht Spaß - bis man ein Schulfach daraus macht. bbw - Beruflicher Bildungsweg, Juni 2016

Marco Bakera: Docker im Schuleinsatz. freiesMagazin und bei Pro-Linux, Juni 2016

2015

Marco Bakera: Es sollten viel mehr Lehrerinnen und Lehrer bloggen!, Interview im sofatutor-Magazin, Juni 2015

2011

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 PDF

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

2006

Marco Bakera: Pläne und Spiele - eine Anwendung spielbasierten Model Checkings. Diplomabeit, Technische Universität Dortmund, August 2006

2003

Erste Artikel zu den Themen NP-Vollständigkeit und Attributionstheorien bei der deutschen Wikipedia. Meine Nutzerstatistik

Gutachtertätigkeiten

Als Zweitgutachter war ich für diverse Bücher, Dissertationen und die folgenden Konferenzen und Zeitschriften tätig.

Konferenzen

Zeitschriften

curriculum_vitae.1499788444.txt.gz · Zuletzt geändert: 2017-07-11 17:54 von marco.bakera