Temesghen Kahsai

According to our database, Temesghen Kahsai authored at least 35 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

IACR Cryptol. ePrint Arch., 2024

Unlocking the Power of Environment Assumptions for Unit Proofs.

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2020

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, Michael Bye, E. R. Creswick, Matthew Boyd, Mahitha Venigalla, Evan Laforge, Jon Purdy, Purushotham Kamath, Dinesh Maheshwari, Michael Beidler, Geert Rosseel, Omar Ahmad, Gleb Gagarin, Richard Czekalski, Ashay Rane, Sahil Parmar, Jeff Werner, Jim Sproch, Adrián Macías, Brian Kurtz

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

2019

Selected Extended Papers of NFM 2017: Preface.

Clark W. Barrett, Temesghen Kahsai

J. Autom. Reason., 2019

JayHorn: A Java Model Checker - (Competition Contribution).

Temesghen Kahsai, Philipp Rümmer, Martin Schäf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Executable Counterexamples in Software Model Checking.

Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

Quantified Heap Invariants for Object-Oriented Programs.

Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf

Proceedings of the LPAR-21, 2017

Automated analysis of Stateflow models.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Proceedings of the LPAR-21, 2017

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

Resource Contracts for Java.

Rody Kersten, Martin Schäf, Temesghen Kahsai

ACM SIGSOFT Softw. Eng. Notes, 2016

Hierarchical State Machines as Modular Horn Clauses.

Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

Synthesizing Ranking Functions from Bits and Pieces.

Caterina Urban, Arie Gurfinkel, Temesghen Kahsai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

CoCoSpec: A Mode-Aware Contract Language for Reactive Systems.

Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

JayHorn: A Framework for Verifying Java programs.

Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Algorithmic logic-based verification.

Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas

ACM SIGLOG News, 2015

SeaHorn: A Framework for Verifying C Programs (Competition Contribution).

Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Compilation of synchronous observers as code contracts.

Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Finding Inconsistencies in Programs with Loops.

Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Verifying the Safety of a Flight-Critical System.

Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai

Proceedings of the FM 2015: Formal Methods, 2015

The SeaHorn Verification Framework.

Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Synthesizing Modular Invariants for Synchronous Code.

Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

Testing-Based Compiler Validation for Synchronous Languages.

Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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

Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers.

Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli

Proceedings of the NASA Formal Methods, 2013

2012

Invariant stream generators using automatic abstract transformers based on a decidable logic

Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli

CoRR, 2012

Incremental Verification with Mode Variable Invariants in State Machines.

Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen

Proceedings of the NASA Formal Methods, 2012

2011

PKind: A parallel k-induction based model checker

Temesghen Kahsai, Cesare Tinelli

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Instantiation-Based Invariant Discovery.

Temesghen Kahsai, Yeting Ge, Cesare Tinelli

Proceedings of the NASA Formal Methods, 2011

2009

Property preserving development and testing for CSP-CASL.

Temesghen Kahsai

PhD thesis, 2009

2008

Property Preserving Refinement for Csp-Casl.

Temesghen Kahsai, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Specification-Based Testing for Software Product Lines.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Implementing Spi Calculus Using Nominal Techniques.

Temesghen Kahsai, Marino Miculan

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Specification-based testing for refinement.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007