Oleg Sokolsky

From MaRDI portal
Person:234683

Available identifiers

zbMath Open sokolsky.olegDBLP31/4030WikidataQ58609490 ScholiaQ58609490MaRDI QIDQ234683

List of research outcomes





PublicationDate of PublicationType
T4V: exploring neural network architectures that improve the scalability of neural network verification2023-08-10Paper
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators2022-01-10Paper
Parameter Invariant Monitoring for Signal Temporal Logic2018-12-06Paper
Co-Design of Arbitrated Network Control Systems With Overrun Strategies2018-12-04Paper
A Verifiable Language for Programming Real-Time Communication Schedules2018-06-12Paper
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems2017-09-12Paper
A Family of Resource-Bound Real-Time Process Algebras2015-07-10Paper
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control2014-10-16Paper
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling2012-03-13Paper
Permission to speak: a logic for access control and conformance2011-01-07Paper
A process algebraic framework for modeling resource demand and supply2010-09-10Paper
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking2008-08-28Paper
Resources in process algebra2007-07-16Paper
Hybrid Systems: Computation and Control2007-05-02Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper
Compositional modeling and refinement for hierarchical hybrid systems2006-04-28Paper
Java-MaC: A run-time assurance approach for Java programs2004-09-09Paper
https://portal.mardi4nfdi.de/entity/Q44722512004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44444092004-01-27Paper
https://portal.mardi4nfdi.de/entity/Q44179422003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44175402003-07-29Paper
https://portal.mardi4nfdi.de/entity/Q45524552002-09-03Paper
Hiding resources that can fail: An axiomatic perspective2002-07-25Paper
https://portal.mardi4nfdi.de/entity/Q45366122002-06-25Paper
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP2002-03-13Paper
Equivalence and preorder checking for finite-state systems2001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q44991822001-03-06Paper

Research outcomes over time

This page was built for person: Oleg Sokolsky