Lev Sorokin

According to our database, Lev Sorokin authored at least 10 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines.

Lev Sorokin, Niklas Kerscher

CoRR, 2024

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

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.

Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi

Inf. Softw. Technol., November, 2023

Monitoring Auditable Claims in the Cloud.

Lev Sorokin, Ulrich Schöpp

CoRR, 2023

OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems.

Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin

CoRR, 2023

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, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2022

Towards Auditable Distributed Systems.

Lev Sorokin

CoRR, 2022

2017

Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting.

Ferenc Bujtor, Lev Sorokin, Walter Vogler

ACM Trans. Embed. Comput. Syst., 2017

Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations.

Robert Lorenz, Johannes Metzger, Lev Sorokin

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2015

Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing.

Ferenc Bujtor, Lev Sorokin, Walter Vogler

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015