Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. - Ferenc Bujtor; Lev Sorokin; Walter Vogler (ACSD, 2015)

Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. - Robert Lorenz 001; Johannes Metzger; Lev Sorokin (ATAED@Petri Nets/ACSD, 2017)

Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. - Ferenc Bujtor; Lev Sorokin; Walter Vogler (ACM Trans. Embed. Comput. Syst., 2017)

Towards Auditable Distributed Systems. - Lev Sorokin (CoRR, 2022)

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Monitoring Auditable Claims in the Cloud. - Lev Sorokin; Ulrich Schöpp (CoRR, 2023)

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. - Shiva Nejati 001; Lev Sorokin; Damir Safin; Federico Formica; Mohammad Mahdi Mahboob; Claudio Menghi (Inf. Softw. Technol., 2023)

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. - Lev Sorokin; Radouane Bouchekir; Tewodros A. Beyene; Brian Hsuan-Cheng Liao; Adam Molin (EDCC Workshops, 2024)

Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines. - Lev Sorokin; Niklas Kerscher (DeepTest@ICSE, 2024)

OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems. - Lev Sorokin; Tiziano Munaro; Damir Safin; Brian Hsuan-Cheng Liao; Adam Molin (ICSE Companion, 2024)

CyberDS: Auditable Monitoring in the Cloud. - Lev Sorokin; Ulrich Schöpp (SAFECOMP, 2024)

Can search-based testing with pareto optimization effectively cover failure-revealing test inputs? - Lev Sorokin; Damir Safin; Shiva Nejati 001 (Empir. Softw. Eng., 2025)

Simulator Ensembles for Trustworthy Autonomous Driving Testing. - Lev Sorokin; Matteo Biagiola; Andrea Stocco 001 (CoRR, 2025)

Automated Factual Benchmarking for In-Car Conversational Systems using Large Language Models. - Rafael Giebisch; Ken E. Friedl; Lev Sorokin; Andrea Stocco 001 (CoRR, 2025)