The following pages link to Oleg Sokolsky (Q234683):
Displaying 26 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Resources in process algebra (Q2373652) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- Equivalence and preorder checking for finite-state systems (Q2760243) (← links)
- Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control (Q2925507) (← links)
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045) (← links)
- A Process Algebraic Framework for Modeling Resource Demand and Supply (Q3588093) (← links)
- (Q4417540) (← links)
- (Q4417942) (← links)
- (Q4444409) (← links)
- (Q4472251) (← links)
- (Q4499182) (← links)
- (Q4536612) (← links)
- (Q4552455) (← links)
- Co-Design of Arbitrated Network Control Systems With Overrun Strategies (Q4560093) (← links)
- Parameter Invariant Monitoring for Signal Temporal Logic (Q4561452) (← links)
- A Verifiable Language for Programming Real-Time Communication Schedules (Q4564238) (← links)
- Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators (Q5019359) (← links)
- A Family of Resource-Bound Real-Time Process Algebras (Q5262969) (← links)
- Hybrid Systems: Computation and Control (Q5898992) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899072) (← links)
- Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP (Q5957896) (← links)
