Concepedia

Marco Eilers

ME

2

Publications

48

Citations

2

H-Index

2019

Active since

Affiliations

ETH Zurich(Current)

Marco Eilers is an author at ETH Zurich specializing in hardware security, formal specification, and system software.

ORCID

Top concepts

Publications per year

2019–2020

2

Publications

2

Modular Product Programs

Marco Eilers, Péter Müller, Samuel Hitz · ACM Transactions on Programming Languages and Systems · 2019 · 24 citations · Full text

, , +23

Igloo: soundly linking compositional refinement and separation logic for distributed system verification

Christoph Sprenger, Tobias Klenze, Marco Eilers et al. · Proceedings of the ACM on Programming Languages · 2020 · 24 citations · Full text

Rows per page

1–2 of 2