| 2024 | ICSE | Automated Security Findings Management: A Case Study in Industrial DevOps. | Markus Voggenreiter, Florian Angermeir, Fabiola Moyon, Ulrich Schpp, Pierre Bonvin |
| 2024 | SACMAT | Static and Dynamic Analysis of a Usage Control System. | Ulrich Schpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos |
| 2024 | SAFECOMP | CyberDS: Auditable Monitoring in the Cloud. | Lev Sorokin, Ulrich Schpp |
| 2023 | ICISSP | Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. | Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schpp |
| 2023 | ICISSP | SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures. | Yuri Gil Dantas, Ulrich Schpp |
| 2023 | ICSA | Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. | Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schpp, Vivek Nigam, Pei Ke |
| 2023 | ICSE | Prioritizing Industrial Security Findings in Agile Software Development Projects. | Markus Voggenreiter, Ulrich Schpp |
| 2023 | SACMAT | Specifying a Usage Control System. | Ulrich Schpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos |
| 2022 | APLAS | Inferring Region Types via an Abstract Notion of Environment Transformation. | Ulrich Schpp, Chuangjie Xu |
| 2022 | ICSE | Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects. | Markus Voggenreiter, Ulrich Schpp |
| 2022 | MODELSWARD | A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. | Yuri Gil Dantas, Tiziano Munaro, Carmen Crlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schpp, Sergey Tverdyshev |
| 2021 | ECOOP | A generic type system for featherweight Java. | Ulrich Schpp, Chuangjie Xu |
| 2021 | PPDP | Type-based Enforcement of Infinitary Trace Properties for Java. | Serdar Erbatur, Ulrich Schpp, Chuangjie Xu |
| 2020 | FOSSACS | Semantical Analysis of Contextual Types. | Brigitte Pientka, Ulrich Schpp |
| 2018 | APLAS | Particle-Style Geometry of Interaction as a Module System. | Ulrich Schpp |
| 2017 | PPDP | Defunctionalisation as modular closure conversion. | Ulrich Schpp |
| 2015 | APLAS | From Call-by-Value to Interaction by Typed Closure Conversion. | Ulrich Schpp |
| 2014 | APLAS | Call-by-Value in a Basic Logic for Interaction. | Ulrich Schpp |
| 2014 | PPDP | Organising Low-Level Programs using Higher Types. | Ulrich Schpp |
| 2013 | FOSSACS | Pure Pointer Programs and Tree Isomorphism. | Martin Hofmann, Ramyaa Ramyaa, Ulrich Schpp |
| 2011 | APLAS | Computation-by-Interaction with Effects. | Ulrich Schpp |
| 2010 | APLAS | Type Inference for Sublinear Space Functional Programming. | Ugo Dal Lago, Ulrich Schpp |
| 2010 | ESOP | Functional Programming in Sublinear Space. | Ugo Dal Lago, Ulrich Schpp |
| 2009 | LICS | Pointer Programs and Undirected Reachability. | Martin Hofmann, Ulrich Schpp |
| 2008 | CSL | Pure Pointer Programs with Iteration. | Martin Hofmann, Ulrich Schpp |
| 2008 | LPAR | A Formalised Lower Bound on Undirected Graph Reachability. | Ulrich Schpp |
| 2007 | LICS | Stratified Bounded Affine Logic for Logarithmic Space. | Ulrich Schpp |
| 2006 | CSL | Space-Efficient Computation by Interaction. | Ulrich Schpp |
| 2004 | CSL | A Dependent Type Theory with Names and Binding. | Ulrich Schpp, Ian Stark |
| 2002 | FOSSACS | Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. | Ulrich Schpp, Alex K. Simpson |