Liste als BibTeX-Datei exportieren

2016

• Juni 2016 Combining Task and Motion Planning for Intersection Assistance Systems Chao Chen , Markus Rickert und Alois Knoll In Proceedings of the IEEE Intelligent Vehicles Symposium, Seiten 1242–1247, Gothenburg, Sweden, Juni 2016. Details DOI BIB
• Juni 2016 On Cognitive Robot Woodworking in SMErobotics Mathias Haage , Stefan Profanter , Ingmar Kessler , Alexander Perzylo , Nikhil Somani , Olof Sörnmo , Martin Karlsson , Sven Gestegård Robertz , Klas Nilsson , Ludovic Resch und Michael Marti In Proceedings of the International Symposium on Robotics (ISR), Munich, Germany, Juni 2016. Details URL BIB
• April 2016 Industrieroboter für KMU: Flexible und intuitive Prozessbeschreibung Markus Rickert und Alexander Perzylo Industrie Management, 32(2):46–49, April 2016. Details URL BIB
• April 2016 Schedule synthesis for multi-period SW components Sebastian Voss , Johannes Eder und Bernhard Schätz In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB
• April 2016 Towards Trusted Apps platforms for open CPS Christian Prehofer , Oliver Horst , Riccardo Dodi , Arjan Geven , George Kornaros , Eleonora Montanari und Michele Paolino In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), Seiten 23–28, April 2016. Details DOI BIB
• Januar 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker und Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Januar 2016. Details DOI BIB
• Januar 2016 Factory Product Lines: Tackling the Compatibility Problem Andreas Bayha , Levi Lúcio , Vincent Aravantinos , Kenji Miyamoto und Georgeta Igna In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), Januar 2016. ACM. Details DOI BIB
• Januar 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov , Maged Khalil und Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Januar 2016. Details URL BIB
• 2016 A Model Based Engineering Tool for ROS Component Compositioning, Configuration and Generation of Deployment Information Monika Wenger , Waldemar Eisenmenger , Georg Neugschwandtner , Ben Schneider und Alois Zoitl In 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016. Details BIB
• 2016 iEMG: Imaging Electromyography Holger Urbanek und Patrick van der Smagt Journal of Electromyography and Kinesiology, 27():1–9, 2016. Details DOI BIB
• 2016 Tactical Cooperative Planning for Autonomous Vehicles using MCTS David Lenz , Tobias Kessler und Alois Knoll In IEEE Intelligent Vehicles Symposium, 2016. Details BIB
• 2016 A Compositional Approach to the Verification of Hybrid Systems Lacramioara Astefanoaei , Saddek Bensalem und Marius Bozga In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Seiten 88–103, 2016. Details URL DOI BIB
• 2016 A Differentiable Transition Between Additive and Multiplicative Neurons Wiebke Koepp , Patrick van der Smagt und Sebastian Urban In International Conference on Learning Representations (ICLR), 2016. Details URL BIB
• 2016 A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems Milan Vathoopan , Benjamin Brandenbourger und Alois Zoitl In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, Seiten 1–4, 2016. IEEE, Details BIB
• 2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald , Sebastian Voss und Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB
• 2016 A Parameter Estimator for a Model Based Adaptive Control Scheme for Longitudinal Control of Automated Vehicles Martin Buechel und Alois Knoll Seiten 181-186, 2016. IFAC-PapersOnLine. Details BIB
• 2016 Behavior modeling of automation components using cross-domain interdependencies Benjamin Brandenbourger , Milan Vathoopan und Alois Zoitl In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, Seiten 1–4, 2016. IEEE, Details BIB
• 2016 Certification for u-Calculus with Winning Strategies Martin Hofmann , Christian Neukirchen und Harald Rueß In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Seiten 111–128, 2016. Details URL DOI BIB
• 2016 Compositional Parameter Synthesis Lacramioara Astefanoaei , Marius Bozga , Saddek Bensalem , Chih-Hong Cheng und Harald Rueß In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Seiten 60–68, 2016. Details DOI BIB
• 2016 Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data Maximilian Karl , Maximilian Sölch , Justin Bayer und Patrick van der Smagt arxiv, ():, 2016. Details URL BIB