BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Germany
1 × Hungary
1 × Poland
1 × Republic of China
1 × The Netherlands
4 × France
7 × USA
Collaborated with:
I.Lee S.A.Smolka H.S.Hong D.Clarke R.Cleaveland P.M.Lewis H.Ural B.Kim S.Kannan S.Zhang A.Wang P.Basu B.T.Loo O.Mondragon A.Q.Gates H.Mendoza A.Philippou K.Christou L.Feng L.T.X.Phan S.D.Cha R.Alur F.Ivancic J.Kim H.Ben-Abdallah H.Xie D.You S.Rayadurgam M.P.E.Heimdahl J.Komp K.Bhargavan C.A.Gunter M.Kim D.Obradovic M.Viswanathan Y.Dong X.Du Y.S.Ramakrishna C.R.Ramakrishnan I.V.Ramakrishnan E.W.Stark D.S.Warren
Talks about:
model (10) check (5) base (5) system (4) specif (4) softwar (3) generat (3) concurr (3) analysi (3) verif (3)

Person: Oleg Sokolsky

DBLP DBLP: Sokolsky:Oleg

Contributed to:

DATE 20152015
DAC 20102010
Ada-Europe 20092009
PADL 20092009
TACAS 20062006
SCAM 20052005
SEKE 20052005
ICSE 20032003
LCTES 20032003
TACAS 20032003
TACAS 20022002
ISSTA 20002000
TACAS 19991999
CAV 19961996
TACAS 19961996
CAV 19951995
CAV 19941994
LICS 19941994
ASE 20152015

Wrote 20 papers:

DATE-2015-KimFPSL #framework #implementation #modelling #platform #verification
Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DAC-2010-LeeS #physics
Medical cyber physical systems (IL, OS), pp. 743–748.
AdaEurope-2009-SokolskyLC #algebra #modelling
Process-Algebraic Interpretation of AADL Models (OS, IL, DC), pp. 222–236.
PADL-2009-WangBLS #declarative #network #verification
Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.
TACAS-2006-SokolskyKL #graph #similarity
Simulation-Based Graph Similarity (OS, SK, IL), pp. 426–440.
SCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.
SEKE-2005-MondragonGMS #generative #monitoring #runtime #specification
Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.
ICSE-2003-HongCLSU #data flow #model checking #testing
Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.
LCTES-2003-AlurIKLS #embedded #generative #hybrid #modelling
Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
TACAS-2003-SokolskyPLC #analysis #modelling #power management
Modeling and Analysis of Power-Aware Systems (OS, AP, IL, KC), pp. 409–425.
TACAS-2002-HongLSU #generative #logic #test coverage
A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.
ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation
Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.
CAV-1996-CleavelandLSS #concurrent #development
The Concurrency Factory: A Development Environment for Concurrent Systems (RC, PML, SAS, OS), pp. 398–401.
TACAS-1996-CleavelandLSS #concurrent #development
The Concurrency Factory Software Development Environment (RC, PML, SAS, OS), pp. 391–395.
CAV-1995-SokolskyS #model checking #realtime
Local Model Checking for Real-Time Systems (OS, SAS), pp. 211–224.
CAV-1994-SokolskyS #calculus #incremental #model checking #μ-calculus
Incremental Model Checking in the Modal μ-Calculus (OS, SAS), pp. 351–363.
LICS-1994-ZhangSS #calculus #complexity #model checking #on the #parallel #μ-calculus
On the Parallel Complexity of Model Checking in the Modal μ-Calculus (SZ, OS, SAS), pp. 154–163.
ASE-2015-YouRHKKS #implementation #modelling #testing
Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.