Specification-based testing for refinement. - Temesghen Kahsai; Markus Roggenbach; Bernd-Holger Schlingloff (SEFM, 2007)

Implementing Spi Calculus Using Nominal Techniques. - Temesghen Kahsai; Marino Miculan (CiE, 2008)

Specification-Based Testing for Software Product Lines. - Temesghen Kahsai; Markus Roggenbach; Bernd-Holger Schlingloff (SEFM, 2008)

Property Preserving Refinement for Csp-Casl. - Temesghen Kahsai; Markus Roggenbach (WADT, 2008)

Property preserving development and testing for CSP-CASL. - Temesghen Kahsai (2009)

Instantiation-Based Invariant Discovery. - Temesghen Kahsai; Yeting Ge; Cesare Tinelli (NASA Formal Methods, 2011)

PKind: A parallel k-induction based model checker - Temesghen Kahsai; Cesare Tinelli (PDMC, 2011)

Incremental Verification with Mode Variable Invariants in State Machines. - Temesghen Kahsai; Pierre-Loïc Garoche; Cesare Tinelli; Mike Whalen (NASA Formal Methods, 2012)

Invariant stream generators using automatic abstract transformers based on a decidable logic - Pierre-Loïc Garoche; Temesghen Kahsai; Cesare Tinelli (CoRR, 2012)

Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. - Pierre-Loïc Garoche; Temesghen Kahsai; Cesare Tinelli (NASA Formal Methods, 2013)

On the whereabouts of CSP-CASL - A survey. - Andy Gimblett; Temesghen Kahsai; Liam O'Reilly; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Testing-Based Compiler Validation for Synchronous Languages. - Pierre-Loïc Garoche; Falk Howar; Temesghen Kahsai; Xavier Thirioux (NASA Formal Methods, 2014)

Synthesizing Modular Invariants for Synchronous Code. - Pierre-Loïc Garoche; Arie Gurfinkel; Temesghen Kahsai (HCVS, 2014)

The SeaHorn Verification Framework. - Arie Gurfinkel; Temesghen Kahsai; Anvesh Komuravelli; Jorge A. Navas (CAV (1), 2015)

Verifying the Safety of a Flight-Critical System. - Guillaume Brat; David H. Bushnell; Misty D. Davies; Dimitra Giannakopoulou; Falk Howar; Temesghen Kahsai (FM, 2015)

Finding Inconsistencies in Programs with Loops. - Temesghen Kahsai; Jorge A. Navas; Dejan Jovanovic; Martin Schäf (LPAR, 2015)

Compilation of synchronous observers as code contracts. - Arnaud Dieumegard; Pierre-Loïc Garoche; Temesghen Kahsai; Alice Taillar; Xavier Thirioux (SAC, 2015)

SeaHorn: A Framework for Verifying C Programs (Competition Contribution). - Arie Gurfinkel; Temesghen Kahsai; Jorge A. Navas (TACAS, 2015)

Algorithmic logic-based verification. - Arie Gurfinkel; Temesghen Kahsai; Jorge A. Navas (ACM SIGLOG News, 2015)

JayHorn: A Framework for Verifying Java programs. - Temesghen Kahsai; Philipp Rümmer; Huascar Sanchez; Martin Schäf (CAV (1), 2016)

CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. - Adrien Champion; Arie Gurfinkel; Temesghen Kahsai; Cesare Tinelli (SEFM, 2016)

JDart: A Dynamic Symbolic Analysis Framework. - Kasper Søe Luckow; Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Temesghen Kahsai; Zvonimir Rakamaric; Vishwanath Raman (TACAS, 2016)

Synthesizing Ranking Functions from Bits and Pieces. - Caterina Urban; Arie Gurfinkel; Temesghen Kahsai (TACAS, 2016)

Hierarchical State Machines as Modular Horn Clauses. - Pierre-Loïc Garoche; Temesghen Kahsai; Xavier Thirioux (HCVS@ETAPS, 2016)

Resource Contracts for Java. - Rody Kersten; Martin Schäf; Temesghen Kahsai (ACM SIGSOFT Softw. Eng. Notes, 2016)

Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. - Malte Mues; Falk Howar; Kasper Søe Luckow; Temesghen Kahsai; Zvonimir Rakamaric (ACM SIGSOFT Softw. Eng. Notes, 2016)

Automated analysis of Stateflow models. - Hamza Bourbouh; Pierre-Loïc Garoche; Christophe Garion; Arie Gurfinkel; Temesghen Kahsai; Xavier Thirioux (LPAR, 2017)

Quantified Heap Invariants for Object-Oriented Programs. - Temesghen Kahsai; Rody Kersten; Philipp Rümmer; Martin Schäf (LPAR, 2017)

Executable Counterexamples in Software Model Checking. - Jeffrey Gennari; Arie Gurfinkel; Temesghen Kahsai; Jorge A. Navas; Edward J. Schwartz (VSTTE, 2018)

Reachability Analysis for AWS-Based Networks. - John Backes; Sam Bayless; Byron Cook; Catherine Dodge; Andrew Gacek; Alan J. Hu; Temesghen Kahsai; Bill Kocik; Evgenii Kotelnikov; Jure Kukovec; Sean McLaughlin; Jason Reed 004; et al. (CAV (2), 2019)

JayHorn: A Java Model Checker - (Competition Contribution). - Temesghen Kahsai; Philipp Rümmer; Martin Schäf (TACAS (3), 2019)

Selected Extended Papers of NFM 2017: Preface. - Clark W. Barrett; Temesghen Kahsai (J. Autom. Reason., 2019)

Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. - Dennis Abts; Jonathan Ross; Jonathan Sparling; Mark Wong-VanHaren; Max Baker; Tom Hawkins; Andrew Bell; John Thompson; Temesghen Kahsai; Garrin Kimmell; Jennifer Hwang; Rebekah Leslie-Hurd; et al. (ISCA, 2020)

Unlocking the Power of Environment Assumptions for Unit Proofs. - Siddharth Priya; Temesghen Kahsai; Arie Gurfinkel (SEFM, 2024)

Verified Foundations for Differential Privacy. - Markus de Medeiros; Muhammad Naveed; Tancrède Lepoint; Temesghen Kahsai; Tristan Ravitch; Stefan Zetzsche; Anjali Joshi; Joseph Tassarotti; Aws Albarghouthi; Jean-Baptiste Tristan (Proc. ACM Program. Lang., 2025)