Input Elimination and Abstraction in Model Checking. - Sela Mador-Haim; Limor Fix (FMCAD, 1998)

The ForSpec Temporal Logic: A New Temporal Property-Specification Language. - Roy Armoni; Limor Fix; Alon Flaisher; Rob Gerth; Boris Ginsburg; Tomer Kanza; Avner Landver; Sela Mador-Haim; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Yael Zbar (TACAS, 2002)

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. - Marcelo Glusman; Gila Kamhi; Sela Mador-Haim; Ranan Fraer; Moshe Y. Vardi (TACAS, 2003)

Formal Verification of Backward Compatibility of Microcode. - Tamarah Arons; Elad Elster; Limor Fix; Sela Mador-Haim; Michael Mishaeli; Jonathan Shalev; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Lenore D. Zuck (CAV, 2005)

Generating Litmus Tests for Contrasting Memory Consistency Models. - Sela Mador-Haim; Rajeev Alur; Milo M. K. Martin (CAV, 2010)

Litmus tests for comparing memory consistency models: how long do they need to be? - Sela Mador-Haim; Rajeev Alur; Milo M. K. Martin (DAC, 2011)

An Axiomatic Memory Model for POWER Multiprocessors. - Sela Mador-Haim; Luc Maranget; Susmit Sarkar; Kayvan Memarian; Jade Alglave; Scott Owens; Rajeev Alur; Milo M. K. Martin; Peter Sewell; Derek Williams (CAV, 2012)

TRANSIT: specifying protocols with concolic snippets. - Abhishek Udupa; Arun Raghavan; Jyotirmoy V. Deshmukh; Sela Mador-Haim; Milo M. K. Martin; Rajeev Alur (PLDI, 2013)

"Comparative Prints Suite" of the United States House of Representatives: NLP for Tracking Changes in Bills and Laws. - Ari Hershowitz; Sela Mador-Haim (JURIX, 2023)

Executing United States Bills into Law: A Working Application in the United States House. - Sela Mador-Haim; Ari Hershowitz (JURIX, 2023)