Oleg Sokolsky -

Registered user since Sun 27 May 2018

Name:Oleg Sokolsky

Affiliation:University of Pennsylvania, USA

Personal website: http://www.cis.upenn.edu/~sokolsky/

Contributions

2024

ESEC/FSE

Author of Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach within the Ideas, Visions and Reflections-track

2023

NFM

Author of Conservative Safety Monitors of Stochastic Dynamical Systems within the NFM 2023-track

2020

ISSTA

Committee Member in Program Committee within the TAV-CPS/IoT-track

2019

ISSTA

Committee Member in Program Committee within the Workshop – TAV-CPS/IoT-track

CREST

Committee Member in Program Committee within the CREST-track

TACAS

Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track

2018

VORTEX

Committee Member in Program Committee within the VORTEX-track