Moritz Kleine

Statistics

Publications

Citations

H-Index

Active since

2009

Affiliations

Fraunhofer Institute for Production Systems and Design Technology(Current)

Moritz Kleine is an author at Fraunhofer Institute for Production Systems and Design Technology specializing in system software, systems engineering, and computer science.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2009–2011

Publications

A CSP-based framework for the specification, verification, and implementation of adaptive systems

Björn Bartels, Moritz Kleine · 2011 · 33 citations

Engineering, Verification, Software Engineering +22

Verifying the Implementation of an Operating System Scheduler

Moritz Kleine, Björn Bartels, Thomas Göthel et al. · 2009 · 12 citations

Engineering, Verification, Computer-aided Verification +22

1–2 of 2