Temesghen Kahsai

42 papers A* 1A 3B 8C 1Misc 1Journal 11Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Verified Foundations for Differential Privacy. Proc. ACM Program. Lang. Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024	B	`conf`	Unlocking the Power of Environment Assumptions for Unit Proofs. SEFM Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
2024	J	`jnl`	Unlocking the Power of Environment Assumptions for Unit Proofs. CoRR Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
2024	J	`jnl`	Verified Foundations for Differential Privacy. CoRR Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024	J	`jnl`	Verified Foundations for Differential Privacy. IACR Cryptol. ePrint Arch. Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2022	—	`ed.`	Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022. HCVS/VPT@ETAPS Geoffrey William Hamilton, Temesghen Kahsai, Maurizio Proietti
2020	A*	`conf`	Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. ISCA 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
2019	—	`conf`	JayHorn: A Java Model Checker - (Competition Contribution). TACAS (3) Temesghen Kahsai, Philipp Rümmer, Martin Schäf
2019	—	`conf`	Reachability Analysis for AWS-Based Networks. CAV (2) 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
2019	J	`jnl`	Selected Extended Papers of NFM 2017: Preface. J. Autom. Reason. Clark W. Barrett, Temesghen Kahsai
2018	—	`conf`	Executable Counterexamples in Software Model Checking. VSTTE Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz
2018	—	`ed.`	Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. HCVS Temesghen Kahsai, Germán Vidal
2017	B	`conf`	Automated analysis of Stateflow models. LPAR Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
2017	—	`ed.`	NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings NFM Clark W. Barrett, Misty D. Davies, Temesghen Kahsai
2017	B	`conf`	Quantified Heap Invariants for Object-Oriented Programs. LPAR Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf
2016	B	`conf`	CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. SEFM Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli
2016	—	`conf`	Hierarchical State Machines as Modular Horn Clauses. HCVS@ETAPS Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
2016	A	`conf`	JDart: A Dynamic Symbolic Analysis Framework. TACAS Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
2016	—	`conf`	JayHorn: A Framework for Verifying Java programs. CAV (1) Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
2016	J	`jnl`	Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric
2016	J	`jnl`	Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes Rody Kersten, Martin Schäf, Temesghen Kahsai
2016	A	`conf`	Synthesizing Ranking Functions from Bits and Pieces. TACAS Caterina Urban, Arie Gurfinkel, Temesghen Kahsai
2015	J	`jnl`	Algorithmic logic-based verification. ACM SIGLOG News Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas
2015	Misc	`conf`	Compilation of synchronous observers as code contracts. SAC Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux
2015	B	`conf`	Finding Inconsistencies in Programs with Loops. LPAR Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf
2015	A	`conf`	SeaHorn: A Framework for Verifying C Programs (Competition Contribution). TACAS Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas
2015	—	`conf`	The SeaHorn Verification Framework. CAV (1) Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas
2015	B	`conf`	Verifying the Safety of a Flight-Critical System. FM Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2015	J	`jnl`	Verifying the Safety of a Flight-Critical System. CoRR Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2014	—	`conf`	Synthesizing Modular Invariants for Synchronous Code. HCVS Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai
2014	—	`conf`	Testing-Based Compiler Validation for Synchronous Languages. NASA Formal Methods Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
2013	—	`conf`	Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. NASA Formal Methods Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli
2013	J	`jnl`	On the whereabouts of CSP-CASL - A survey. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
2012	—	`conf`	Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen
2012	J	`jnl`	Invariant stream generators using automatic abstract transformers based on a decidable logic CoRR Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli
2011	—	`conf`	Instantiation-Based Invariant Discovery. NASA Formal Methods Temesghen Kahsai, Yeting Ge, Cesare Tinelli
2011	—	`conf`	PKind: A parallel k-induction based model checker PDMC Temesghen Kahsai, Cesare Tinelli
2009	—	`—`	Property preserving development and testing for CSP-CASL. Temesghen Kahsai
2008	C	`conf`	Implementing Spi Calculus Using Nominal Techniques. CiE Temesghen Kahsai, Marino Miculan
2008	—	`conf`	Property Preserving Refinement for Csp-Casl. WADT Temesghen Kahsai, Markus Roggenbach
2008	B	`conf`	Specification-Based Testing for Software Product Lines. SEFM Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
2007	B	`conf`	Specification-based testing for refinement. SEFM Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff