From

Institution

Field

Type

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

Reset

Papers matching “memory safety” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Stochastic Games with Lexicographic Reachability-Safety Objectives
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

20

citations
On the Challenge of Sound Code for Operating Systems
2023 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Logic, programming, and type systems Open access

Jonathan Klimt, Stefan Lankes, Antonello Monti

2

citations
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
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model
2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques

Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more

0

citations
Velvet: Parallel Divide-and-Conquer in Safe Rust
2026 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

Badia Liokouras, Ben van Werkhoven, Rob V. van Nieuwpoort

0

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

7 results