| |
| 2008 | ||
|---|---|---|
| 5 | EE | Stefan Maus, Michal Moskal, Wolfram Schulte: Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298 |
| 4 | EE | Michal Moskal: Rocket-Fast Proof Checking for SMT Solvers. TACAS 2008: 486-500 |
| 3 | EE | 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 | EE | Mikolás Janota, Radu Grigore, Michal Moskal: Reachability analysis for annotated code. SAVCBS 2007: 23-30 |
| 1 | EE | Radu Grigore, Michal Moskal: Edit and verify CoRR abs/0708.0713: (2007) |
| 1 | Radu Grigore | [1] [2] |
| 2 | Mikolás Janota | [2] |
| 3 | Joseph Kiniry (Joseph R. Kiniry) | [3] |
| 4 | Jakub Lopuszanski | [3] |
| 5 | Stefan Maus | [5] |
| 6 | Wolfram Schulte | [5] |