Speculation for Parallelizing Runtime Checks. - Martin Süßkraut; Stefan Weigert; Ute Schiffel; Thomas Knauth; Martin Nowack; Diogo Becker de Brum; Christof Fetzer (SSS, 2009)

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack. - Dave Christie; Jae-Woong Chung; Stephan Diestelhorst; Michael Hohmuth; Martin Pohlack; Christof Fetzer; Martin Nowack; Torvald Riegel; Pascal Felber; Patrick Marlier; Etienne Rivière (EuroSys, 2010)

Brief Announcement: Hybrid Time-Based Transactional Memory. - Pascal Felber; Christof Fetzer; Patrick Marlier; Martin Nowack; Torvald Riegel (DISC, 2010)

Klimarisikomanagement mit dem CO2-Navigator. - Edeltraud Günther; Christian Manthey; Gabriel Weber; Martin Nowack; Henry Dannenberg; Wilfried Ehrenfeld (HMD Prax. Wirtsch., 2010)

The Velox Transactional Memory Stack. - Yehuda Afek; Ulrich Drepper; Pascal Felber; Christof Fetzer; Vincent Gramoli; Michael Hohmuth; Etienne Rivière; Per Stenström; Osman S. Unsal; Walther Maldonado; Derin Harmanci; Patrick Marlier; et al. (IEEE Micro, 2010)

Optimizing hybrid transactional memory: the importance of nonspeculative operations. - Torvald Riegel; Patrick Marlier; Martin Nowack; Pascal Felber; Christof Fetzer (SPAA, 2011)

TM-dietlibc: A TM-aware Real-World System Library. - Vesna Smiljkovic; Martin Nowack; Neboja Miletic; Tim Harris 001; Osman S. Ünsal; Adrián Cristal; Mateo Valero (IPDPS, 2013)

Brief announcement: between all and nothing - versatile aborts in hardware transactional memory. - Stephan Diestelhorst; Martin Nowack; Michael F. Spear; Christof Fetzer (SPAA, 2013)

Safe Exception Handling with Transactional Memory. - Pascal Felber; Christof Fetzer; Vincent Gramoli; Derin Harmanci; Martin Nowack (Transactional Memory, 2015)

Parallel Symbolic Execution: Merging In-Flight Requests. - Martin Nowack; Katja Tietze; Christof Fetzer (Haifa Verification Conference, 2015)

Fine-Grain Memory Object Representation in Symbolic Execution. - Martin Nowack (ASE, 2019)

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? - Timotej Kapus; Martin Nowack; Cristian Cadar (TAP@FM, 2019)

Running symbolic execution forever. - Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2020)

KLEE symbolic execution engine in 2019. - Cristian Cadar; Martin Nowack (Int. J. Softw. Tools Technol. Transf., 2021)

A Deterministic Memory Allocator for Dynamic Symbolic Execution. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ECOOP, 2022)

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (Dagstuhl Artifacts Ser., 2022)

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2023)

Sparse Symbolic Loop Execution (Registered Report). - Frank Busse; Martin Nowack; Cristian Cadar (FUZZING, 2024)

Towards Effective Symbolic Execution. - Martin Nowack (2024)