fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: KI

Liste als BibTeX-Datei exportieren

2012

2011

  • Juli 2011 Model Checking Industrial Robot Systems Markus Weißmann, Stefan Bedenk, Christian Buckl und Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), Seiten 161–176, Springer-Verlag. Details URL DOI BIB
  • 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli, Florian Hölzl und Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, Details BIB

2010

  • Juli 2010 Hardware-aware model-driven software development Simon Barner, Christian Buckl und Alois Knoll In ACACES 2010 Poster Abstracts, Seiten 89-92, Terrassa, Spain, High-Performance Embedded Architecture and Compiliation Network of Excellence. Details BIB
  • 2010 EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten Simon Barner, Michael Geisinger, Jia Huang, Alois Knoll, Holger Bönicke, Christoph Ament, Jochen Mades, Reinhard Pittschellis und Gerd Bauer In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer und Ansgar Trächtler, Editor, Entwurf mechatronischer Systeme, Band 272 von HNI-Verlagsschriftenreihe, Seiten 23–36, Paderborn, Germany, Details BIB

2009

  • Juni 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger, Simon Barner, Martin Wojtczyk und Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, Seiten 135–146, Springer. Details DOI BIB

2008

  • August 2008 Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab Martin Wojtczyk, Simon Barner, Michael Geisinger und Alois Knoll In Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering, Details DOI BIB
  • 2008 EasyLab: Model-Based Development of Software for Mechatronic Systems Simon Barner, Michael Geisinger, Christian Buckl und Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Seiten 540–545, Beijing, China, Details DOI BIB
  • 2008 Accelerating Integral Histograms Using an Adaptive Approach Thomas Müller, Claus Lenz, Simon Barner und Alois Knoll In Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud und Driss Mammass, Editor, Image and Signal Processing, Band 5099 von LNCS, Seiten 209–217. Springer, Berlin Heidelberg, Details DOI BIB