Ulrich Schöpp

According to our database, Ulrich Schöpp authored at least 46 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design.

Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp

SN Comput. Sci., June, 2024

CyberDS: Auditable Monitoring in the Cloud.

Lev Sorokin, Ulrich Schöpp

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

Automated Security Findings Management: A Case Study in Industrial DevOps.

Markus Voggenreiter, Florian Angermeir, Fabiola Moyon, Ulrich Schöpp, Pierre Bonvin

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

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., July, 2023

Monitoring Auditable Claims in the Cloud.

Lev Sorokin, Ulrich Schöpp

CoRR, 2023

Specifying a Usage Control System.

Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Prioritizing Industrial Security Findings in Agile Software Development Projects.

Markus Voggenreiter, Ulrich Schöpp

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 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

Proceedings of the 20th International Conference on Software Architecture, 2023

SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures.

Yuri Gil Dantas, Ulrich Schöpp

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology.

Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022

Preface for the special issue in homage to Martin Hofmann Part 2.

Jan Hoffmann, Donald Sannella, Ulrich Schöpp

Math. Struct. Comput. Sci., June, 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

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

Towards an Accountable and Reproducible Federated Learning: A FactSheets Approach.

Nathalie Baracaldo, Ali Anwar, Mark Purcell, Ambrish Rawat, Mathieu Sinn, Bashar Altakrouri, Dian Balta, Mahdi Sellami, Peter Kuhn, Ulrich Schöpp, Matthias Buchinger

CoRR, 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

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects.

Markus Voggenreiter, Ulrich Schöpp

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Inferring Region Types via an Abstract Notion of Environment Transformation.

Ulrich Schöpp, Chuangjie Xu

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Preface for the special issue in homage to Martin Hofmann Part 1.

Jan Hoffmann, Donald Sannella, Ulrich Schöpp

Math. Struct. Comput. Sci., 2021

Toward Embodied Intelligence: Smart Things on the Rise.

Arne Broering, Christoph Niedermeier, Ioana Olaru, Ulrich Schöpp, Kilian Telschig, Michael Villnow

Computer, 2021

Type-based Enforcement of Infinitary Trace Properties for Java.

Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 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, Bashar Altakrouri

Proceedings of the Electronic Participation - 13th IFIP WG 8.5 International Conference, 2021

A generic type system for featherweight Java.

Ulrich Schöpp, Chuangjie Xu

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Semantical Analysis of Contextual Types.

Brigitte Pientka, Ulrich Schöpp

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2018

Special issue - Developments in implicit computational complexity, 2014 and 2015.

Marco Gaboardi, Ulrich Schöpp

Inf. Comput., 2018

Particle-Style Geometry of Interaction as a Module System.

Ulrich Schöpp

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Defunctionalisation as modular closure conversion.

Ulrich Schöpp

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

Computation by interaction for space-bounded functional programming.

Ugo Dal Lago, Ulrich Schöpp

Inf. Comput., 2016

2015

From Call-by-Value to Interaction by Typed Closure Conversion.

Ulrich Schöpp

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

On the Relation of Interaction Semantics to Continuations and Defunctionalization.

Ulrich Schöpp

Log. Methods Comput. Sci., 2014

Organising Low-Level Programs using Higher Types.

Ulrich Schöpp

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Call-by-Value in a Basic Logic for Interaction.

Ulrich Schöpp

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

On Interaction, Continuations and Defunctionalization.

Ulrich Schöpp

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Pure Pointer Programs and Tree Isomorphism.

Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2011

Computation-by-Interaction with Effects.

Ulrich Schöpp

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Pure pointer programs with iteration.

Martin Hofmann, Ulrich Schöpp

ACM Trans. Comput. Log., 2010

Functional Programming in Sublinear Space.

Ugo Dal Lago, Ulrich Schöpp

Proceedings of the Programming Languages and Systems, 2010

Type Inference for Sublinear Space Functional Programming.

Ugo Dal Lago, Ulrich Schöpp

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

Pointer Programs and Undirected Reachability.

Ulrich Schöpp, Martin Hofmann

Electron. Colloquium Comput. Complex., 2008

A Formalised Lower Bound on Undirected Graph Reachability.

Ulrich Schöpp

Proceedings of the Logic for Programming, 2008

2007

Stratified Bounded Affine Logic for Logarithmic Space.

Ulrich Schöpp

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

Names and binding in type theory.

Ulrich Schöpp

PhD thesis, 2006

Modelling Generic Judgements.

Ulrich Schöpp

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Space-Efficient Computation by Interaction.

Ulrich Schöpp

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2004

A Dependent Type Theory with Names and Binding.

Ulrich Schöpp, Ian Stark

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2002

Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.

Ulrich Schöpp, Alex K. Simpson

Proceedings of the Foundations of Software Science and Computation Structures, 2002