Norbert Schirmer

Statistics

Publications

Citations

H-Index

Active since

2004

Affiliations

German Research Centre for Artificial Intelligence(Current)

Technical University of Munich

Saarland University

Norbert Schirmer is an author at German Research Centre for Artificial Intelligence specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSoftware DesignAutomated Reasoning

Publications per year

2004–2009

Publications

Balancing the Load

Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach et al. · Journal of Automated Reasoning · 2009 · 51 citations

Load Balancing (Computing), Line Balancing, Engineering +6

Implementation Correctness of a Real-Time Operating System

Matthias Daum, Norbert Schirmer, Mareike Schmidt · 2009 · 20 citations

Engineering, Verification, Software Analysis +22

State Spaces — The Locale Way

Norbert Schirmer, Makarius Wenzel · Electronic Notes in Theoretical Computer Science · 2009 · 12 citations · Full text

Engineering, Verification, Computer-aided Verification +21

Analysing the Java package/access concepts in Isabelle/HOL

Norbert Schirmer · Concurrency and Computation Practice and Experience · 2004 · 12 citations

Engineering, Static Accessibility Tests, Verification +21

1–4 of 4