Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jan Dörrenbächer
Observed name:
Dörrenbächer, Jan
Institution:
Saarland University
Observed institution:
Saarland University
OpenAlex ID:
A5006989863
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
2009
·
Matthias Daum
, Jan Dörrenbächer
, et al.
·
Journal of Automated Reasoning
·
27
Model stack for the pervasive verification of a microkernel-based operating system
2008
·
Matthias Daum
, Jan Dörrenbächer
, et al.
·
12
A Verification Approach for System-Level Concurrent Programs
2008
·
Matthias Daum
, Jan Dörrenbächer
, et al.
·
Lecture notes in computer science
·
9
Formal specification and verification of a microkernel
2010
·
Dörrenbächer, Jan
·
5
Show more works
View as search
Works count:
4
Citation count:
53
H-index:
4
I10-index:
2
Year
Topic
Type
