K. Buchacker

Publications

109

Citations

H-Index

2002

Active since

Affiliations

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

K. Buchacker is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in reliability engineering, systems engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringSoftware EngineeringReliability EngineeringVerification

Publications per year

2002–2004

Publications

Framework for testing the fault-tolerance of systems including OS and network aspects

K. Buchacker, Volkmar Sieh · 2002 · 57 citations

Engineering, User Mode Linux, Verification +24

Modeling with extended fault trees

K. Buchacker · 2002 · 36 citations

Petri Net, Engineering, Industrial Engineering +25

Reproducible dependability benchmarking experiments based on unambiguous benchmark setup descriptions

K. Buchacker, Mario Dal Cin, H.-J. Hoxer et al. · 2004 · 16 citations

Software Maintenance, Performance Benchmarking, Engineering +29

Rows per page

1–3 of 3