Oleg Sokolsky
AuthID: R-006-PT5
1
TITLE: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLISHED: 2013, SOURCE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLISHED: 2013, SOURCE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
2
TITLE: A Compositional Scheduling Framework for Digital Avionics Systems
AUTHORS: Arvind Easwaran; Insup Lee; Oleg Sokolsky; Steve Vestal;
PUBLISHED: 2009, SOURCE: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications in 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS
AUTHORS: Arvind Easwaran; Insup Lee; Oleg Sokolsky; Steve Vestal;
PUBLISHED: 2009, SOURCE: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications in 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS
