Oleg Sokolsky

Available identifiers

zbMath Open sokolsky.olegWikidataQ58609490 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
https://portal.mardi4nfdi.de/entity/Q2760243	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4499182	2001-03-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oleg Sokolsky