Liste als BibTeX-Datei exportieren

2019

• 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, 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), 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), IEEE. Details DOI 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, 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, Details DOI BIB
• Oktober 2018 [T3] Develop your Own Car Levi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder und Sudeep Kanav 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, 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, 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, ACM. Details DOI BIB