Ulrich Schöpp

Publikationen

Liste als BibTeX-Datei exportieren

  • September 2022 Inferring Region Types via an Abstract Notion of Environment Transformation Ulrich Schöpp und Chuangjie Xu In Asian Symposium on Programming Languages and Systems (APLAS 2022), Springer. Details BIB
  • Mai 2022 Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects Markus Voggenreiter und Ulrich Schöpp In 44nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP ’22), ACM. Details DOI BIB
  • Februar 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 und Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Seiten 36–47, 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 und Bashar Altakrouri In Electronic Participation - 13th IFIP WG 8.5 International Conference, ePart 2021, Seiten 125-138, Springer. Details URL DOI BIB
  • Januar 2021 Toward Embodied Intelligence: Smart Things on the Rise Arne Broering, Christoph Niedermeier, Ioana Olaru, Ulrich Schöpp, Kilian Telschig und Michael Villnow IEEE Computer, 54(1):57-68, Januar 2021. Details BIB
  • 2021 A generic type system for featherweight Java Ulrich Schöpp und Chuangjie Xu In FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Seiten 9–15, ACM. Details DOI BIB
  • 2021 Type-based Enforcement of Infinitary Trace Properties for Java Serdar Erbatur, Ulrich Schöpp und Chuangjie Xu In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Seiten 18:1–18:14, ACM. Details DOI BIB
  • August 2020 Requirements-based Code Model Checking Ulrich Schöpp, Andreas Schweiger, Marina Reich, Tatiana Chuprina, Levi Lúcio und Hartmut Brüning In IEEE Workshop on Formal Requirements (FORMREQ2020), IEEE. Details DOI BIB
  • 2020 Semantical Analysis of Contextual Types Brigitte Pientka und 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, Band 12077 von Lecture Notes in Computer Science, Springer. Details BIB