Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. - Ulrich Schöpp; Alex K. Simpson (FoSSaCS, 2002)

A Dependent Type Theory with Names and Binding. - Ulrich Schöpp; Ian Stark (CSL, 2004)

Space-Efficient Computation by Interaction. - Ulrich Schöpp (CSL, 2006)

Modelling Generic Judgements. - Ulrich Schöpp (LFMTP@FLoC, 2006)

Names and binding in type theory. - Ulrich Schöpp (2006)

Stratified Bounded Affine Logic for Logarithmic Space. - Ulrich Schöpp (LICS, 2007)

A Formalised Lower Bound on Undirected Graph Reachability. - Ulrich Schöpp (LPAR, 2008)

Pointer Programs and Undirected Reachability. - Ulrich Schöpp; Martin Hofmann 001 (Electron. Colloquium Comput. Complex., 2008)

Type Inference for Sublinear Space Functional Programming. - Ugo Dal Lago; Ulrich Schöpp (APLAS, 2010)

Functional Programming in Sublinear Space. - Ugo Dal Lago; Ulrich Schöpp (ESOP, 2010)

Pure pointer programs with iteration. - Martin Hofmann 001; Ulrich Schöpp (ACM Trans. Comput. Log., 2010)

Computation-by-Interaction with Effects. - Ulrich Schöpp (APLAS, 2011)

Pure Pointer Programs and Tree Isomorphism. - Martin Hofmann 001; Ramyaa Ramyaa; Ulrich Schöpp (FoSSaCS, 2013)

On Interaction, Continuations and Defunctionalization. - Ulrich Schöpp (TLCA, 2013)

Call-by-Value in a Basic Logic for Interaction. - Ulrich Schöpp (APLAS, 2014)

Organising Low-Level Programs using Higher Types. - Ulrich Schöpp (PPDP, 2014)

On the Relation of Interaction Semantics to Continuations and Defunctionalization. - Ulrich Schöpp (Log. Methods Comput. Sci., 2014)

From Call-by-Value to Interaction by Typed Closure Conversion. - Ulrich Schöpp (APLAS, 2015)

Computation by interaction for space-bounded functional programming. - Ugo Dal Lago; Ulrich Schöpp (Inf. Comput., 2016)

Defunctionalisation as modular closure conversion. - Ulrich Schöpp (PPDP, 2017)

Particle-Style Geometry of Interaction as a Module System. - Ulrich Schöpp (APLAS, 2018)

Special issue - Developments in implicit computational complexity, 2014 and 2015. - Marco Gaboardi; Ulrich Schöpp (Inf. Comput., 2018)

Semantical Analysis of Contextual Types. - Brigitte Pientka; Ulrich Schöpp (FoSSaCS, 2020)

A generic type system for featherweight Java. - Ulrich Schöpp; Chuangjie Xu (FTfJP@ECOOP, 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 001; Heiko Ludwig; Mathieu Sinn; Mark Purcell; Bashar Altakrouri (ePart, 2021)

Type-based Enforcement of Infinitary Trace Properties for Java. - Serdar Erbatur; Ulrich Schöpp; Chuangjie Xu (PPDP, 2021)

Toward Embodied Intelligence: Smart Things on the Rise. - Arne Broering; Christoph Niedermeier; Ioana Olaru; Ulrich Schöpp; Kilian Telschig; Michael Villnow (Computer, 2021)

Preface for the special issue in homage to Martin Hofmann Part 1. - Jan Hoffmann 002; Donald Sannella; Ulrich Schöpp (Math. Struct. Comput. Sci., 2021)

Inferring Region Types via an Abstract Notion of Environment Transformation. - Ulrich Schöpp; Chuangjie Xu (APLAS, 2022)

Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects. - Markus Voggenreiter; Ulrich Schöpp (ICSE (SEIP), 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; Sergey Tverdyshev (MODELSWARD, 2022)

Towards an Accountable and Reproducible Federated Learning: A FactSheets Approach. - Nathalie Baracaldo; Ali Anwar 001; Mark Purcell; Ambrish Rawat; Mathieu Sinn; Bashar Altakrouri; Dian Balta; Mahdi Sellami; Peter Kuhn; Ulrich Schöpp; Matthias Buchinger (CoRR, 2022)

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. - Yuri Gil Dantas; Simon Barner; Pei Ke; Vivek Nigam; Ulrich Schöpp (CoRR, 2022)

A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types. - Jason Z. S. Hu; Brigitte Pientka; Ulrich Schöpp (ACM Trans. Comput. Log., 2022)

Preface for the special issue in homage to Martin Hofmann Part 2. - Jan Hoffmann 002; Donald Sannella; Ulrich Schöpp (Math. Struct. Comput. Sci., 2022)

Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. - Yuri Gil Dantas; Simon Barner; Pei Ke; Vivek Nigam; Ulrich Schöpp (ICISSP, 2023)

SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures. - Yuri Gil Dantas; Ulrich Schöpp (ICISSP, 2023)

Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. - Tarik Terzimehic; Simon Barner; Yuri Gil Dantas; Ulrich Schöpp; Vivek Nigam; Pei Ke (ICSA-C, 2023)

Prioritizing Industrial Security Findings in Agile Software Development Projects. - Markus Voggenreiter; Ulrich Schöpp (ICSE Companion, 2023)

Specifying a Usage Control System. - Ulrich Schöpp; Chuangjie Xu; Amjad Ibrahim; Fathiyeh Faghih; Theo Dimitrakos (SACMAT, 2023)

Monitoring Auditable Claims in the Cloud. - Lev Sorokin; Ulrich Schöpp (CoRR, 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; Sergey Tverdyshev (SN Comput. Sci., 2023)

Automated Security Findings Management: A Case Study in Industrial DevOps. - Markus Voggenreiter; Florian Angermeir; Fabiola Moyon; Ulrich Schöpp; Pierre Bonvin (ICSE-SEIP, 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; Theo Dimitrakos (SACMAT, 2024)

CyberDS: Auditable Monitoring in the Cloud. - Lev Sorokin; Ulrich Schöpp (SAFECOMP, 2024)

A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. - Yuri Gil Dantas; Vivek Nigam; Ulrich Schöpp (SN Comput. Sci., 2024)