Ulrich Schöpp

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 32

Top Venues

CoRR

APLAS

PPDP

Math. Struct. Comput. Sci.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Markus Voggenreiter, Florian Angermeir, Fabiola Moyon, Ulrich Schöpp, Pierre Bonvin
Automated Security Findings Management: A Case Study in Industrial DevOps. ICSE-SEIP (2024)
Ulrich Schöpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos
Static and Dynamic Analysis of a Usage Control System. SACMAT (2024)
Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp
A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. SN Comput. Sci. 5 (5) (2024)
Markus Voggenreiter, Florian Angermeir, Fabiola Moyón, Ulrich Schöpp, Pierre Bonvin
Automated Security Findings Management: A Case Study in Industrial DevOps. CoRR (2024)
Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke
Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. ICSA-C (2023)
Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos
Specifying a Usage Control System. SACMAT (2023)
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. ICISSP (2023)
Yuri Gil Dantas, Ulrich Schöpp
SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures. ICISSP (2023)
Lev Sorokin, Ulrich Schöpp
Monitoring Auditable Claims in the Cloud. CoRR (2023)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4 (4) (2023)
Markus Voggenreiter, Ulrich Schöpp
Prioritizing Industrial Security Findings in Agile Software Development Projects. ICSE Companion (2023)
Ulrich Schöpp, Chuangjie Xu
Inferring Region Types via an Abstract Notion of Environment Transformation. APLAS (2022)
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. CoRR (2022)
Ulrich Schöpp, Chuangjie Xu
Inferring Region Types via an Abstract Notion of Environment Transformation. CoRR (2022)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD (2022)
Markus Voggenreiter, Ulrich Schöpp
Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects. ICSE (SEIP) (2022)
Markus Voggenreiter, Ulrich Schöpp
Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects. CoRR (2022)
Jan Hoffmann, Donald Sannella, Ulrich Schöpp
Preface for the special issue in homage to Martin Hofmann Part 2. Math. Struct. Comput. Sci. 32 (6) (2022)
Nathalie Baracaldo, Ali Anwar, Mark Purcell, Ambrish Rawat, Mathieu Sinn, Bashar Altakrouri, Dian Balta, Mahdi Sellami, Peter Kuhn, Ulrich Schöpp, Matthias Buchinger
Towards an Accountable and Reproducible Federated Learning: A FactSheets Approach. CoRR (2022)
Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types. CoRR (2022)
Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types. ACM Trans. Comput. Log. 23 (4) (2022)
Jan Hoffmann, Donald Sannella, Ulrich Schöpp
Preface for the special issue in homage to Martin Hofmann Part 1. Math. Struct. Comput. Sci. 31 (9) (2021)
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
Type-based Enforcement of Infinitary Trace Properties for Java. CoRR (2021)
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
Type-based Enforcement of Infinitary Trace Properties for Java. PPDP (2021)
Arne Broering, Christoph Niedermeier, Ioana Olaru, Ulrich Schöpp, Kilian Telschig, Michael Villnow
Toward Embodied Intelligence: Smart Things on the Rise. Computer 54 (7) (2021)
Dian Balta, Mahdi Sellami, Peter Kuhn, Ulrich Schöpp, Matthias Buchinger, Nathalie Baracaldo, Ali Anwar, Heiko Ludwig, Mathieu Sinn, Mark Purcell, Bashar Altakrouri
Accountable Federated Machine Learning in Government: Engineering and Management Insights. ePart (2021)
Ulrich Schöpp, Chuangjie Xu
A generic type system for featherweight Java. FTfJP@ECOOP (2021)
Brigitte Pientka, Ulrich Schöpp
Semantical Analysis of Contextual Types. FoSSaCS (2020)
Marco Gaboardi, Ulrich Schöpp
Special issue - Developments in implicit computational complexity, 2014 and 2015. Inf. Comput. 261 (2018)
Ulrich Schöpp
Particle-Style Geometry of Interaction as a Module System. APLAS (2018)
Ulrich Schöpp
Defunctionalisation as modular closure conversion. PPDP (2017)
Ugo Dal Lago, Ulrich Schöpp
Computation by interaction for space-bounded functional programming. Inf. Comput. 248 (2016)
Ulrich Schöpp
From Call-by-Value to Interaction by Typed Closure Conversion. APLAS (2015)
Ulrich Schöpp
Organising Low-Level Programs using Higher Types. PPDP (2014)
Ulrich Schöpp
On the Relation of Interaction Semantics to Continuations and Defunctionalization. Log. Methods Comput. Sci. 10 (4) (2014)
Ulrich Schöpp
Call-by-Value in a Basic Logic for Interaction. APLAS (2014)
Ulrich Schöpp
On Interaction, Continuations and Defunctionalization. TLCA (2013)
Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp
Pure Pointer Programs and Tree Isomorphism. FoSSaCS (2013)
Ulrich Schöpp
Computation-by-Interaction with Effects. APLAS (2011)
Ugo Dal Lago, Ulrich Schöpp
Functional Programming in Sublinear Space. ESOP (2010)
Ugo Dal Lago, Ulrich Schöpp
Type Inference for Sublinear Space Functional Programming. APLAS (2010)
Martin Hofmann, Ulrich Schöpp
Pure pointer programs with iteration. ACM Trans. Comput. Log. 11 (4) (2010)
Martin Hofmann, Ulrich Schöpp
Pointer Programs and Undirected Reachability. LICS (2009)
Ulrich Schöpp, Martin Hofmann
Pointer Programs and Undirected Reachability. Electron. Colloquium Comput. Complex. 15 (090) (2008)
Ulrich Schöpp
A Formalised Lower Bound on Undirected Graph Reachability. LPAR (2008)
Martin Hofmann, Ulrich Schöpp
Pure Pointer Programs with Iteration. CSL (2008)
Ulrich Schöpp
Stratified Bounded Affine Logic for Logarithmic Space. LICS (2007)
Ulrich Schöpp
Modelling Generic Judgements. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Ulrich Schöpp
Space-Efficient Computation by Interaction. CSL (2006)
Ulrich Schöpp, Ian Stark
A Dependent Type Theory with Names and Binding. CSL (2004)
Ulrich Schöpp, Alex K. Simpson
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. FoSSaCS (2002)

Ulrich Schöpp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrich Schöpp