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: Sokolsky:Oleg
Contributed to:
2015
2010
2009
2009
2006
2005
2005
2003
200320032002
20001999
1996199619951994
1994
2015Wrote 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.