Wissenschaft­liche Publikationen

Liste als BibTeX-Datei exportieren

2013

• August 2013 From the Internet of Things to Trusted Apps for Things Christian Prehofer In Green Computing and Communications (GreenCom), 2013 IEEE and Internet of Things (iThings/CPSCom), IEEE International Conference on and IEEE Cyber, Physical and Social Computing, Seiten 2037-2042, August 2013. IEEE. Details BIB
• August 2013 Perception and Reasoning for Scene Understanding in Human-Robot Interaction Scenarios Nikhil Somani , Emmanuel Dean-Leon , Caixia Cai und Alois Knoll In CAIP'13 workshop: Recognition and Action for Scene understanding (REACTS 2013). The 15th International Conference of Computer Analysis of Images and Patterns., August 2013. Details BIB
• Juli 2013 Scene Perception and Recognition in Industrial Environments for Human-Robot Interaction Nikhil Somani , Emmanuel Dean-Leon , Caixia Cai und Alois Knoll In 9th International Symposium on Visual Computing (ISVC'13), Juli 2013. Springer. Details BIB
• Juni 2013 A Deliberation Layer for Instantiating Robot Execution Plans from Abstract Task Descriptions Daniel Di Marco , Rob Janssen , Alexander Perzylo , Marinus J. G. Van de Molengraft und Paul Levi In International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Planning and Robotics (PlanRob), Seiten 12–19, Rome, Italy, Juni 2013. Details URL BIB
• Juni 2013 Combining Space Exploration and Heuristic Search in Online Motion Planning for Nonholonomic Vehicles Chao Chen , Markus Rickert und Alois Knoll In Proceedings of the IEEE Intelligent Vehicles Symposium, Seiten 1307–1312, Gold Coast, Australia, Juni 2013. Details DOI BIB
• Juni 2013 Sicher steuern mit Multicore-Prozessoren Simon Barner , Jia Huang und Sebastian Voss Computer & Automation, ():24-29, Juni 2013. Details URL BIB
• Mai 2013 Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) Tim Kelly , Carmen Cârlan und Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), Mai 2013. Details URL BIB
• April 2013 AutoPnP - Plug-and-produce in der Automation: Wandelbare Fabrik als cyber-physisches System Gerd Kainz , Nadine Keddis , Dirk Pensky , Christian Buckl , Alois Zoitl , Reinhard Pittschellis und Bernd Kärcher atp edition, 55(4):42–49, April 2013. Details BIB
• April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss und Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB
• April 2013 Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware Stephan Sommer , Michael Geisinger , Christian Buckl , Gerd Bauer und Alois Knoll In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), April 2013. ACM. Details BIB
• April 2013 Seamless Model-based Development of Embedded Systems with AF3 Phoenix Sebastian Voss , Antoaneta Kondeva , Daniel Ratiu und Bernhard Schätz In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Seiten 212, April 2013. Details DOI BIB
• Februar 2013 Implementation guidelines for closed loop control algorithms on PLCs Reinhard Hametner , Georg Schitter , Andreas Voigt und Alois Zoitl In Industrial Technology (ICIT), 2013 IEEE International Conference on, Seiten 1297-1302, Februar 2013. Details DOI BIB
• Januar 2013 Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers Christoph Sünder , Valeriy Vyatkin und Alois Zoitl In ACM Transactions on Embedded Computer Systems (TECS), Band 12, Seiten 17:1-17:17, Januar 2013. ACM. Details URL DOI BIB
• 2013 EFSMT: A Logical Framework for Cyber-Physical Systems Chih-Hong Cheng , Natarajan Shankar , Harald Rueß und Saddek Bensalem CoRR, abs/1306.3456():, 2013. Details URL BIB
• 2013 Representation and Exchange of Knowledge about Actions, Objects, and Environments in the RoboEarth Framework Moritz Tenorth , Alexander Perzylo , Reinhard Lafrenz und Michael Beetz IEEE Transactions on Automation Science and Engineering (T-ASE), 10(3):643-651, 2013. Details URL DOI BIB
• 2013 Towards Adaptable Manufacturing Systems Nadine Keddis , Gerd Kainz , Christian Buckl und Alois Knoll In IEEE International Conference on Industrial Technology (ICIT), Seiten 1410–1415, 2013. IEEE, Details DOI BIB
• 2013 A Framework for Reliability-Aware Design Exploration for MPSoC Based Systems Jia Huang , Andreas Raabe , Kai Huang , Christian Buckl und Alois Knoll Design Automation for Embedded Systems (DAEM), ():, 2013. Details URL BIB
• 2013 A Lane Marking Extraction Approach based on Random Finite Set Statistics Feihu Zhang , Hauke Stähle , Chao Chen , Christian Buckl und Alois Knoll In Intelligent Vehicles Symposium (IV), 2013 IEEE, 2013. Details BIB
• 2013 A Model-Driven Approach for Runtime Reliability Analysis Frank Reichenbach , Dominik Sojer , Christian Buckl und Alois Knoll In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013. Details URL DOI BIB
• 2013 Automated Test Case Generation for Industrial Control Applications Reinhard Hametner , Benjamin Kormann , Birgit Vogel-Heuser , Dietmar Winkler und Alois Zoitl In Gourab Sen Gupta , Donald Bailey , Serge Demidenko und Dale Carnegie , Editor, Recent Advances in Robotics and Automation, Band 480 von Studies in Computational Intelligence, Seiten 263-273. Springer Berlin Heidelberg, 2013. Details DOI BIB