13 citations · 39 across the 9 of their papers we have counts for
4 papers · 1 filter
Diagnosing Generalization Boundaries in AI-Based Vulnerability Detection via Calibrated Embedding Distances
Konstantin Ievtushenko, Ralf Lämmel, Jan Jürjens
High benchmark scores in learning-based vulnerability detection mask severe degradation under distribution shifts. This paper demonstrates that calibrated embedding geometry expose…
Reconstruction as a service: a data space for off-site image reconstruction in magnetic particle imaging
Anselm von Gladiss, Amir Shayan Ahmadian, Jan Jürjens
Magnetic particle imaging (MPI) is an emerging medical imaging modality which offers a unique combination of high temporal and spatial resolution, sensitivity and biocompatibility.…
Checking Security Compliance between Models and Code
Katja Tuma, Sven Peldszus, Daniel Strüber +2
It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mecha…
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
Jan Jürjens, Eduardo B. Fernandez, Robert B. France +2
We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling La…