Lev Sorokin

Publications

September 2024 CyberDS: Auditable Monitoring in the Cloud Lev Sorokin and Ulrich Schöpp In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of LNCS, pages 15, Springer, Cham. Details URL BIB
April 2024 OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems Lev Sorokin, Tiziano Munaro, Safin Damir, Brian Hsuan-Cheng Liao and Adam Molin volume , , , edition, April 2024. , . Details URL DOI BIB
April 2024 Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines Lev Sorokin volume , , , Companion Conference Proceedings ICSE 2024 edition, April 2024. , . Details URL BIB
March 2024 Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus Lev Sorokin, Radouane Bouchekir, Tewodros Beyene, Brian Hsuan-Cheng Liao and Adam Molin In European Dependable Computing Conference, Details URL BIB

In addition to the cookies necessary for the operation and smooth functioning of our website, fortiss (see Imprint) uses marketing cookies to analyse and improve the website content. With the help of these cookies, user flow can be analyzed and assessed through pseudonymized data from website users. The types of cookies are described in the Privacy Policy. There you can change your consent at any time.

Mandatory

These cookies are needed for a smooth operation of our website.

Name	Purpose	Lifetime	Type	Provider
CookieConsent	Saves your consent to using cookies.	1 year	HTML	Website

Marketing

With the help of these cookies we strive to improve our offer for our users. By means of anonymized data of website users we can optimize the user flow. This enables us to improve ads and website content.

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