Concepedia

Petra R. Maier

PR

Statistics

Publications

2

Citations

32

H-Index

2

Active since

2014

Affiliations

Technical University of Munich(Current)

Petra R. Maier is an author at Technical University of Munich specializing in formal verification, hardware security, and engineering.

Top concepts

EngineeringComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingHardware SecurityFormal VerificationComputer EngineeringComputer ArchitectureFormal Methods

Publications per year

2014–2014

2

Publications

2

Workload- and Instruction-Aware Timing Analysis

Veit B. Kleeberger, Petra R. Maier, Ulf Schlichtmann · 2014 · 22 citations

Engineering, Computer Architecture, Software Engineering +21

System C-based multi-level error injection for the evaluation of fault-tolerant systems

Daniel Mueller-Gritschneder, Petra R. Maier, Marc Greim et al. · 2014 · 10 citations

Engineering, Embedded Sw, Computer Architecture +21

1–2 of 2