Oleg Sokolsky

Available identifiers

zbMath Open sokolsky.olegDBLP31/4030WikidataQ58609490 ScholiaQ58609490MaRDI QIDQ234683

List of research outcomes

Publication	Date of Publication	Type
T4V: exploring neural network architectures that improve the scalability of neural network verification	2023-08-10	Paper
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators	2022-01-10	Paper
Parameter Invariant Monitoring for Signal Temporal Logic	2018-12-06	Paper
Co-Design of Arbitrated Network Control Systems With Overrun Strategies	2018-12-04	Paper
A Verifiable Language for Programming Real-Time Communication Schedules	2018-06-12	Paper
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems	2017-09-12	Paper
A Family of Resource-Bound Real-Time Process Algebras	2015-07-10	Paper
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control	2014-10-16	Paper
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling	2012-03-13	Paper
Permission to speak: a logic for access control and conformance	2011-01-07	Paper
A process algebraic framework for modeling resource demand and supply	2010-09-10	Paper
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking	2008-08-28	Paper
Resources in process algebra	2007-07-16	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Compositional modeling and refinement for hierarchical hybrid systems	2006-04-28	Paper
Java-MaC: A run-time assurance approach for Java programs	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472251	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4444409	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4417942	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417540	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4552455	2002-09-03	Paper
Hiding resources that can fail: An axiomatic perspective	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536612	2002-06-25	Paper
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP	2002-03-13	Paper
Equivalence and preorder checking for finite-state systems	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4499182	2001-03-06	Paper

Research outcomes over time

This page was built for person: Oleg Sokolsky