Statistics
Publications
2
Citations
148
H-Index
2
Active since
2009
Affiliations
Microsoft (United States)(Current)
Markus Dahlweid is an author at Microsoft (United States) specializing in software testing, systems engineering, and computer science.
Publications per year
2009–2010
2
2
VCC: Contract-based modular verification of concurrent C
Markus Dahlweid, Michał Moskal, Thomas Santen et al. · 2009 · 87 citations
Engineering, Hardware Verification Language, Verification +23
Components, platforms and possibilities
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid et al. · 2010 · 61 citations
1–2 of 2