1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Graded Semantics of Nominal Systems
Hannes Schulze, Lutz Schröder, Üsame Cengiz
Nominal automata models and transition systems serve as formalisms for languages and processes carrying data, and as such relate closely to classical register-based models. The par…
cs.CR2023★ 1 cited
As if Time Had Stopped -- Checking Memory Dumps for Quasi-Instantaneous Consistency
Jenny Ottmann, Üsame Cengiz, Frank Breitinger +1
Memory dumps that are acquired while the system is running often contain inconsistencies like page smearing which hamper the analysis. One possibility to avoid inconsistencies is t…