Export list as BibTeX file

2025

• 2025 Exploring the Use of LLMs for the Selection Phase in Systematic Literature Studies Lukas Thode , Umar Iftikhar and Daniel Mendez Information and Software Technology, 184():107757, 2025. Details DOI BIB

2024

• May 2024 A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design Yuri Gil Dantas , Vivek Nigam and Ulrich Schöpp SN Computer Science, 5(5):, May 2024. Details DOI BIB

2023

• September 2023 A Retrospective Analysis of Grey Literature for AI-Supported Test Automation Filippo Ricca , Alessandro Marchetto and Andrea Stocco In In Proceedings of the 16th International Conference on the Quality of Information and Communications Technology, pages 90–105, September 2023. Springer Nature Switzerland. Details URL DOI BIB
• February 2023 Automating Vehicle SOA Threat Analysis using a Model-Based Methodology Yuri Gil Dantas , Vivek Nigam , Ulrich Schöpp , Simon Barner and Pei Ke In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), pages 180-191, February 2023. SciTePress. Details DOI BIB

2022

• February 2022 A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis Yuri Gil Dantas , Tiziano Munaro , Carmen Cârlan , Vivek Nigam , Simon Barner , Shiqing Fan , Alexander Pretschner , Ulrich Schöpp and Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, February 2022. SCITEPRESS. Details DOI BIB

2018

• February 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider , Sebastian Voss , Monika Wenger and Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), February 2018. Details PDF BIB

2011

• 2011 Optimizations for Game-based Software Synthesis Chih-Hong Cheng , Barbara Jobstmann , Michael Geisinger , Sarah Diot-Girard , Christian Buckl , Alois Knoll and Harald Rueß TR-2011-12, Verimag Research Report, 2011. Details BIB

2010

• October 2010 Model-Based Specification of Timing Requirements Christian Buckl , Irina Gaponova , Michael Geisinger , Alois Knoll and Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. Details URL DOI BIB

2008

• August 2008 Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab Martin Wojtczyk , Simon Barner , Michael Geisinger and Alois Knoll In Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering, August 2008. Details DOI BIB