Ulrich Schöpp

Publications

Export list as BibTeX file

• September 2024 CyberDS: Auditable Monitoring in the Cloud Lev Sorokin and Ulrich Schöpp In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of LNCS, pages 15, September 2024. Springer, Cham. Details URL BIB
• 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
• 2024 Automated Security Findings Management: A Case Study in Industrial DevOps Markus Voggenreiter , Florian Angermeir , Fabiola Moyón , Ulrich Schöpp and Pierre-Louis Bonvin In 46th International Conference on Software Engineering: Software Engineering in Practice, 2024. ACM. Details DOI BIB
• 2024 Static and Dynamic Analysis of a Usage Control System Ulrich Schöpp , Fathiyeh Faghih , Subhajit Bandopadhyay , Hussein Joumaa , Amjad Ibrahim , Chuangjie Xu , Xin Ye and Theo Dimitrakos In SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024. Details DOI BIB
• June 2023 Specifying a Usage Control System Ulrich Schöpp , Chuangjie Xu , Amjad Ibrahim , Fathiyeh Faghih and Theo Dimitrakos In Proceedings of the 28th ACM Symposium on Access Control Models and Technologies (SACMAT ’23), pages 8, New York, NY, USA, June 2023. ACM. Details DOI BIB
• April 2023 A Toolchain for Synthesizing and Validating Safety Architectures Yuri Gil Dantas , Tiziano Munaro , Carmen Cârlan , Vivek Nigam , Simon Barner , Shiqing Fan , Alexander Pretschner , Ulrich Schöpp and Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB
• March 2023 Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform Tarik Terzimehić , Simon Barner , Yuri Gil Dantas , Ulrich Schöpp , Vivek Nigam and Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, March 2023. IEEE. Details 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
• 2023 SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures Yuri Gil Dantas and Ulrich Schöpp In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP 2023), pages 264–275, 2023. SciTePress. Details DOI BIB
• September 2022 Inferring Region Types via an Abstract Notion of Environment Transformation Ulrich Schöpp and Chuangjie Xu In Asian Symposium on Programming Languages and Systems (APLAS 2022), volume 13658 of LNCS, pages 45–64, September 2022. Springer. Details DOI BIB
• May 2022 Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects Markus Voggenreiter and Ulrich Schöpp In 44nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP ’22), pages 309–310, May 2022. ACM. Details DOI BIB
• 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
• September 2021 Accountable Federated Machine Learning in Government: Engineering and Management Insights Dian Balta , Mahdi Sellami , Peter Kuhn , Ulrich Schöpp , Matthias Buchinger , Nathalie Baracaldo , Ali Anwar , Heiko Ludwig , Mathieu Sinn , Mark Purcell and Bashar Altakrouri In Electronic Participation - 13th IFIP WG 8.5 International Conference, ePart 2021, pages 125-138, September 2021. Springer. Details URL DOI BIB
• September 2021 Type-based Enforcement of Infinitary Trace Properties for Java Serdar Erbatur , Ulrich Schöpp and Chuangjie Xu In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, September 2021. ACM. Details DOI BIB
• July 2021 A generic type system for featherweight Java Ulrich Schöpp and Chuangjie Xu In FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, pages 9–15, July 2021. ACM. Details DOI BIB
• July 2021 Toward Embodied Intelligence: Smart Things on the Rise Arne Broering , Christoph Niedermeier , Ioana Olaru , Ulrich Schöpp , Kilian Telschig and Michael Villnow IEEE Computer, 54(7):57-68, July 2021. Details DOI BIB
• August 2020 Requirements-based Code Model Checking Ulrich Schöpp , Andreas Schweiger , Marina Reich , Tatiana Chuprina , Levi Lúcio and Hartmut Brüning In IEEE Workshop on Formal Requirements (FORMREQ2020), pages 21–27, August 2020. IEEE. Details DOI BIB
• April 2020 Semantical Analysis of Contextual Types Brigitte Pientka and Ulrich Schöpp In Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, volume 12077 of Lecture Notes in Computer Science, pages 502–521, April 2020. Springer. Details DOI BIB