2021W

• Bachelor Thesis in Computer Science / 186.819 / PR
• Project in Computer Science 1 / 186.820 / PR
• Project in Computer Science 2 / 186.821 / PR
• Project in Software Engineering & Internet Computing / 186.852 / PR

• Formal Safety Analysis in Modular Robotic Applications
  2019 – 2020 / European Commission
• Verification of Cyber-physical Automotive Systems-of-Systems
  2017 – 2020 / Austrian Research Promotion Agency (FFG)
• Reuse and Reusability of Variable HW/SW Interfaces
  2016 – 2019 / Austrian Research Promotion Agency (FFG)
• Taming and Optimizing Feature Interaction in Software-intensive Automotive Systems
  2015 – 2018 / Austrian Research Promotion Agency (FFG)
• Reuse in Risk Analysis and Automated Optimization of Safety-critical System Architectures
  2014 – 2018 / Austrian Research Promotion Agency (FFG)
• B1: Business Process-Driven Automated Software Reuse
  2012 – 2019 / Austrian Research Promotion Agency (FFG)
• Semantics and Ontologies for Feedback-driven Adapting Recommender-Systems
  2010 – 2012 / Austrian Research Promotion Agency (FFG)
• eNeg
  2009 – 2011 / Points Management GmbH
• Linux Support for Multimedia Platform for i.MX51
  2009 / Bluetechnix Mechatronische Systeme GmbH
• Ontology-based Reflective World Model for Autonomous Agents
  2008 – 2011 / Ing. Punzenberger COPA-DATA GmbH
• Advanced Behaviour and High-level Multimodal Communication With and Among Robots
  2007 – 2010 / European Commission
• Requirements Driven Software Development System
  2006 – 2009 / European Commission
• XASTRO2
  2004 – 2014 / Siemens AG Österreich
• OntoUCP - A Unified Communication Platform both for Machine-Machine and Human-Machine Interaction based on Ontologies
  2004 – 2008 / Austrian Research Promotion Agency (FFG)
• Manet
  2004 – 2005 / Siemens AG Österreich

• IKT der Zukunft - eine Leistungs(vor)schau / K. Zimmermann, A. Fernbach, F. Galler, J. L. Du, H. Kaindl, H. Drobics, P. Kerschl / Talk: forum IoT 2017, Wien; 2017-11-28

• Early Warning based on the Next Generation Emergency Calling Framework / Doctoral Thesis by K.H. Wolf / Supervisor, Reviewer: H. Kaindl, S. Dustdar; E384, 2014; oral examination: 2014-07-25

• Auszeichnung: Distinguished Scientist Member der ACM
  2008 / Distinguished Scientist Member der ACM / Website
• Ernennung zum Distinguished Scientist Member der ACM (Association for Computing Machinery)
  2008 / USA
• Auszeichnung: Senior Member IEEE
  1998 / Senior Member IEEE
• Ernennung zum Senior Member der IEEE (The Institute of Electrical and Electronics Engineers)
  1998 / USA

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Hermann Kaindl’s research profile in TISS .