Felix Reimann

Publications

114

Citations

H-Index

2008

Active since

Affiliations

Friedrich-Alexander-Universität Erlangen-Nürnberg(Current)

Technische Universität Dresden

Felix Reimann is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in systems engineering, computer engineering, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringVerificationEmbedded SystemsProgram AnalysisSoftware AnalysisFormal VerificationComputer Architecture

Publications per year

2008–2023

Publications

Symbolic voter placement for dependability-aware system synthesis

Felix Reimann, Michael Glaβ, Martin Lukasiewycz et al. · 2008 · 20 citations

Engineering, Verification, Computer Architecture +21

Influence of pulp characteristics on the properties of alkali cellulose

Catharina Fechter, Steffen Fischer, Felix Reimann et al. · Cellulose · 2020 · 17 citations · Full text

Automatic Optimization of Redundant Message Routings in Automotive Networks

Fedor Smirnov, Felix Reimann, Jürgen Teich et al. · 2018 · 14 citations

Optimization Extension, Network Routing Algorithm, Strict Reliability Requirements +13

The economics of speed choice and control in the presence of driverless vehicle cruising and parking-as-a-substitute-for-cruising

Stefan Tscharaktschiew, Felix Reimann · Transportation Research Part B Methodological · 2023 · 14 citations · Full text

Transportation Planning, Road Traffic Control, Driverless Vehicle +9

Automatic success tree-based reliability analysis for the consideration of transient and permanent faults

Hananeh Aliee, Michael Glaß, Felix Reimann et al. · Design, Automation, and Test in Europe · 2013 · 13 citations

Success Tree, Success Tree Analysis, Software Reliability Testing +25

Rows per page

1–5 of 8