A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “memory safety” 3

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications
2022 IT Professional article Computer Science Software Testing and Debugging Techniques

Alexander Hück, Sebastian Kreutzer, Joachim Protze, Jan-Patrick Lehr, Christian H Bischof, Christian Terboven, +1 more

2

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
Enhancing Blockchain Scalability in Power Systems Through Ultra-Fast Second-Layer Channel with Deterministic State Integrity
2026 RWTH Publications (RWTH Aachen) article Computer Science Blockchain Technology Applications and Security Open access

Roua Hamila, César Andrés Cazal, Md. Razaul Haque Subho, Ferdinanda Ponci, Thomas Rose, Antonello Monti

0

citations

3 results