I agree that this site is using cookies. You can find further informations here.
X
Schopp, Ulrich
18  results:
Bookchapter (Online) X
?
1

Automated Security Findings Management: A Case Study in Ind..:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice,
Voggenreiter, Markus ; Angermeir, Florian ; Moyon, Fabiola.. - p. 312-322 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Automated Security Findings Management: A Case Study in Ind..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Voggenreiter, Markus ; Angermeir, Florian ; Moyon, Fabiola.. - p. 312-322 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Static and Dynamic Analysis of a Usage Control System:

, In: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies,
Schöpp, Ulrich ; Faghih, Fathiyeh ; Bandopadhyay, Subhajit... - p. 59-70 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Specifying a Usage Control System:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,
Schöpp, Ulrich ; Xu, Chuangjie ; Ibrahim, Amjad.. - p. 193-200 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Safety-Aware Deployment Synthesis and Trade-Off Analysis of..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),
Terzimehic, Tarik ; Barner, Simon ; Dantas, Yuri Gil... - p. 309-316 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Prioritizing Industrial Security Findings in Agile Software..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Voggenreiter, Markus ; Schopp, Ulrich - p. 375-379 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Inferring Region Types via an Abstract Notion of Environmen..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Schöpp, Ulrich ; Xu, Chuangjie - p. 45-64 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Using a Semantic Knowledge Base to Improve the Management o..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Voggenreiter, Markus ; Schopp, Ulrich - p. 309-310 , 2022
Link: https://doi.org/10.1145/..
 
?
9

Using a semantic knowledge base to improve the management o..:

, In: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice,
Voggenreiter, Markus ; Schöpp, Ulrich - p. 309-310 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Accountable Federated Machine Learning in Government: Engin..:

, In: Electronic Participation; Lecture Notes in Computer Science,
Balta, Dian ; Sellami, Mahdi ; Kuhn, Peter... - p. 125-138 , 2021
Link: https://doi.org/10.1007/..
 
?
11

A generic type system for featherweight Java:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,
Schöpp, Ulrich ; Xu, Chuangjie - p. 9-15 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Type-based Enforcement of Infinitary Trace Properties for J..:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,
Erbatur, Serdar ; Schöpp, Ulrich ; Xu, Chuangjie - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Semantical Analysis of Contextual Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Pientka, Brigitte ; Schöpp, Ulrich - p. 502-521 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Requirements-based Code Model Checking:

, In: 2020 IEEE Workshop on Formal Requirements (FORMREQ),
Schopp, Ulrich ; Schweiger, Andreas ; Reich, Marina... - p. 21-27 , 2020
Link: https://doi.org/10.1109/..
 
?
15

Particle-Style Geometry of Interaction as a Module System:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Schöpp, Ulrich - p. 202-222 , 2018
Link: https://doi.org/10.1007/..
 
1-15