Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Oleg Sokolsky
Co-Design of Arbitrated Network Control Systems With Overrun Strategies
IEEE Transactions on Control of Network Systems
Control
Systems Engineering
Signal Processing
Computer Networks
Communications
Optimization
Security and Interoperable-Medical-Device Systems, Part 1
IEEE Security and Privacy
Computer Networks
Electronic Engineering
Law
Electrical
Communications
A Process Algebraic Framework for Modeling Resource Demand and Supply
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling
Cloud-Based Secure Logger for Medical Devices
Weak Bisimulation for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Traces for Regulatory Conformance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Concurrency Factory Software Development Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Analysis of Power-Aware Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
