| 2011 | DATE | Architectures for online error detection and recovery in multicore processors. | Dimitris Gizopoulos, Mihalis Psarakis, Sarita V. Adve, Pradeep Ramachandran, Siva Kumar Sastry Hari, Daniel J. Sorin, Albert Meixner, Arijit Biswas, Xavier Vera |
| 2011 | SIGMETRICS | An FPGA-based experimental evaluation of microprocessor core error detection with Argus-2. | Patrick J. Eibl, Albert Meixner, Daniel J. Sorin |
| 2008 | DSN | Detouring: Translating software to circumvent hard faults in simple cores. | Albert Meixner, Daniel J. Sorin |
| 2007 | HPCA | Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures. | Albert Meixner, Daniel J. Sorin |
| 2007 | MICRO | Argus: Low-Cost, Comprehensive Error Detection in Simple Cores. | Albert Meixner, Michael E. Bauer, Daniel J. Sorin |
| 2006 | DSN | Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures. | Albert Meixner, Daniel J. Sorin |
| 2005 | ICIAP | Security Enhancement of Visual Hashes Through Key Dependent Wavelet Transformations. | Albert Meixner, Andreas Uhl |
| 2005 | ISCA | Dynamic Verification of Sequential Consistency. | Albert Meixner, Daniel J. Sorin |