Ulrich Schöpp

Orcid: 0000-0002-5445-9461

Affiliations:
  • Fortiss, Munich, Germany
  • Ludwig Maximilian University of Munich, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design.
SN Comput. Sci., June, 2024

CyberDS: Auditable Monitoring in the Cloud.
Proceedings of the Computer Safety, Reliability, and Security, 2024

Static and Dynamic Analysis of a Usage Control System.
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

Automated Security Findings Management: A Case Study in Industrial DevOps.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023
A Toolchain for Synthesizing and Validating Safety Architectures.
SN Comput. Sci., July, 2023

Monitoring Auditable Claims in the Cloud.
CoRR, 2023

Specifying a Usage Control System.
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Prioritizing Industrial Security Findings in Agile Software Development Projects.
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.
Proceedings of the 20th International Conference on Software Architecture, 2023

SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures.
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology.
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.
Math. Struct. Comput. Sci., June, 2022

A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.
ACM Trans. Comput. Log., 2022

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology.
CoRR, 2022

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

A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.
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.
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.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021
Preface for the special issue in homage to Martin Hofmann Part 1.
Math. Struct. Comput. Sci., 2021

Toward Embodied Intelligence: Smart Things on the Rise.
Computer, 2021

Type-based Enforcement of Infinitary Trace Properties for Java.
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.
Proceedings of the Electronic Participation - 13th IFIP WG 8.5 International Conference, 2021

A generic type system for featherweight Java.
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.
Proceedings of the Foundations of Software Science and Computation Structures, 2020

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

Particle-Style Geometry of Interaction as a Module System.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Defunctionalisation as modular closure conversion.
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.
Inf. Comput., 2016

2015
From Call-by-Value to Interaction by Typed Closure Conversion.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
On the Relation of Interaction Semantics to Continuations and Defunctionalization.
Log. Methods Comput. Sci., 2014

Organising Low-Level Programs using Higher Types.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Call-by-Value in a Basic Logic for Interaction.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
On Interaction, Continuations and Defunctionalization.
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Pure Pointer Programs and Tree Isomorphism.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

2011
Computation-by-Interaction with Effects.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
Pure pointer programs with iteration.
ACM Trans. Comput. Log., 2010

Functional Programming in Sublinear Space.
Proceedings of the Programming Languages and Systems, 2010

Type Inference for Sublinear Space Functional Programming.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008
Pointer Programs and Undirected Reachability.
Electron. Colloquium Comput. Complex., 2008

A Formalised Lower Bound on Undirected Graph Reachability.
Proceedings of the Logic for Programming, 2008

2007
Stratified Bounded Affine Logic for Logarithmic Space.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006
Names and binding in type theory.
PhD thesis, 2006

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

Space-Efficient Computation by Interaction.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2004
A Dependent Type Theory with Names and Binding.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2002
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2002


  Loading...