Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Tewodros A. Beyene
Observed names:
Beyene, Tewodros A.,
Tewodros Beyene
Institutions:
Fortiss,
Technical University of Munich
Observed institutions:
Fortiss,
Technical University of Munich
OpenAlex ID:
A5086773616
Solving Existentially Quantified Horn Clauses
2013
·
Tewodros A. Beyene
, Corneliu Popeea
, et al.
·
Lecture notes in computer science
·
87
PDF
A constraint-based approach to solving games on infinite graphs
2014
·
Tewodros Beyene
, Swarat Chaudhuri
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
81
A constraint-based approach to solving games on infinite graphs
2014
·
Tewodros Beyene
, Swarat Chaudhuri
, et al.
·
ACM SIGPLAN Notices
·
16
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
2023
·
Saddek Bensalem
, Panagiotis Katsaros
, et al.
·
Lecture notes in computer science
·
11
PDF
CTL+FO verification as constraint solving
2014
·
Tewodros A. Beyene
, Marc Brockschmidt
, et al.
·
International workshop on Model Checking Software
·
9
Integrated Formal Methods for Constructing Assurance Cases
2016
·
Carmen Cârlan
, Tewodros A. Beyene
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
7
Rule-Based Safety Evidence for Neural Networks
2020
·
Tewodros A. Beyene
, Amit Sahu
·
Lecture notes in computer science
·
6
Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus
2024
·
Natarajan Shankar
, Minyoung Kim
, et al.
·
IEEE/AIAA Digital Avionics Systems Conference (DASC)
·
5
CyberGSN: A Semi-formal Language for Specifying Safety Cases
2021
·
Tewodros A. Beyene
, Carmen Carlan
·
International Conference on Dependable Systems and Networks workshops
·
5
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
2024
·
Lev Sorokin
, Radouane Bouchekir
, et al.
·
Communications in computer and information science
·
4
PDF
Evidential and Continuous Integration of Software Verification Tools
2018
·
Tewodros A. Beyene
, Harald Ruess
·
Lecture notes in computer science
·
3
Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis
2025
·
Radouane Bouchekir
, Fathiyeh Faghih
, et al.
·
International Conference on Dependable Systems and Networks workshops
·
2
Recursive Games for Compositional Program Synthesis
2016
·
Tewodros A. Beyene
, Swarat Chaudhuri
, et al.
·
Lecture notes in computer science
·
2
Temporal Program Verification and Synthesis as Horn Constraints Solving
2015
·
Tewodros A. Beyene
·
2
CTL+FO Verification as Constraint Solving
2014
·
Beyene, Tewodros A.
, Brockschmidt, Marc
, et al.
·
arXiv (Cornell University)
·
1
PDF
Verification of Ada Programs with AdaHorn
2020
·
Tewodros A. Beyene
, Christian Herrera
, et al.
·
ACM SIGAda Ada Letters
Constraint-based verification of imperative programs
2011
·
Tewodros A. Beyene
·
Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)
PDF
Show more works
View as search
Works count:
18
Citation count:
241
H-index:
6
I10-index:
4
Year
Topic
Type
