Tewodros Beyene

June 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene and Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details DOI BIB

2019 Verification of Ada Programs with AdaHorn Tewodros Beyene, Christian Herrera and Vivek Nigam Ada User Journal, 40(2):103-108, 2019. Details BIB

2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene and Harald Rueß In Formal Methods, pages 679-685, Cham, Springer International Publishing. Details BIB

2016 Efficient CTL Verification via Horn Constraints Solving Tewodros Beyene, Corneliu Popeea and Andrey Rybalchenko In HCVS@ETAPS, Details BIB

2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan, Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, IEEE. Details DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Tewodros Beyene

Publications