 | 2009 |
|---|
| 8 |       | Markus Dahlweid,
Michal Moskal,
Thomas Santen,
Stephan Tobies,
Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C.
ICSE Companion 2009: 429-430 |
| 7 | | Ernie Cohen,
Markus Dahlweid,
Mark A. Hillebrand,
Dirk Leinenbach,
Michal Moskal,
Thomas Santen,
Wolfram Schulte,
Stephan Tobies:
VCC: A Practical System for Verifying Concurrent C.
TPHOLs 2009: 23-42 |
| 6 | | Ernie Cohen,
Michal Moskal,
Stephan Tobies,
Wolfram Schulte:
A Precise Yet Efficient Memory Model For C.
Electr. Notes Theor. Comput. Sci. 254: 85-103 (2009) |
| 2008 |
|---|
| 5 | | Stefan Maus,
Michal Moskal,
Wolfram Schulte:
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
AMAST 2008: 284-298 |
| 4 | | Michal Moskal:
Rocket-Fast Proof Checking for SMT Solvers.
TACAS 2008: 486-500 |
| 3 | | Michal Moskal,
Jakub Lopuszanski,
Joseph R. Kiniry:
E-matching for Fun and Profit.
Electr. Notes Theor. Comput. Sci. 198(2): 19-35 (2008) |
| 2007 |
|---|
| 2 | | Mikolás Janota,
Radu Grigore,
Michal Moskal:
Reachability analysis for annotated code.
SAVCBS 2007: 23-30 |
| 1 | | Radu Grigore,
Michal Moskal:
Edit and verify
CoRR abs/0708.0713: (2007) |
