3 citations · 3 across the 7 of their papers we have counts for
8 papers
Design and performance of the Fast Beam Condition Monitor for luminosity and background measurement at the CMS Experiment in LHC Run 3
The CMS BRIL Collaboration, Eliana Acurio, Ying An +111
The Fast Beam Condition Monitor (BCM1F) has been used at the CMS Experiment since the first LHC circulating beams in 2008. Originally meant as a beam-induced background monitor for…
Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
Alexander Lauer, Jens Kosiol, Leen Lambers +1
Conflict and dependency analysis is an important static analysis tool that provides an overview of the potential interactions of (graph) transformation rules. This analysis is base…
Proceedings 16th International Workshop on Graph Computation Models
Leen Lambers, Oszkár Semeráth
This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as…
Exploring a Graph-based Approach to Offline Reinforcement Learning for Sepsis Treatment
Taisiya Khakharova, Lucas Sakizloglou, Leen Lambers
Sepsis is a serious, life-threatening condition. When treating sepsis, it is challenging to determine the correct amount of intravenous fluids and vasopressors for a given patient.…
Taint Analysis for Graph APIs Focusing on Broken Access Control
Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova +1
We present the first systematic approach to static and dynamic taint analysis for Graph APIs focusing on broken access control. The approach comprises the following. We taint nodes…
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
Lara Stoltenow, Barbara König, Sven Schneider +3
We study nested conditions, a generalization of first-order logic to a categorical setting, and provide a tableau-based (semi-decision) procedure for checking (un)satisfiability an…
Initial Conflicts for Transformation Rules with Nested Application Conditions
Leen Lambers, Fernando Orejas
We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in genera…
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Tr…