Concepedia

Marc Schlickling

MS

Statistics

Publications

4

Citations

282

H-Index

4

Active since

2007

Affiliations

Saarland University(Current)

AbsInt (Germany)

Marc Schlickling is an author at Saarland University specializing in computer science, computer engineering, and timing analysis.

Publications per year

2007–2018

4

Publications

4

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems

Reinhard Wilhelm, Daniel Grund, Jan Reineke et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2009 · 230 citations · Full text

Engineering, Computer Engineering, Computer Science +16

CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler

Daniel L. Kastner, Jörg Barrho, Ulrich Wünsche et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2018 · 26 citations · Full text

Computing, Computer Engineering, Computer Science +17

Semi-automatic derivation of timing models for WCET analysis

Marc Schlickling, Markus Pister · 2010 · 13 citations

Engineering, Computer Engineering, Computer Science +17

A Framework for Static Analysis of VHDL Code

Marc Schlickling, Markus Pister · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–4 of 4