Liste als BibTeX-Datei exportieren

2019

• Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Juli 2019. Springer, Cham. Details DOI BIB
• Juli 2019 Combined Data Transfer Response Time and Mapping Exploration in MPSoCs Alexander Diewald , Simon Barner und Selma Saidi In 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, Juli 2019. Details URL BIB
• Juli 2019 Towards Machine Learning for Learnability of MDD Tools Saad bin Abid , Vishal Mahajan und Levi Lúcio In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, Seiten 1–6, Juli 2019. Details DOI BIB
• Juni 2019 Model-based methodology for space vehicles Sergey Zverlov , Sebastian Voss , Thomas Böhm , Hans-Jürgen Herpel und Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), Juni 2019. Details BIB
• Juni 2019 Providentia - A Large Scale Sensing System for the Assistance of Autonomous Vehicles Annkathrin Krämmer , Christoph Schöller , Dhiraj Gulati und Alois Knoll In Robotics Science and Systems Workshops (RSS Workshops), Freiburg, Germany, Juni 2019. RSS Foundation. Details URL BIB
• Januar 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa und Levi Lúcio Science of Computer Programming, 170():49–79, Januar 2019. Details DOI BIB
• 2019 A general proof certification framework for modal logic Tomer Libal und Marco Volpe Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB
• 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep Kanav , Levi Lúcio , Christian Hilden und Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, Band 11460 von LNCS, Seiten 255–262, 2019. Springer. Details DOI BIB
• 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss und Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
• 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva , Carmen Cârlan , Harald Rueß und Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
• 2019 Real-Time Personalization in Adaptive IDEs Matthias Schmidmaier , Zhiwei Han , Thomas Weber , Yuanting Liu und Heinrich Hußmann Seiten 81-86, 2019. ACM. Details URL BIB
• 2019 Roadmap to Skill Based Systems Engineering Kathrin Evers , Jan R Seyler , Vincent Aravantinos , Levi Lúcio und Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 1093–1100, 2019. IEEE. Details DOI 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
• 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 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
• September 2018 Alternatives for Flexible Deployment Architectures in Industrial Automation Systems Sten Grüner , Somayeh Malakuti , Johannes Schmitt , Tarik Terzimehić , Monika Wenger und Haitham Elfham In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB