Ulrich Schöpp

53 papers A* 2A 1B 14C 8Journal 19Unranked 8

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