E-LIB Suche - Ergebnisse für: Schopp, Ulrich

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

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

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

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

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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