Liste als BibTeX-Datei exportieren

2019

• 2019 Towards Computer-Aided Software Requirements Process Marina Reich , Tatiana Chuprina und Vivek Nigam In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., Seiten 75–78, 2019. IEEE. Details BIB
• 2019 TSNsched: Automated Schedule Generation for Time Sensitive Networking Ben Schneider und Vivek Nigam In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, Seiten 69–77, 2019. Details DOI BIB
• 2019 Usability of Development Tools: A CASE-Study Thomas Weber , Alois Zoitl und Heinrich Hußmann In the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Seiten 228-235, 2019. Details BIB
• 2019 Verification of Ada Programs with AdaHorn Tewodros Beyene , Christian Herrera und Vivek Nigam Ada User Journal, 40(2):103-108, 2019. Details BIB
• 2019 Verification of Ada Programs with AdaHorn Vivek Nigam Ada User Journal, ():, 2019. Details BIB

2018

• Dezember 2018 A Bird's Eye View on Requirements Engineering and Machine Learning Tahira Iqbal , Parisa Elahidoost und Levi Lúcio In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), Seiten 11-20, Dezember 2018. Details DOI BIB
• November 2018 Experience-Based Heuristic Search: Robust Motion Planning with Deep Q-Learning Julian Bernhard , Robert Gieselmann , Klemens Esterle und Alois Knoll , November 2018. IEEE, IEEE. Details BIB
• November 2018 Intelligent Hardware-Software Platform for Efficient Coupling of Water-Energy Nexus in Smart Cities: A Conceptual Framework Naran Pindoriya , Markus Duchon , Pragya Kirti Gupta , Venkatesh Pampana , SN Singh , Jakob Giza , Bastian Hackenberg , Arvind Rajput und Janki Jethi , ():, November 2018. Details BIB
• November 2018 Roadgraph Generation and Free-Space Estimation in Unknown Structured Environments for Autonomous Vehicle Motion Planning Tobias Kessler , Pascal Minnerup , Klemens Esterle , Christian Feist , Florian Mickler , Erwin Roth und Alois Knoll Details URL DOI BIB
• November 2018 Spatiotemporal Motion Planning with Combinatorial Reasoning for Autonomous Driving Klemens Esterle , Patrick Hart , Julian Bernhard und Alois Knoll Seiten 1053-1060, November 2018. Details URL DOI BIB
• Oktober 2018 [T3] Develop your Own Car Levi Lúcio , Sebastian Voss , Tatiana Chuprina , Andreas Bayha , Johannes Eder und Sudeep Kanav Oktober 2018. Details URL BIB
• Oktober 2018 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 150–155, Oktober 2018. ACM. Details DOI BIB
• Oktober 2018 An Efficient and Time-Optimal Trajectory Generation Approach for Waypoints under Kinematic Constraints and Error Bounds Jianjie Lin , Nikhil Somani , Biao Hu , Markus Rickert und Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, Oktober 2018. Details DOI BIB
• Oktober 2018 Applications in HHI: Physical Cooperation Markus Rickert , Andre Gaschler und Alois Knoll In Ambarish Goswami und Prahlad Vadakkepat , Editor, Humanoid Robotics: A Reference, . Springer, Oktober 2018. Details URL DOI BIB
• Oktober 2018 AutomationML Mechatronic Models as Enabler of Automation Systems Engineering: Use-case and Evaluation Milan Vathoopan , Hendrik Walzel , Waldemar Eisenmenger , Alois Zoitl und Benjamin Brandenbourger In Proceedings of 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 51 - 58, Oktober 2018. IEEE. Details DOI BIB
• Oktober 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio , Sudeep Kanav , Andreas Bayha und Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, Band 2245 von CEUR Workshop Proceedings, Seiten 356–365, Oktober 2018. Details URL BIB
• Oktober 2018 Exploration of hardware topologies based on functions, variability and timing Johannes Eder In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 145–149, Oktober 2018. ACM. Details DOI BIB
• Oktober 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov und Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, Oktober 2018. ACM, Details DOI BIB
• Oktober 2018 Optimization and Reconfiguration of IEC 61499-based Software Architectures Tarik Terzimehić In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, Oktober 2018. Details DOI BIB
• Oktober 2018 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-Hong Cheng , Chung-Hao Huang und Hirotoshi Yasuoka In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Seiten 126–142, Oktober 2018. Details URL DOI BIB