Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schopp, Ulrich
46  Ergebnisse:
Personensuche X
?
1

A Model-Based Systems Engineering Plugin for Cloud Security..:

Dantas, Yuri Gil ; Nigam, Vivek ; Schöpp, Ulrich
SN Computer Science.  5 (2024)  5 - p. , 2024
Link: https://doi.org/10.1007/..
 
?
2

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..
 
?
3

A Toolchain for Synthesizing and Validating Safety Architec..:

Gil Dantas, Yuri ; Munaro, Tiziano ; Carlan, Carmen...
SN Computer Science.  4 (2023)  4 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
4

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/..
 
?
5

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..
 
?
6

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/..
 
?
7

Preface for the special issue in homage to Martin Hofmann P..:

Hoffmann, Jan ; Sannella, Donald ; Schöpp, Ulrich
Mathematical Structures in Computer Science.  32 (2022)  6 - p. 682-684 , 2022
Link: https://doi.org/10.1017/..
 
?
8

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..
 
?
9

A Category Theoretic View of Contextual Types: From Simple ..:

Hu, Jason Z. S. ; Pientka, Brigitte ; Schöpp, Ulrich
ACM Transactions on Computational Logic.  23 (2022)  4 - p. 1-36 , 2022
Link: https://doi.org/10.1145/..
 
?
10

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/..
 
?
11

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/..
 
?
12

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..
 
?
13

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..
 
?
14

Toward Embodied Intelligence: Smart Things on the Rise:

Broering, Arne ; Niedermeier, Christoph ; Olaru, Ioana...
Computer.  54 (2021)  7 - p. 57-68 , 2021
Link: https://doi.org/10.1109/..
 
?
15

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/..
 
1-15