Следене
Temesghen Kahsai
Temesghen Kahsai
Principal Applied Scientist @ Amazon
Потвърден имейл адрес: amazon.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
The SeaHorn verification framework
A Gurfinkel, T Kahsai, A Komuravelli, JA Navas
International Conference on Computer Aided Verification, 343-361, 2015
4082015
PKIND: A parallel k-induction based model checker
T Kahsai, C Tinelli
Arxiv preprint arXiv:1111.0372, 2011
1052011
JayHorn: A Framework for Verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
1022016
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
1012016
Reachability analysis for AWS-based networks
J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
722019
SeaHorn: A framework for verifying C programs (competition contribution)
A Gurfinkel, T Kahsai, JA Navas
International Conference on Tools and Algorithms for the Construction and …, 2015
662015
CoCoSpec: A mode-aware contract language for reactive systems
A Champion, A Gurfinkel, T Kahsai, C Tinelli
International Conference on Software Engineering and Formal Methods, 347-366, 2016
532016
Instantiation-based invariant discovery
T Kahsai, Y Ge, C Tinelli
NASA Formal Methods, 192-206, 2011
472011
Synthesizing ranking functions from bits and pieces
C Urban, A Gurfinkel, T Kahsai
International Conference on Tools and Algorithms for the Construction and …, 2016
442016
Verifying the safety of a flight-critical system
G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
412015
Incremental invariant generation using logic-based automatic abstract transformers
PL Garoche, T Kahsai, C Tinelli
NASA Formal Methods Symposium, 139-154, 2013
312013
Specification-Based Testing for Software Product Lines
T Kahsai, M Roggenbach, BH Schlingloff
Software Engineering and Formal Methods, 2008. SEFM'08. Sixth IEEE …, 2008
242008
Specification-based testing for refinement
T Kahsai, M Roggenbach, BH Schlingloff
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
242007
Quantified heap invariants for object-oriented programs
T Kahsai, R Kersten, P Rümmer, M Schäf
LPAR-21, May 7–12, 2017, Maun, Botswana, 368-384, 2017
212017
Testing-based compiler validation for synchronous languages
PL Garoche, F Howar, T Kahsai, X Thirioux
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
202014
JayHorn: A Java Model Checker: (Competition Contribution)
T Kahsai, P Rümmer, M Schäf
International Conference on Tools and Algorithms for the Construction and …, 2019
172019
Incremental verification with mode variable invariants in state machines⋆
T Kahsai, PL Garoche, C Tinelli, M Whalen
17*
Synthesizing modular invariants for synchronous code
PL Garoche, A Gurfinkel, T Kahsai
arXiv preprint arXiv:1412.1152, 2014
162014
Automated analysis of Stateflow models
H Bourbouh, PL Garoche, C Garion, A Gurfinkel, T Kahsai, X Thirioux
21st International conference on logic for programming, artificial …, 2017
142017
Executable counterexamples in software model checking
J Gennari, A Gurfinkel, T Kahsai, JA Navas, EJ Schwartz
Verified Software. Theories, Tools, and Experiments: 10th International …, 2018
132018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20