BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Oleg Sokolsky
SearchCollections
Map detail
Oleg Sokolsky8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOleg SokolskyAOleg SokolskyResearcherMonitoring Assumptions in Assume-Guarantee ContractsWMonitoring Assumptions ...preprint / 2016Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems TechnologiesWProceedings First Works...preprint / 2016Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety AnalysisWMonotonic Safety for Sc...preprint / 2022PAC-Wrap: Semi-Supervised PAC Anomaly DetectionWPAC-Wrap: Semi-Supervis...preprint / 2022iDECODe: In-distribution Equivariance for Conformal Out-of-distribution DetectionWiDECODe: In-distributio...preprint / 2022Confidence Composition for Monitors of Verification AssumptionsWConfidence Composition ...preprint / 2022A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical SystemsWA Framework for Checkpo...preprint / 2022
Person7 links

Oleg Sokolsky

Researcher

PaperMonitoring Assumptions in Assume-Guarantee ContractsAuthorship / preprint / 2016PaperProceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems TechnologiesAuthorship / preprint / 2016PaperMonotonic Safety for Scalable and Data-Efficient Probabilistic Safety AnalysisAuthorship / preprint / 2022PaperPAC-Wrap: Semi-Supervised PAC Anomaly DetectionAuthorship / preprint / 2022PaperiDECODe: In-distribution Equivariance for Conformal Out-of-distribution DetectionAuthorship / preprint / 2022PaperConfidence Composition for Monitors of Verification AssumptionsAuthorship / preprint / 2022PaperA Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical SystemsAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)